The INFINITY 2018 Programme

July 9, 2018 8:55 Opening Invited talk I. 9:00 - 10:00 Jérôme Leroux. Ideal Decompositions: Applications to Petri Net Extensions. Slides. Regular papers I. 10:00 - 10:30 Dominik Velan. Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Slides. 10:30 - 11:00 Coffee Break. Regular papers II. 11:00 - 11:30 Ranko Lazić. The Reachability Problem for Unary Linear Path Schemes. 11:30 - 12:00 Filip Mazowiecki. Affine Extensions of Integer Vector Addition Systems with States. Slides. 12:00 - 12:30 Sławomir Lasota. Regular Separability of Well-Structured Transition Systems. Slides. 12:30 - 14:00 Lunch. Invited talk II. 14:00 - 15:00 Sylvain Schmitz. On the Complexity of VAS Reachability. Slides. Regular papers III. 15:00 - 15:30 Wojciech Czerwiński. Example of a VASS with doubly exponential shortest run in a fixed dimension. Slides. 15:30 - 16:00 Coffee Break. Regular papers IV. 16:00 - 16:30 Alexander Rabinovich.Reachability Problem for Nets over Register Automata. Slides. 16:30 - 17:00 Lorenzo Clemente. Decidability of Timed Communicating Automata. Slides. 17:00 - 17:30 Piotr Hofman. Around State Equation. Slides.

You may also download the abstracts of all talks.