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
Times are displayed in 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 VazouIMDEA Software Institute, Andres LöhWell-Typed LLP
18:00 - 19:30
18:00
90m
Tutorial
[T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic
TutorialFest
Tej ChajedMassachusetts Institute of Technology, USA, Ralf JungMPI-SWS, Joseph TassarottiBoston College
Link to publication

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

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