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 CAAP Conference. CAAP stood for Colloque sur les Arbres en Algèbre et Programmation and the conference had been running under this name between 1976 and 1980, before it was renamed as Colloquium on Trees in Algebra and Programming starting form 1981. The 22nd and last edition of CAAP was held in 1997 in Lille.
In 2022, FoSSaCS celebrated its 25 anniversary. Watch the talk of Barbara König and Ugo dal Lago about the conference history!
The scope of FoSSaCS is broad. The specific topics covered by the conference include, but are not limited to, the following list.