POPL 2017
Sun 15 - Sat 21 January 2017
Sat 21 Jan 2017 16:00 - 16:25 at Salle 109, Barre 44-54 - Session Four

Sat 21 Jan
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:05
16:00
25m
Talk
Designing extensible, domain-specific languages for mathematical diagrams
Off the Beaten Track
Katherine Ye, Keenan Crane, Jonathan AldrichCarnegie Mellon University, Joshua SunshineCarnegie Mellon University
File Attached
16:25
25m
Talk
Laziness Boxes You In
Off the Beaten Track
File Attached
16:50
25m
Talk
Programming with Epistemic Logic
Off the Beaten Track
Markus Eger, Chris MartensCarnegie Mellon University
File Attached
17:15
25m
Talk
Preventing False Discoveries in Adaptive Data Analysis: a Programming Language approach
Off the Beaten Track
Marco GaboardiSUNY Buffalo, USA
File Attached
17:40
25m
Talk
Running Incomplete Programs
Off the Beaten Track
Ian VoyseyCarnegie Mellon University, Cyrus OmarCarnegie Mellon University, Matthew HammerUniversity of Colorado, Boulder
File Attached