Foundations of Software Science and Computation Structures

April 8-11, 2019
Prague, Czech Republic

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