Search a Conference through our dedicated search page

ETAPS 2019/FOSSACS 2019

8th April 2019 - 11th April 2019
Prague, Czech Republic
https://conf.researchr.org/home/etaps-2019
Save

Abstract

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.

Related Fields