Jump to: Monday, Tuesday, Wednesday
Time |
Topic |
| 10:30 -- 10:50 | Welcome coffee |
| 10:50 -- 11:00 | Opening of the 13th Annual KeY Symposium |
| 11:00 -- 11:30 | Vladimir klebanov Automating Regression Verification |
| 11:30 -- 12:00 |
Alexander Weigl Regression Verification of Pogrammable Logic Controller Software |
| 12:00 -- 12:30 | Huy Quoc Do KEG - KeY Exploit Generation tool for noninterference (working title) |
| 12:30 -- 13:00 | Christoph Scheben Yet Another Information Flow Calculus -- New Insights |
| 13:00 -- 14:00 | Lunch break |
| 14:00 -- 14:30 | Sarah Grebing Evaluating the Usability of Interactive Verification Systems |
| 14:30 -- 15:00 | Michael Kirsten Verification of Formal Properties for Voting Schemes (working title) |
| 15:00 -- 16:00 | Discussion: FOL Calculus modular w.r.t. addition of types (P.H. Schmitt) |
| 16:00 -- 16:30 | Coffee break |
| 16:30 -- 17:00 | Mauricio Chimento StaRVOOrS A New hope (for Verification) |
| 17:00 -- 17:30 | Discussion: Industry |
| 19:00 | Dinner at Speiselokal Engel Kohlers Hotel und Speiselokal Engel Vimbucher Str. 25 77815 Bühl Map |
Time |
Topic |
| 09:00 -- 09:30 | Daniel Bruns Verification of Concurrent Java Using Rely/Guarantee |
| 09:30 -- 10:00 | Wojciech Mostowski Verification of Concurrent Java Using Permissions |
| 10:00 -- 10:30 | Eduard Kamburjan Abstract Object Creation for explicit heaps |
| 10:30 -- 11:00 | Coffee break |
| 11:00 -- 11:30 | Reiner Hähnle Fully Abstract Contracts in KeY |
| 11:30 -- 12:00 | Nathan Wasser Loop invariant generation for arrays using abstract interpretation (working title) |
| 12:00 -- 12:30 | Crystal Din KeY ABS |
| 12:30 -- 12:50 | Richard Bubel, Martin Hentschel Demo: Eclipse Verification Status and more |
| 12:50 -- 14:00 | Lunch break |
| 14:00 -- 15:00 | Discussion: New KeY Structure (Richard Bubel) |
| 15:00 -- 16:00 | Transfer to Mehliskopf by bus | 16:00 -- 18:00 | Social Event: Archery + Return to Bühl by bus |
Time |
Topic |
| 09:00 -- 09:30 | Simon Greiner Verification of an Implementation of Secure Multi-Party Computation (preliminary Title) |
| 09:30 -- 10:00 | Mattias Ulbrich Towards closing the gap between hybrid and program verification |
| 10:00 -- 10:30 | Mihai Herda Automatic Testcase Generation with KeY |
| 10:30 -- 11:00 | Coffee break, Group Photograph |
| 11:00 -- 11:15 | Jan Jacob Automating Verification of Loops with Containers by Pattern Matching |
| 11:15 -- 12:45 | Discussion: KeY Book |
| 12:45-14:00 | Lunch |
| 14:00 | End of Symposium |