Atlas home || Conferences | Abstracts | about Atlas
Homepage: http://www.disi.unige.it/etaps2001/FoSSaCS/index.html
Organizers: Furio Honsell
Description:
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 in:
Semantic foundations of Computation and Software Sciences: e.g., type theory, domain theory, category theory;
Operational and syntactic foundations of Computation and Software Sciences: e.g., computation processes over discrete and continuous data, techniques for their manipulation, and analysis of their algorithmic properties; formal descriptions of general frames for the integration of specification techniques; automata; techniques for proving properties of protocols; transition systems; models of concurrency interactive and reactive systems, and corresponding calculi, algebras, and logics.
Date received: August 15, 2000
© 2008 Atlas Conferences Inc.