Jump to: Monday, Tuesday, Wednesday
Time |
Topic |
| 10:30 -- 11:00 | Welcome coffee |
| 11:00 -- 11:10 | Opening of the 12th Annual KeY Symposium |
| 11:10 -- 11:40 | Information Flow -- An Algebraic View Vladimir Klebanov |
| 11:40 -- 12:10 | Dependency-based information flow analysis with declassification Bart van Delft |
| 12:10 -- 12:40 |
Yet another calculus for the verification of language based information security Christoph Scheben |
| 12:45 -- 14:00 | Lunch break |
| 14:00 -- 14:30 | Privacy preserving surveillance an the Tracking Paradoxon Simon Greiner |
| 14:30 -- 15:00 | Proving Well-Definedness of JML Specifications with KeY Michael Kirsten |
| 15:00 -- 15:30 | Generating Bounded Counterexamples for Key Proof Obligations Mihai Herda |
| 15:30 -- 16:00 | Efficient automatic proof management in Eclipse for KeY Stefan Käsdorf |
| 16:00 -- 16:30 | Coffee break |
| 16:30 -- 17:00 |
Radix Sort: A Proof and Experience Report Stijn de Gouw |
| 17:00 -- 17:30 | Verifying (In-)Stability in Floating-point Programs by Increasing Precision, using SMT Solving Wolfgang Ahrendt |
| 17:30 -- 18:00 | Praxis der Forschung: Regression Verification Dennis Felsing |
| 18:00 -- 18:30 | JKelloy. Verification of relational specifications with KeY Mattias Ulbrich |
Time |
Topic |
| 09:00 -- 10:00 |
Invited Talk: (Concurrent) separation logic in KeY? Bart Jacobs |
| 10:00 -- 10:30 | Unified Static and Runtime Verification Wolfgang Ahrendt |
| 10:30 -- 11:00 | Coffee break |
| 11:00 -- 11:30 | Advanced control functions for the Symbolic Execution Debugger Marco Drebing |
| 11:30 -- 12:00 | Symbolic Execution with Specifications (Debugger and Term Labels) Martin Hentschel |
| 12:00 -- 12:15 | Recent Java Dynamic Logic calculus optimizations Christoph Scheben |
| 12:15 -- 12:30 | Recursive Methods and Datatypes - A Look At Verifun and KeY
Nathan Wasser |
| 12:45 -- 14:00 | Lunch break |
| 14:00 -- 15:00 | Discussion |
| 15:00 -- 16:00 | Transfer to Weil am Rhein | 16:00 -- 18:00 | Guided Tour at Vitra Design Museum in Weil a. Rhein |
| 19:30 | Dinner at Brauerei Gaststätte Lasser |
Time |
Topic |
| 09:00 -- 09:30 | Verified This: Longest Repeated Substring Daniel Bruns |
| 09:30 -- 09:45 | Verisurg - Verification of Surgical Interventions
Sarah Grebing |
| 09:45 -- 10:00 | Noninterference - Analyzing Implicit Flows Nathan Wasser |
| 10:00 -- 10:30 | Coffee break, Group Photograph |
| 10:30 -- 11:00 | Yet another Integer Semantics for KeY Vladimir Klebanov |
| 11:00 -- 12:00 | Discussion: KeY book 2.0 |
| 12:00 | End of the Symposium |