posted by user: ndisp || 6713 views || tracked by 31 users: [display]

FoSSaCS 2016 : 19th International Conference on Foundations of Software Science and Computation Structures

FacebookTwitterLinkedInGoogle


Conference Series : Foundations of Software Science and Computation Structure
 
Link: http://www.etaps.org/index.php/2016/fossacs
 
When Feb 4, 2016 - Feb 8, 2016
Where Eindhoven, The Netherlands
Abstract Registration Due Oct 9, 2015
Submission Deadline Oct 16, 2015
Notification Due Dec 18, 2015
Final Version Due Jan 8, 2016
Categories    theoretical computer science   formal methods   verification   automata theory
 

Call For Papers

19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS)

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:

categorical models and logics;
language theory, automata, and games;
modal, spatial, and temporal logics;
type theory and proof theory;
concurrency theory and process calculi;
rewriting theory;
semantics of programming languages;
program analysis, correctness, transformation, and verification;
logics of programming;
software specification and refinement;
models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems;
emerging models of computation;
logical aspects of computational complexity;
models of software security;
logical foundations of data bases

Important dates and submission

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). FoSSaCS 2016 will use a rebuttal phase. Dates: 2-4 December 2015.
Programme chairs

Bart Jacobs (Radboud University Nijmegen, The Netherlands)
Christof Löding (RWTH Aachen, Germany)
Programme committee

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 (Yale 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)

Related Resources

FSCD 2020   Fifth International Conference on Formal Structures for Computation and Deduction
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
ICFEM 2020   The 22nd International Conference on Formal Engineering Methods (2020)
ESEC/FSE 2020   ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
SEFM 2020   Software Engineering and Formal Methods
FCSIT 2020   2020 2nd European Conference on Frontiers of Computer Science and Information Technology (FCSIT 2020)
GandALF 2020   11th International Symposium on Games, Automata, Logics, and Formal Verification
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ACM--ESSE--Ei Compendex, Scopus 2020   ACM--2020 European Symposium on Software Engineerings (ESSE 2020)--Ei Compendex, Scopus