VSL 2014: VIENNA SUMMER OF LOGIC 2014
AISS PROGRAM
Friday, July 18th, 2014

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 87C
Location: FH, Seminarraum 134
09:00
Joel Ouaknine
Decision Problems for Linear Recurrence Sequences (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 90AJ
Location: FH, Seminarraum 134
10:45
Benjamin Aminof, Tomer Kotek, Sasha Rubin, Francesco Spegni and Helmut Veith
Parameterized Model Checking of Rendezvous Systems (abstract)
11:15
Roy Mennicke
Model Checking Communicating Finite-State Machines using Local Temporal Logics (abstract)
11:45
Dmitry Chistikov and Rupak Majumdar
Unary Pushdown Automata and Straight-Line Programs (abstract)
12:15
Georg Zetzsche
Of stacks (of stacks (...) with blind counters) with blind counters (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96AK
Location: FH, Seminarraum 134
14:30
Olivier Serre
Playing with Automata and Trees (abstract)
15:30
Martin Lang
Quantitative Automatic Structures (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AJ
Location: FH, Seminarraum 134
16:30
Piotr Hofman
Simulation for infinite state systems. (abstract)
17:30
Patrick Totzke
Simulation Over One-Counter Nets is PSPACE-Complete (abstract)