Workshop Programme

Friday 18th July

09:15 to 10:15
Matching Logic
10:15 to 10:45
Coffee Break
10:45 to 12:45
Javascript and Concurrency
10:45
11:45
12:45 to 14:30
Lunch Break
14:30 to 16:00
Abstract Interpretation and Linear Logic
14:30
Steven Lyde and Matthew Might
15:00
Steven Lyde and Matthew Might
15:30
Charles Grellois and Paul-André Melliès