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: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 12:00: Gradual Typing (AM)Tutorials at Salle 105, Barre 44-54
09:00 - 12:00
Talk
Tutorials
Jeremy G. SiekIndiana University Bloomington
09:00 - 12:00: Lean (AM)Tutorials at Salle 107, Barre 44-54
09:00 - 12:00
Talk
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 - 17:00
Talk
Tutorials
Jeremy G. SiekIndiana University Bloomington
14:00 - 17:00: Lean (PM)Tutorials at Salle 107, Barre 44-54
14:00 - 17:00
Talk
Tutorials
Leonardo De MouraMicrosoft Research, Redmond, Gabriel EbnerVienna University of Technology, Jared RoeschUniversity of Washington, USA, Sebastian UllrichKarlsruhe Institute of Technology