FOSSACS 2019
Mon 8 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
Conference Editions
Mon 8 - Thu 11 April 2019, Prague, Czech Republic

FOSSACS 2019 with ETAPS 2019

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. The specific topics covered by the conference include, but are not limited to, the following: categorical models and logics; languag ...