ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

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

Invited speaker

Thomas Colcombet (IRIF, France)

Mon 8 Apr

fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Applied Categories at FoSSaCS
fossacs-2019-papers10:30 - 11:00
Talk
fossacs-2019-papers11:00 - 11:30
Talk
Andrea Corradini, Tobias Heindel, Barbara KönigUniversity of Duisburg-Essen, Dennis NolteUniversity of Duisburg-Essen, Arend RensinkUniversity of Twente, The Netherlands
fossacs-2019-papers11:30 - 12:00
Talk
fossacs-2019-papers12:00 - 12:30
Talk
Aleks KissingerRadboud University, Bart JacobsRadboud University Nijmegen, Fabio ZanasiUniversity College London
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Categories and (Co)algebra at FoSSaCS
fossacs-2019-papers14:00 - 14:30
Talk
fossacs-2019-papers14:30 - 15:00
Talk
Maciej PirógUniversity of Wrocław, Piotr PolesiukUniversity of Wrocław, Filip SieczkowskiUniversity of Wrocław
fossacs-2019-papers15:00 - 15:30
Talk
Thorsten Wißmann, Jérémy Dubut, Shin-ya KatsumataNational Institute of Informatics, Ichiro HasuoNational Institute of Informatics
fossacs-2019-papers15:30 - 16:00
Talk
Simone Barlocco, Clemens KupkeUniversity of Strathclyde, Jurriaan RotRadboud University Nijmegen

Tue 9 Apr

fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Semantics at FoSSaCS
fossacs-2019-papers10:30 - 11:00
Talk
fossacs-2019-papers11:00 - 11:30
Talk
Dariusz BiernackiUniversity of Wrocław, Sergueï LengletUniversity of Lorraine, France, Piotr PolesiukUniversity of Wrocław
fossacs-2019-papers11:30 - 12:00
Talk
Cristina Matache, Sam StatonUniversity of Oxford
fossacs-2019-papers12:00 - 12:30
Talk
Thomas Leventis, Michele PaganiUniversity Paris Diderot
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Resource Logics at FoSSaCS
fossacs-2019-papers14:00 - 14:30
Talk
fossacs-2019-papers14:30 - 15:00
Talk
fossacs-2019-papers15:00 - 15:30
Talk
Simon CastellanImperial College London, UK, Nobuko YoshidaImperial College London
fossacs-2019-papers15:30 - 16:00
Talk
Aurore Alcolei, Pierre ClairambaultCNRS & ENS Lyon, Olivier LaurentCNRS & ENS Lyon

Wed 10 Apr

fossacs-2019-papers
10:30 - 12:30: FOSSACS 2019 - Fixed-point Logics at FoSSaCS
fossacs-2019-papers10:30 - 11:00
Talk
Daniel Hausmann, Lutz SchöderFAU Erlangen-Nürnberg, Lehrstuhl 8
fossacs-2019-papers11:00 - 11:30
Talk
Benedikt BolligCNRS, LSV, ENS Paris-Saclay, Patricia BouyerLSV, CNRS & ENS Cachan, University Paris Saclay, Fabian Reiter
fossacs-2019-papers11:30 - 12:00
Talk
fossacs-2019-papers12:00 - 12:30
Talk
fossacs-2019-papers
14:00 - 16:00: FOSSACS 2019 - Automata at FoSSaCS
fossacs-2019-papers14:00 - 14:30
Talk
fossacs-2019-papers14:30 - 15:00
Talk
Helmut SeidlTechnische Universität München, Raphaela Palenta, Sebastian Maneth
fossacs-2019-papers15:00 - 15:30
Talk
fossacs-2019-papers15:30 - 16:00
Talk
Dietrich Kuske, Georg ZetzscheMax Planck Institute for Software Systems (MPI-SWS)

Thu 11 Apr

fossacs-2019-papers
16:30 - 17:00: FOSSACS 2019 - Verification (continued) at FoSSaCS
fossacs-2019-papers16:30 - 17:00
Talk
Mnacho Echenim, Radu IosifVERIMAG, CNRS, Université Grenoble-Alpes, Nicolas Peltier

Submission

See the ETAPS 2019 joint call for papers. Submit your paper via the FoSSaCS 2019 author interface of Easychair.

The review process of FoSSaCS 2019 is single-blind, with a rebuttal phase.

FoSSaCS 2019 has just one paper category: regular research papers of max 15 pages (excluding bibliography).

Accepted Papers

Title