FOSSACS 2019

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)

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Applied CategoriesFOSSACS at MOON Chair(s): Alex Simpson University of Ljubljana

10:30 30m Talk		Trees in Partial Higher Dimensional AutomataBest paper nomination FOSSACS Jérémy Dubut Link to publication
11:00 30m Talk		Rewriting Abstract Structures: Materialization Explained CategoricallyBest paper nomination FOSSACS Andrea Corradini , Tobias Heindel , Barbara König University of Duisburg-Essen, Dennis Nolte University of Duisburg-Essen, Arend Rensink University of Twente, The Netherlands Link to publication
11:30 30m Talk		Change Actions: Models of Generalised Differentiation FOSSACS Mario Alvarez-Picallo University of Oxford, C.-H. Luke Ong University of Oxford Link to publication
12:00 30m Talk		Causal Inference by String Diagram Surgery FOSSACS Aleks Kissinger Radboud University, Bart Jacobs Radboud University Nijmegen, Fabio Zanasi University College London Link to publication

14:00 - 16:00	Categories and (Co)algebraFOSSACS at MOON Chair(s): Sergey Goncharov FAU Erlangen-Nürnberg, Lehrstuhl 8

14:00 30m Talk		Equational Axiomatization of Algebras wth Structure FOSSACS Stefan Milius , Henning Urbat Link to publication
14:30 30m Talk		Equational Theories and Monads from Polynomial Cayley Representations FOSSACS Maciej Piróg University of Wrocław, Piotr Polesiuk University of Wrocław, Filip Sieczkowski University of Wrocław Link to publication
15:00 30m Talk		Path category for free - Open morphisms from coalgebras with non-deterministic branching FOSSACS Thorsten Wißmann Friedrich-Alexander-Universität Erlangen, Jérémy Dubut , Shin-ya Katsumata National Institute of Informatics, Ichiro Hasuo National Institute of Informatics Link to publication
15:30 30m Talk		Coalgebra Learning via Duality FOSSACS Simone Barlocco , Clemens Kupke University of Strathclyde, Jurriaan Rot Radboud University Nijmegen Link to publication

Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	SemanticsFOSSACS at MOON Chair(s): C.-H. Luke Ong University of Oxford

10:30 30m Talk		Justness: A Completeness Criterion for Capturing Liveness Properties FOSSACS Rob van Glabbeek Link to publication
11:00 30m Talk		A Complete Normal-Form Bisimilarity for State FOSSACS Dariusz Biernacki University of Wrocław, Sergueï Lenglet University of Lorraine, France, Piotr Polesiuk University of Wrocław Link to publication
11:30 30m Talk		A Sound and Complete Logic for Algebraic Effects FOSSACS Cristina Matache , Sam Staton University of Oxford Link to publication
12:00 30m Talk		Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces FOSSACS Thomas Leventis Università di Bologna, Michele Pagani University Paris Diderot Link to publication

14:00 - 16:00	Resource LogicsFOSSACS at MOON Chair(s): Andrew M. Pitts University of Cambridge

14:00 30m Talk		A Dialectica-Like Interpretation of a Linear MSO on Infinite Words FOSSACS Colin Riba , Pierre Pradic Link to publication
14:30 30m Talk		Higher-order distributions for differential linear logic FOSSACS Marie Kerjean , Jean-Simon Lemay Link to publication
15:00 30m Talk		Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) FOSSACS Simon Castellan Imperial College London, UK, Nobuko Yoshida Imperial College London Link to publication
15:30 30m Talk		Resource-Tracking Concurrent Games FOSSACS Aurore Alcolei , Pierre Clairambault CNRS & ENS Lyon, Olivier Laurent CNRS & ENS Lyon Link to publication

Wed 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 12:30	Fixed-point LogicsFOSSACS at MOON Chair(s): Helmut Seidl Technische Universität München

10:30 30m Talk		Optimal Satisfiability Checking for Arithmetic mu-Calculi FOSSACS Daniel Hausmann , Lutz Schröder FAU Erlangen-Nürnberg, Lehrstuhl 8 Link to publication
11:00 30m Talk		Two-Way Parikh Automata with a Visibly Pushdown Stack FOSSACS Luc Dartois , Emmanuel Filiot , Jean-Marc Talbot Link to publication
11:30 30m Talk		Constructing Inductive-Inductive Types in Cubical Type Theory FOSSACS Jasper Hugunin Link to publication
12:00 30m Talk		Towards a Structural Proof Theory of Probabilistic mu–calculi FOSSACS Matteo Mio , Christophe Lucas Link to publication

