VSL 2014: VIENNA SUMMER OF LOGIC 2014
VPT PROGRAM

Days: Thursday, July 17th Friday, July 18th

Thursday, July 17th, 2014

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

10:15-10:45Coffee Break
10:45-13:00 Session 66AZ: Opening and Contributed talks
Location: FH, Dissertantenraum E104
10:45
Verification of Multi-Party Ping-Pong Protocols via Program Transformation (abstract)
11:30
Program Verification using Constraint Handling Rules and Array Constraint Generalizations (abstract)
12:15
A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal? (abstract)
13:00-14:30Lunch Break
14:30-15:30 Session 75AL: Invited Talk (joint with HCVS)
Location: FH, Seminarraum 134A
14:30
Invited talk: Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools (abstract)
16:00-16:30Coffee Break
16:30-19:00 Session 79A: VSL Joint Award Ceremony 1
Location: MB, Kuppelsaal
16:30
Foundations and Technology Competitions Award Ceremony (abstract)
17:30
FLoC Olympic Games Award Ceremony 1 (abstract)
18:15
FLoC Closing Week 1 (abstract)
Friday, July 18th, 2014

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

08:45-10:15 Session 86P: Invited speaker (A. Rybalchenko)
Location: FH, Dissertantenraum E104
08:45
Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk) (abstract)
Thursday, July 17th, 2014

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

Friday, July 18th, 2014

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

10:15-10:45Coffee Break
10:45-13:00 Session 90BF: Contributed Talks
Location: FH, Dissertantenraum E104
10:45
On Unfolding for Programs Using Strings as a Data Type (abstract)
11:30
Branching Processes of Conservative Nested Petri Nets (abstract)
12:15
Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem (abstract)
13:00-14:30Lunch Break
14:30-16:00 Session 96BG: Invited talk by Josep Silva (joint with WWV)
Location: FH, Seminarraum 107
14:30
Automatic Detection of Webpage Candidates for Site-Level Web Template Extraction (abstract)
16:00-16:30Coffee Break
17:30-18:00 Session 102C: Joint session with WWV
Location: FH, Seminarraum 107
17:30
Formal Replay of Translation Validation for Highly Optimised C (abstract)