This book constitutes the refereed proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2002, held in Grenoble, France, in April 2002. The 28 revised full papers presented together with an extended abstract of an invited paper were carefully reviewed and selected from a total of 67 submissions. Among the topics addressed are algebraic, categorical, logical and geometric theories, models and methods which support the specification, synthesis, verification, analysis and transformation of sequential, concurrent, distributed and...

This volume constitutes the refereed proceedings of the Second International Conference on Scale-Space Theories in Computer Vision, Scale-Space'99, held in Corfu, Greece, in September 1999.
The 36 revised full papers and the 18 revised posters presented in the book were carefully reviewed and selected from 66 high-quality submissions. The book addresses all current aspects of this young and active field, in particular geometric Image flows, nonlinear diffusion, functional minimization, linear scale-space, etc.

This text constitutes the refereed proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science, MFCS 2000, held in Bratislava, Slovakia in August - September 2000. The 57 revised full papers presented together with eight invited papers were carefully reviewed and selected from a total of 147 submissions. The book gives an overview on research in theoretical informatics. All relevant foundational issues, from mathematical logics as well as from discrete mathematics are covered. Anybody interested in theoretical computer science or the theory of computing...