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
Decision Problems for Linear Recurrence Sequences (abstract)
10:15-10:45Coffee Break
10:45-12:45 Session 90AJ
Location: FH, Seminarraum 134
10:45
Parameterized Model Checking of Rendezvous Systems (abstract)
11:15
Model Checking Communicating Finite-State Machines using Local Temporal Logics (abstract)
11:45
Unary Pushdown Automata and Straight-Line Programs (abstract)
12:15
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
Playing with Automata and Trees (abstract)
15:30
Quantitative Automatic Structures (abstract)
16:00-16:30Coffee Break
16:30-18:00 Session 99AJ
Location: FH, Seminarraum 134
16:30
Simulation for infinite state systems. (abstract)
17:30
Simulation Over One-Counter Nets is PSPACE-Complete (abstract)