FoSSaCS

International Conference on Foundations of Software Science and Computation Structures

FoSSaCS seeks original papers on foundational research with a clear significance for software science. The conference invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

FoSSaCS was created in 1998 as a continuation, with an enlarged scope, of the Colloque sur les Arbres en Algèbre et Programmation (CAAP). Since its inception, FoSSaCS has been one of the main conferences composing the ETAPS confederation.

FoSSaCS Steering Committee

Andrew Pitts (University of Cambridge) - chair

Barbara König (University of Duisburg-Essen)
Ugo Dal Lago (Università di Bologna and INRIA Sophia Antipolis)
Javier Esparza (Technische Universität München)
Andrzej Murawski (University of Oxford)
Anca Muscholl (Université de Bordeaux)
Frank Pfenning (Carnegie Mellon University)
Alex Simpson (The University of Edinburgh)

 

 

Conferences

Who's online

We have 178 guests and no members online

Site Hosted by