14:00 - 16:00	AutomataFOSSACS at MOON Chair(s): Thomas Colcombet IRIF, University Paris Diderot and CNRS, France

14:00 30m Talk		Identifiers in Registers – Describing Network Algorithms with Logic FOSSACS Benedikt Bollig CNRS, LSV, ENS Paris-Saclay, Patricia Bouyer LSV, CNRS & ENS Cachan, University Paris Saclay, Fabian Reiter Link to publication
14:30 30m Talk		Continuous Reachability for Unordered Data Petri Nets is in PTime FOSSACS Utkarsh Gupta , Preey Shah , S. Akshay , Piotr Hofman Link to publication
15:00 30m Talk		Languages ordered by the subword order FOSSACS Dietrich Kuske , Georg Zetzsche Max Planck Institute for Software Systems (MPI-SWS) Link to publication
15:30 30m Talk		Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time FOSSACS Helmut Seidl Technische Universität München, Raphaela Palenta , Sebastian Maneth Link to publication

Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00	VerificationFOSSACS at SUN II Chair(s): Mikolaj Bojanczyk University of Warsaw

14:00 30m Talk		Tight Worst-Case Bounds for Polynomial Loop Programs FOSSACS Amir Ben-Amram , Geoff Hamilton Link to publication
14:30 30m Talk		Kleene algebra with hypotheses FOSSACS Amina Doumane , Denis Kuperberg , Damien Pous CNRS, Pierre Pradic Link to publication
15:00 30m Talk		The Impatient May Use Limited Optimism to Minimize Regret FOSSACS Michaël Cadilhac , Guillermo A. Perez University of Antwerp, Marie van den Bogaard Link to publication
15:30 30m Talk		Partial and Conditional Expectations in Markov Decision Processes with Integer Weights FOSSACS Jakob Piribauer , Christel Baier TU Dresden, Germany Link to publication

16:30 - 17:00	Verification (continued)FOSSACS at SUN II Chair(s): Mikolaj Bojanczyk University of Warsaw

16:30 30m Talk		The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary DomainsBest paper nomination FOSSACS Mnacho Echenim , Radu Iosif VERIMAG, CNRS, Université Grenoble-Alpes, Nicolas Peltier Link to publication

