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
Times are displayed in 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. SiekIndiana University Bloomington
09:00 - 12:00
09:00
3h
Talk
The Lean Theorem Prover
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe 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. SiekIndiana University Bloomington
14:00 - 17:00
14:00
3h
Talk
The Lean Theorem Prover
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology