ETAPS 2015: 11-18 April 2015, London, UK
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, trans- formation, 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 2015 joint call for papers. Submit your paper through the FoSSaCS 2015 author interface of Easychair.
FoSSaCS accepts only research papers (max 15 pp). FoSSaCS 2015 will use a rebuttal phase. Dates: 3-5 Dec. 2014.
Frank Pfenning (Carnegie Mellon University, USA)
Andrew Pitts (University of Cambridge, UK)
Andreas Abel (Chalmers University of Technology, Sweden)Andrej Bauer (University of Ljubljana, Slovenia)Udi Boker (Interdisciplinary Center Herzliya, Israel)Luís Caires (Universidade Nova de Lisboa, Portugal) Krishnendu Chatterjee (IST Austria, Austria)
Thomas Colcombet (Université Paris Diderot, France)Andrea Corradini (Università di Pisa, Italy)Ugo Dal Lago (Università di Bologna, Italy)Maribel Fernandez (King's College London, UK)Daniel Hirschkoff (École Normale Supérieure de Lyon, France)
Radha Jagadeesan (DePaul University, USA)Sławomir Lasota (University of Warsaw, Poland)Ranko Lazic (University of Warwick, UK)Paul Levy (University of Birmingham, UK) Daniel Licata (Wesleyan University, USA)
Dirk Pattinson (Australian National University, Australia) Nir Piterman (University of Leicester, UK)Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany)Alexandra Silva (Radboud Universiteit Nijmegen, The Netherlands)Alex Simpson (University of Edinburgh, UK)
Lutz Straßburger (INRIA Saclay-Ile de France, France)Thomas Streicher (Techische Universität Darmstadt, Germany)Ashish Tiwari (SRI, USA)Daniele Varacca (Université Paris 7, France)
We have 22 guests and no members online