POPL 2017
Sun 15 - Sat 21 January 2017
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 15 Jan

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Second Afternoon SessionTTT at Salle 105, Barre 44-54
Chair(s): Hugo Herbelin
16:00
50m
Talk
Invited Talk -- Iris: a framework for higher-order concurrent separation logic in Coq
TTT
Robbert Krebbers Delft University of Technology, Netherlands
16:50
20m
Talk
Introducing MetaCoq: A Safe Tactic Language for Coq
TTT
Beta Ziliani FAMAF, UNC (Argentina) / CONICET (Argentina)
17:10
50m
Other
COST EUTypes session
TTT