POPL 2017
Sun 15 - Sat 21 January 2017

Mon 16 Jan

POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Flow (AM) at Salle 112, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
Media Attached
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Frama-C (AM) at Salle 114, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Gradual Typing (AM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
09:00 - 12:00: Tutorials - Lean (AM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148455360000009:00 - 12:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Flow (PM) at Salle 112, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
Media Attached
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Frama-C (PM) at Salle 114, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Gradual Typing (PM) at Salle 105, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk
POPL-2017-Tutorials
14:00 - 17:00: Tutorials - Lean (PM) at Salle 107, Barre 44-54
POPL-2017-Tutorials148457160000014:00 - 17:00
Talk