ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands
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 2016 joint call for papers. Submit your paper via the FoSSaCS 2016 author interface of Easychair.
FoSSaCS accepts only research papers (max 15 pp, excluding bibliography of max 2 pp).
FoSSaCS 2016 will use a rebuttal phase. The dates of the rebuttal are: 2-4 December 2015.
Bart Jacobs (Radboud University Nijmegen, The Netherlands)Christof Löding (RWTH Aachen, Germany)
Achim Blumensath (Technische Universität Darmstadt, Germany)Thomas Brihaye (Université de Mons, Belgium)Arnaud Carayol (IGM, CNRS & Université Paris-Est, France)Stéphane Demri (LSV, CNRS & ENS Cachan, France)Maribel Fernández (King's College London, UK)
Nate Foster (Cornell University, USA)Marco Gaboardi (University of Dundee, UK)Masahito Hasegawa (Kyoto University, Japan)Chris Heunen (University of Oxford, UK)Jan Hoffmann (Carnegie Mellon University, USA)
Radha Jagadeesan (DePaul University, USA)Bartek Klin (University of Warsaw, Poland)Naoki Kobayashi (University of Tokyo, Japan)Manfred Kufleitner (Universität Stuttgart, Germany)Orna Kupferman (Hebrew University of Jerusalem, Israel)
Paul Levy (University of Birmingham, UK)Matteo Mio (LIP, CNRS & ENS Lyon, France)Sylvain Salvati (LaBRI, INRIA Bordeaux - Sud-Ouest & Université de Bordeaux, France)Olivier Serre (LIAFA, CNRS & Université Paris Diderot, France)Colin Stirling (University of Edinburgh, UK)
Nikos Tzevelekos (Queen Mary University of London, UK)Daniele Varacca (LACL, Université Paris-Est, France)
We have 10 guests and no members online