LOLA PROGRAM
Sunday, July 13th, 2014
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:15-10:15 Session 24E: Invited talk
Location: FH, Seminarraum 107
| 09:15 | De haut en bas: relating high-level and low-level abstractions (abstract) |
10:15-10:45Coffee Break
10:45-12:45 Session 26U: Contributed talks
Location: FH, Seminarraum 107
| 10:45 | Abstract Self Modifying Machines (abstract) |
| 11:15 | Programming and Verifying with Effect Handling and Iteration (abstract) |
| 11:45 | Tensorial logic with algebraic effects (abstract) |
| 12:15 | Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of Interaction (abstract) |
13:00-14:30Lunch Break
15:00-16:00 Session 32: Invited talk
Location: FH, Seminarraum 107
| 15:00 | On Machines, Virtual Memory and Successful System Verification (abstract) |
16:00-16:30Coffee Break
16:30-17:30 Session 34T: Contributed talks
Location: FH, Seminarraum 107
| 16:30 | A Cross-Language Framework for Verifying Compiler Optimizations (abstract) |
| 17:00 | Call-by-Value in a Basic Logic for Interaction (abstract) |