Continuous Reachability for Unordered Data Petri Nets is in PTime (FOSSACS 2019) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Utkarsh Gupta, Preey Shah, S. Akshay, Piotr Hofman

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 14:30 - 15:00 at MOON - Automata Chair(s): Thomas Colcombet

Link to Publication

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

Utkarsh Gupta

Preey Shah

S. Akshay

Piotr Hofman

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

	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