Accepted Papers

	Title
	A Complete Normal-Form Bisimilarity for State FOSSACS Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk Link to publication
	A Dialectica-Like Interpretation of a Linear MSO on Infinite Words FOSSACS Colin Riba, Pierre Pradic Link to publication
	A Sound and Complete Logic for Algebraic Effects FOSSACS Cristina Matache, Sam Staton Link to publication
	Causal Inference by String Diagram Surgery FOSSACS Aleks Kissinger, Bart Jacobs, Fabio Zanasi Link to publication
	Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) FOSSACS Simon Castellan, Nobuko Yoshida Link to publication
	Change Actions: Models of Generalised Differentiation FOSSACS Mario Alvarez-Picallo, C.-H. Luke Ong Link to publication
	Coalgebra Learning via Duality FOSSACS Simone Barlocco, Clemens Kupke, Jurriaan Rot Link to publication
	Constructing Inductive-Inductive Types in Cubical Type Theory FOSSACS Jasper Hugunin Link to publication
	Continuous Reachability for Unordered Data Petri Nets is in PTime FOSSACS Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman Link to publication
	Deciding Equivalence of Separated Non-Nested Attribute Systems in Polynomial Time FOSSACS Helmut Seidl, Raphaela Palenta, Sebastian Maneth Link to publication
	Equational Axiomatization of Algebras wth Structure FOSSACS Stefan Milius, Henning Urbat Link to publication
	Equational Theories and Monads from Polynomial Cayley Representations FOSSACS Maciej Piróg, Piotr Polesiuk, Filip Sieczkowski Link to publication
	Higher-order distributions for differential linear logic FOSSACS Marie Kerjean, Jean-Simon Lemay Link to publication
	Identifiers in Registers – Describing Network Algorithms with Logic FOSSACS Benedikt Bollig, Patricia Bouyer, Fabian Reiter Link to publication
	Justness: A Completeness Criterion for Capturing Liveness Properties FOSSACS Rob van Glabbeek Link to publication
	Kleene algebra with hypotheses FOSSACS Amina Doumane, Denis Kuperberg, Damien Pous, Pierre Pradic Link to publication
	Languages ordered by the subword order FOSSACS Dietrich Kuske, Georg Zetzsche Link to publication
	Optimal Satisfiability Checking for Arithmetic mu-Calculi FOSSACS Daniel Hausmann, Lutz Schröder Link to publication
	Partial and Conditional Expectations in Markov Decision Processes with Integer Weights FOSSACS Jakob Piribauer, Christel Baier Link to publication
	Path category for free - Open morphisms from coalgebras with non-deterministic branching FOSSACS Thorsten Wißmann, Jérémy Dubut, Shin-ya Katsumata, Ichiro Hasuo Link to publication
	Resource-Tracking Concurrent Games FOSSACS Aurore Alcolei, Pierre Clairambault, Olivier Laurent Link to publication
	Rewriting Abstract Structures: Materialization Explained CategoricallyBest paper nomination FOSSACS Andrea Corradini, Tobias Heindel, Barbara König, Dennis Nolte, Arend Rensink Link to publication
	Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherence Spaces FOSSACS Thomas Leventis, Michele Pagani Link to publication
	The Bernays-Schoenfinkel-Ramsey Class of Separation Logic on Arbitrary DomainsBest paper nomination FOSSACS Mnacho Echenim, Radu Iosif, Nicolas Peltier Link to publication
	The Impatient May Use Limited Optimism to Minimize Regret FOSSACS Michaël Cadilhac, Guillermo A. Perez, Marie van den Bogaard Link to publication
	Tight Worst-Case Bounds for Polynomial Loop Programs FOSSACS Amir Ben-Amram, Geoff Hamilton Link to publication
	Towards a Structural Proof Theory of Probabilistic mu–calculi FOSSACS Matteo Mio, Christophe Lucas Link to publication
	Trees in Partial Higher Dimensional AutomataBest paper nomination FOSSACS Jérémy Dubut Link to publication
	Two-Way Parikh Automata with a Visibly Pushdown Stack FOSSACS Luc Dartois, Emmanuel Filiot, Jean-Marc Talbot Link to publication

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).

>>> Link to the full proceedings of FoSSaCS 2019

Invited speaker

Program Display Configuration

Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Accepted Papers

Submission

Proceedings

Thomas Colcombet

IRIF, University Paris Diderot and CNRS, France

France

Mikolaj BojanczykCo-chair

University of Warsaw

Poland

Alex SimpsonCo-chair

University of Ljubljana

Slovenia

Luca Aceto

Gran Sasso Science Institute

Italy

Achim Blumensath

Masaryk University

Czechia

Agata Ciabattoni

TU Wien

Austria

Flavio Corradini

University of Camerino

Italy

Nathanaël Fijalkow

CNRS, LaBRI, and Alan Turing Institute

France

Sergey Goncharov

FAU Erlangen-Nürnberg, Lehrstuhl 8

Germany

Matthew Hague

Royal Holloway, University of London

United Kingdom

Chris Heunen

University of Edinburgh

United Kingdom

Patricia Johann

Appalachian State University

United States

Bartek Klin

University of Warsaw

Poland

Naoki Kobayashi

University of Tokyo, Japan

Japan

Dexter Kozen

Cornell

United States

K Narayan Kumar

Chennai Mathematical Institute

India

Orna Kupferman

Hebrew University

Israel

Peter Lefanu Lumsdaine

Stockholm University

Sweden

Paul Blain Levy

University of Birmingham

United Kingdom

Radu Mardare

Aalborg University

Denmark

Angelo Montanari

University of Udine

Italy

Anca Muscholl

Université de Bordeaux / LaBRI

France

Rasmus Ejlers Møgelberg

IT University of Copenhagen

Denmark

Dirk Pattinson

Mon 8 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 Apr
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change