|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 ...