VSL 2014: VIENNA SUMMER OF LOGIC 2014
RS PROGRAM
Wednesday, July 23rd, 2014

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

08:45-10:15 Session 159A: Invited talks: Scott; Benveniste
Location: FH, Zeichensaal 3
08:45
Dana Scott
Stochastic Lambda Calculus - An Appeal (abstract)
09:30
Albert Benveniste
Contracts for System Design (abstract)
10:15-10:45Coffee Break
10:45-13:00 Session 166D: Invited talks: Hoare; Grumberg; Kwiatkowska; Maoz
Location: FH, Zeichensaal 3
10:45
Tony Hoare
A Geometric Model for Concurrent Programming (abstract)
11:30
Orna Grumberg
Automated Abstraction-Refinement for the Verification of Behavioral UML Models (abstract)
12:00
Marta Kwiatkowska
Probabilistic model checking at the nanoscale: from molecular signalling to molecular walkers (abstract)
12:30
Shahar Maoz
A Short Story on Scenarios (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 172C: Invited talks: Henzinger; Kugler; Fisher
Location: FH, Zeichensaal 3
14:30
Thomas A. Henzinger
Quantitative Reactive Modeling (abstract)
15:00
Hillel Kugler
On Statecharts, Scenarios and Biological Modeling (abstract)
15:30
Jasmin Fisher
Cancer as Reactivity (abstract)
16:00-16:30Coffee Break
16:30-18:15 Session 175D: Invited talks: Clarke; Dershowitz; Vardi
Location: FH, Zeichensaal 3
16:30
Edmund M. Clarke
Model Checking Hybrid Systems (abstract)
17:15
Nachum Dershowitz
Towards a General Model of Evolving Interaction (abstract)
17:45
Moshe Vardi
Compositional Temporal Synthesis (abstract)