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) |