VSL 2014: VIENNA SUMMER OF LOGIC 2014

LOLA ON SUNDAY, JULY 13TH: TALK VIEW

View: with abstractssession overviewside by side with other conferences

9:30
10:00
10:30
11:00
11:30
12:00
12:30
13:00
13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
09:15-10:15
De haut en bas: relating high-level and low-level abstractions
Nick Benton
10:45-11:15
Abstract Self Modifying Machines
Hubert Godfroy, Jean-Yves Marion
11:15-11:45
Programming and Verifying with Effect Handling and Iteration
Sergey Goncharov, Lutz Schröder, Christoph Rauch
11:45-12:15
Tensorial logic with algebraic effects
Paul-André Melliès
12:15-12:45
Compiling Effectful Terms to Transducers: Prototype Implementation of Memoryful Geometry of
Koko Muroya, Toshiki Kataoka, Ichiro Hasuo, Naohiko Hoshino
15:00-16:00
On Machines, Virtual Memory and Successful System Verification
Rafal Kolanski
16:30-17:00
A Cross-Language Framework for Verifying Compiler Optimizations
William Mansky, Elsa Gunter
17:00-17:30
Call-by-Value in a Basic Logic for Interaction
Ulrich Schöpp
10:15-10:45 Coffee Break
13:00-14:30 Lunch Break
16:00-16:30 Coffee Break
Disclaimer | Powered by EasyChair Smart Program