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

Mon 16 Jan

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

09:00 - 12:00
Gradual Typing (AM)Tutorials at Salle 105, Barre 44-54
09:00
3h
Talk
The State of the Art in Gradual Typing
Tutorials
Jeremy G. Siek Indiana University Bloomington
09:00 - 12:00
09:00
3h
Talk
The Lean Theorem Prover
Tutorials
Leonardo de Moura Microsoft Research, Redmond, Gabriel Ebner Vienna University of Technology, Jared Roesch University of Washington, USA, Sebastian Ullrich Karlsruhe Institute of Technology
14:00 - 17:00
Gradual Typing (PM)Tutorials at Salle 105, Barre 44-54
14:00
3h
Talk
The State of the Art in Gradual Typing
Tutorials
Jeremy G. Siek Indiana University Bloomington
14:00 - 17:00
14:00
3h
Talk
The Lean Theorem Prover
Tutorials
Leonardo de Moura Microsoft Research, Redmond, Gabriel Ebner Vienna University of Technology, Jared Roesch University of Washington, USA, Sebastian Ullrich Karlsruhe Institute of Technology