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
Chair:
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
21:00-23:59 Session 89: VSL Student Reception 1
Location: Transporter
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) |