Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
VenueOnline (How to POPL in 2021)
Room nameTutorialFest-B
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 18 Jan

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

16:00 - 17:30
16:00
90m
Tutorial
[T2] Liquid Haskell: Refinement Type Checker for Haskell
TutorialFest
Niki Vazou IMDEA Software Institute, Andres Löh Well-Typed LLP
18:00 - 19:30
18:00
90m
Tutorial
[T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic
TutorialFest
Tej Chajed Massachusetts Institute of Technology, USA, Ralf Jung MPI-SWS, Joseph Tassarotti Boston College
Link to publication

Mon 18 Jan

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

Mon 18 Jan

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