Optimal Satisfiability Checking for Arithmetic mu-Calculi (FOSSACS 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Daniel Hausmann, Lutz Schröder

Track

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

When

Wed 10 Apr 2019 10:30 - 11:00 at MOON - Fixed-point Logics Chair(s): Helmut Seidl

Link to Publication

https://link.springer.com/chapter/10.1007/978-3-030-17127-8_16

Daniel Hausmann

Lutz Schröder

FAU Erlangen-Nürnberg, Lehrstuhl 8

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

Session Program

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