ETAPS 2016: 2-8 April 2016, Eindhoven, The Netherlands

FOSSACS 2016 programme

All rooms are located in the Auditorium (building n.1). CZ 7 ("Collegezaal 7") is on the ground floor.

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