MOON - TACAS 2019

VenueOrea Hotel Pyramida

Room nameMOON

Floor0

Room InformationNo extra information available

Program

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

16:30 - 18:00	TinelliETAPS Tutorials at MOON Chair(s): Fabrice Kordon Sorbonne University — LIP6

16:30 90m Talk		An overview of Satisfiability Modulo Theories and its applications ETAPS Tutorials Cesare Tinelli University of Iowa 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

18:00 - 20:00	ETAPS SC MeetingETAPS Social at MOON

18:00 2h Meeting		ETAPS Steering committee meeting ETAPS Social Joost-Pieter Katoen RWTH Aachen University, Holger Hermanns Saarland University, Gilles Barthe IMDEA Software Institute, Gerald Lüttgen University of Bamberg, Tarmo Uustalu Reykjavik University, Vladimiro Sassone University of Southampton, Lenore Zuck University of Illinois at Chicago, Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa, Peter Müller ETH Zurich, Peter Thiemann University of Freiburg, Germany, Reiner Hähnle Technical University of Darmstadt, Wil van der Aalst RWTH Aachen, Heike Wehrheim Paderborn University, Jordi Cabot ICREA - UOC, Gabriele Taentzer Universität Marburg, Mikolaj Bojanczyk University of Warsaw, Alex Simpson University of Ljubljana, Barbara König University of Duisburg-Essen, Andrew M. Pitts University of Cambridge, Flemming Nielson Technical University of Denmark, Dave Sands Chalmers, Matteo Maffei TU Wien, Tomáš Vojnar Brno University of Technology, Lijun Zhang Chinese Academy of Sciences, Armin Biere Johannes Kepler University Linz, David Parker University of Birmingham, Kim Larsen Aalborg University, Panagiotis Katsaros ITI-CERTH, Thessaloniki, Jan Vitek Northeastern University and Czech Technical University, Jan Kofroň Charles University, Tiziana Margaria University of Limerick and Lero - The Irish Software Research Centre , Anton Wijs Eindhoven University of Technology, Jurriaan Hage Utrecht University, Reiko Heckel University of Leicester, Catuscia Palamidessi INRIA and LIX, Don Sannella University of Edinburgh

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

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
MOON							FOSSACS Applied Categories																																										FOSSACS Categories and (Co)algebra																														ETAPS Tutorials Tinelli

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30
MOON							FOSSACS Semantics																																										FOSSACS Resource Logics																																																ETAPS Social ETAPS SC Meeting

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


Room	10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
MOON							FOSSACS Fixed-point Logics																																										FOSSACS Automata

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
MOON							FOSSACSBest paper nomination Trees in Partial Higher Dimensional Automata 10:30 - 11:00						FOSSACSBest paper nomination Rewriting Abstract Structures: Materialization Explained Categorically 11:00 - 11:30						FOSSACS Change Actions: Models of Generalised Differentiation 11:30 - 12:00						FOSSACS Causal Inference by String Diagram Surgery 12:00 - 12:30																								FOSSACS Equational Axiomatization of Algebras wth Structure 14:00 - 14:30						FOSSACS Equational Theories and Monads from Polynomial Cayley Representations 14:30 - 15:00						FOSSACS Path category for free - Open morphisms from coalgebras with non-determ ... 15:00 - 15:30						FOSSACS Coalgebra Learning via Duality 15:30 - 16:00												ETAPS Tutorials An overview of Satisfiability Modulo Theories and its applications 16:30 - 18:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
MOON							FOSSACS Justness: A Completeness Criterion for Capturing Liveness Properties 10:30 - 11:00						FOSSACS A Complete Normal-Form Bisimilarity for State 11:00 - 11:30						FOSSACS A Sound and Complete Logic for Algebraic Effects 11:30 - 12:00						FOSSACS Strong Adequacy and Untyped Full-Abstraction for Probabilistic Coherenc ... 12:00 - 12:30																								FOSSACS A Dialectica-Like Interpretation of a Linear MSO on Infinite Words 14:00 - 14:30						FOSSACS Higher-order distributions for differential linear logic 14:30 - 15:00						FOSSACS Causality in Linear Logic: Full Completeness and Injectivity (unit-free ... 15:00 - 15:30						FOSSACS Resource-Tracking Concurrent Games 15:30 - 16:00																														ETAPS Social ETAPS Steering committee meeting 18:00 - 20:00

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


Room	10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
MOON							FOSSACS Optimal Satisfiability Checking for Arithmetic mu-Calculi 10:30 - 11:00						FOSSACS Two-Way Parikh Automata with a Visibly Pushdown Stack 11:00 - 11:30						FOSSACS Constructing Inductive-Inductive Types in Cubical Type Theory 11:30 - 12:00						FOSSACS Towards a Structural Proof Theory of Probabilistic mu–calculi 12:00 - 12:30																								FOSSACS Identifiers in Registers – Describing Network Algorithms with Logic 14:00 - 14:30						FOSSACS Continuous Reachability for Unordered Data Petri Nets is in PTime 14:30 - 15:00						FOSSACS Languages ordered by the subword order 15:00 - 15:30						FOSSACS Deciding Equivalence of Separated Non-Nested Attribute Systems in Polyn ... 15:30 - 16:00

Room information: MOON

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

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

FOSSACS

FOSSACS

ETAPS Tutorials

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

FOSSACS

FOSSACS

ETAPS Social

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

FOSSACS

FOSSACS

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

Tracks

Room information: MOON

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

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

FOSSACS

FOSSACS

ETAPS Tutorials

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

FOSSACS

FOSSACS

ETAPS Social

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

FOSSACS

FOSSACS

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

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

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

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