ETAPS 2017: 22-29 April 2017, Uppsala, Sweden
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:
See the ETAPS 2017 joint call for papers. Submit your paper via the FoSSaCS 2017 author interface of Easychair.
FoSSaCS accepts only research papers (max 15 pp, excluding bibliography of max 2 pp).
FoSSaCS 2017 will use a rebuttal phase. The dates of the rebuttal are 7-9 December 2016.
Joel Ouaknine (University of Oxford, UK)
Javier Esparza (Technische Universität München, Germany)Andrzej Murawski (University of Warwick, UK)
Mohamed Faouzi Atig (Uppsala University, Sweden)Jos Baeten (CWI, The Netherlands)Christel Baier (Technische Universität Dresden, Germany)Filippo Bonchi (LIP, CNRS & ENS Lyon, France)Tomáš Brázdil (Masaryk University, Czech Republic)
James Brotherston (University College London, UK)Anuj Dawar (University of Cambridge, UK)Michael Emmi (Bell Labs, Nokia, USA)Stefan Göller (LSV, CNRS & ENS Cachan, France)Rajeev Goré (Australian National University, Australia)
Thomas Hildebrandt (IT University of Copenhagen, Denmark)Delia Kesner (IRIF, CNRS & Université Paris 7 Diderot, France)Sławomir Lasota (Warsaw University, Poland)Anthony Widjaja Lin (Yale-NUS College, Singapore)Roland Meyer (Universität Kaiserslautern, Germany)Aniello Murano (Università di Napoli Federico II, Italy)Simona Ronchi Della Rocca (Università di Torino, Italy)Jan Rutten (CWI, The Netherlands)Margus Veanes (Microsoft Research Redmond, USA)Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China)
We have 2442 guests and no members online