Compiled from the proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, this volume presents 21 papers and a panel discussion on GRID computing. Among the topics covered are system design and testing related theory, distributed and parallel systems.

INVITED TALKS.- Conformance Testing Techniques for Timed Systems.- Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.- Equivalence-Checking with Infinite-State Systems: Techniques and Results.- On Functions and Types: A Tutorial.- Database Support for Multisource Multiresolution Scientific Data.- Semantic Annotation and Indexing of News and Sports Videos.- Multimedia Presentations Databases (Extended Abstract).- Interactive Indexing and Retrieval of Multimedia Content.- A Model-Based Approach to Semantic-Based Retrieval of Visual Information.- Bipolarity in Possibilistic Logic and Fuzzy Rules (Extended Abstract).- PANEL SESSION.- Data Management Challenges for GRID Computing.- CONTRIBUTED PAPERS.- Hungarian Speech Synthesis Using a Phase Exact HNM Approach.- Modelling Resource Transitions in Constraint-Based Scheduling.- A Specification Framework for Real-Time Scheduling.- String Transformation for n-Dimensional Image Compression.- Validation and Decomposition of Partially Occluded Images.- Solving Conflicts of Agent Knowledge States in Multiagent Systems.- Specification and Verification of Secure Business Transaction Systems.- Agent-Oriented Model of Simulated Evolution.- The Reconstruction of Some 3D Convex Polyominoes from Orthogonal Projections.- The Complexity of Probabilistic versus Quantum Finite Automata.- Do We Need Liveness? – Approximation of Liveness Properties by Safety Properties.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com