| Monday, April 4th |
| 10h30 - 12h30 |
FoSSaCS / Room: CZ 7
Types (Chair: Marco Gaboardi)
- Neil Ghani, Fredrik Nordvall Forsberg and Alex Simpson. Comprehensive parametric polymorphism: categorical models and type theory (EATCS award nominee)
- Aleš Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Lars Birkedal and Rasmus Ejlers Møgelberg. Guarded Dependent Type Theory with Coinductive Types
- Danel Ahman, Neil Ghani and Gordon Plotkin. Dependent Types and Fibred Computational Effects
- James Laird. Game Semantics for Bounded Polymorphism
|
| 14h00 - 16h00 |
FoSSaCS / Room: CZ 7
Recursion and Fixed Points (Chair: Daniele Varacca)
- Holger Bock Axelsen and Robin Kaarsgaard. Join Inverse Categories as Models of Reversible Recursion
- Venanzio Capretta and Tarmo Uustalu. A Coalgebraic View of Bar Recursion and Bar Induction
- Stefan Milius, Dirk Pattinson and Thorsten Wißmann. A New Foundation for Finitary Corecursion
- Silvio Ghilardi, Maria João Gouveia and Luigi Santocanale. Fixed-point elimination in the Intuitionistic Propositional Calculus
|
| Tuesday, April 5th |
| 10h30 - 12h30 |
FoSSaCS / Room: CZ 7
Verification and Program Analysis (Chair: Javier Esparza)
- Adrian Francalanza. A Theory of Monitors (Extended Abstract)
- Ranko Lazic and Andrzej Murawski. Contextual approximation and higher-order procedures
- Torben Amtoft and Anindya Banerjee. A Theory of Slicing for Probabilistic Control Flow Graphs
- Paul Gastin and Marie Fortin. Verification of parameterized communicating automata via split-width
|
| 15h30 - 18h00 |
FoSSaCS / Room: CZ 7
Automata, Logics, Games (Chair: Paul Gastin)
- Romain Brenguier. Robust Equilibria in Mean-Payoff Games
- Theo Pierron, Thomas Place and Marc Zeitoun. Quantifier Alternation for Infinite Words
- Dmitry Chistikov, Pavel Martyugin and Mahsa Shirmohammadi. Synchronizing automata over nested words
- Normann Decker and Daniel Thoma. On Freeze LTL with Ordered Attributes
- Peter Habermehl and Antoine Durand-Gasselin. Regular transformations of data words through origin information
|
| Wednesday, April 6th |
| 10h30 - 12h30 |
FoSSaCS / Room: CZ 7
Probabilistic and Timed Systems (Chair: Kim G. Larsen)
- Nathanael Fijalkow, Stefan Kiefer and Mahsa Shirmohammadi. Trace Refinement in Labelled Markov Decision Processes
- Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier and Jeremy Sproston. Qualitative Analysis of VASS-Induced MDPs
- Madnani Khushraj, Krishna S. and Paritosh Pandya. Metric Temporal Logic with Counting
- Holger Hermanns, Jan Krcal and Steen Vester. Distributed Synthesis in Continuous Time
|
| 14h00 - 16h00 |
FoSSaCS / Room: CZ 7
Proof Theory and Lambda Calculus (Chair: Bart Jacobs)
- Clément Aubert, Marc Bagnol and Thomas Seiller. Unary Resolution: Characterizing Ptime
- Kaustuv Chaudhuri, Sonia Marin and Lutz Straßburger. Focused and Synthetic Nested Sequents
- Michele Pagani, Christine Tasson and Lionel Vaux. Strong Normalizability as a Finiteness Structure via the Taylor Expansion of lambda-terms
- Delia Kesner. Reasoning about call-by-need by means of types
|
| Thursday, April 7th |
| 10h30 - 12h30 |
FoSSaCS / Room: CZ 7
Algorithms for Infinite Systems (Chair: Igor Walukiewicz)
- Piotr Hofman, Sławomir Lasota, Ranko Lazic, Jerõme Leroux, Sylvain Schmitz and Patrick Totzke. Coverability Trees for Petri Nets with Unordered Data
- Dmitry Chistikov, Wojciech Czerwiński, Piotr Hofman, Michał Pilipczuk and Michael Wehar. Shortest paths in one-counter systems
- Klaus Dräger. The Invariance Problem for Matrix Semigroups
- Jose Meseguer. Order-Sorted Rewriting and Congruence Closure
|
| 14h00 - 16h00 |
FoSSaCS / Room: CZ 7
Monads (Chair: Tarmo Uustalu)
- Soichiro Fujii, Shin-ya Katsumata and Paul-André Melliès. Towards a formal theory of graded monads
- Liang-Ting Chen, Jiri Adámek, Stefan Milius and Henning Urbat. Profinite Monads, Profinite Equations and Reiterman's Theorem
|