TutorialFest-B - VMCAI 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

co-located with POPL 2021

VenueOnline (How to POPL in 2021)

Room nameTutorialFest-B

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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	Tutorial 2POPL TutorialFest at TutorialFest-B

16:00 90m Tutorial		[T2] Liquid Haskell: Refinement Type Checker for Haskell POPL TutorialFest Niki Vazou IMDEA Software Institute, Andres Löh Well-Typed LLP

18:00 - 19:30	Tutorial 5POPL TutorialFest at TutorialFest-B

18:00 90m Tutorial		[T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation Logic POPL 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


Room	16:00						30						17:00						30						18:00						30						19:00						30
TutorialFest-B	POPL TutorialFest Tutorial 2																								POPL TutorialFest Tutorial 5

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


Room	16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45
TutorialFest-B	POPL TutorialFest [T2] Liquid Haskell: Refinement Type Checker for Haskell 16:00 - 17:30																								POPL TutorialFest [T4] Iris – A Modular Foundation for Higher-Order Concurrent Separation ... 18:00 - 19:30

Room information: TutorialFest-B

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

POPL TutorialFest

POPL TutorialFest

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

Tracks

Room information: TutorialFest-B

Program Display Configuration

Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

POPL TutorialFest

POPL TutorialFest

Mon 18 JanDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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