FOSSACS
All Editions
Mon 8 - Thu 11 April 2019 Prague, Czech RepublicFOSSACS 2019 with ETAPS 2019FoSSaCS 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 ... |