AISS ON FRIDAY, JULY 18TH: TALK VIEW

View: with abstracts session overview side by side with other conferences

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

09:00-10:00

Decision Problems for Linear Recurrence Sequences

Joel Ouaknine

10:45-11:15

Parameterized Model Checking of Rendezvous Systems

Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni, Helmut Veith

11:15-11:45

Model Checking Communicating Finite-State Machines using Local Temporal Logics

Roy Mennicke

11:45-12:15

Unary Pushdown Automata and Straight-Line Programs

Dmitry Chistikov, Rupak Majumdar

12:15-12:45

Of stacks (of stacks (...) with blind counters) with blind counters

Georg Zetzsche

14:30-15:30

Playing with Automata and Trees

Olivier Serre

15:30-16:00

Quantitative Automatic Structures

Martin Lang

16:30-17:30

Simulation for infinite state systems.

Piotr Hofman

17:30-18:00

Simulation Over One-Counter Nets is PSPACE-Complete

Patrick Totzke

10:15-10:45 Coffee Break

13:00-14:30 Lunch Break

16:00-16:30 Coffee Break