FOSSACS seeks papers which offer progress in foundational research with a clear significance to Software Sciences. Central objects of interest are the algebraic, categorical, logical, and geometric theories, models, and methods which support the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed, and mobile programs and software systems.
Topics covered are semantic and syntactic foundations of Computation and Software Sciences, for instance:
Computation processes over discrete and continuous data, methods and techniques for their manipulation, and analysis of their algorithmic properties.
Type theory, domain theory, category theory.
Models of concurrency, and corresponding calculi, algebras, and logics.
Techniques for proving properties of protocols.
Formal descriptions of general frames for the integration of specification techniques.
Bruno Courcelle, Labri, University of Bordeaux
|Updated: September 5, 2001||
Queries: FOSSACS `02