April 8-11, 2019
Prague, Czech Republic
https://conf.researchr.org/track/etaps-2019/fossacs-2019-papers
Submission deadline: November 15, 2018
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
CS Theory Events 