POPL 2017
Sun 15 - Sat 21 January 2017
Sun 15 Jan 2017 16:50 - 17:10 at Salle 105, Barre 44-54 - Second Afternoon Session Chair(s): Hugo Herbelin

Currently researcher in the group LIIS at FAMAF, UNC / CONICET (Argentina).

From 04/2015 to 10/2015 Postdoc at LIIS.

PhD from MPI-SWS (Germany), supervisor Dr. Derek Dreyer.

MSc from FCEyN, UBA.

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