Airmeet - POPL 2022

VenueWestin Philadelphia

Room nameAirmeet

Room Information

The virtual workshop takes place in the Airmeet online platform.

Program

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

12:00 - 13:00	Welcome ReceptionVirtual Workshop at Airmeet

12:00 60m Break		Break at the Airmeet tables ("Lounge") Virtual Workshop

13:00 - 14:00	Networking: careers at sponsor companies (U.S. time band)Virtual Workshop at Airmeet

13:00 60m Social Event		Networking: careers at sponsor companies Virtual Workshop

14:00 - 15:00	Networking: academic job searches and PhD applications (U.S. time band)Virtual Workshop at Airmeet

14:00 60m Social Event		Networking: academic job searches and PhD applications Virtual Workshop

15:00 - 16:00	Panel 1Virtual Workshop at Airmeet

15:00 60m Panel		Panel 1: proof assistants for PL and math Virtual Workshop Kevin Buzzard Imperial College London, Kuen-Bang Hou (Favonia) University of Minnesota, Zhong Shao Yale University, Nicolas Tabareau Inria

16:00 - 18:00	Unstructured Time 1Virtual Workshop at Airmeet

16:00 2h Break		Unstructured time Virtual Workshop

18:00 - 19:00	Keynote 1Virtual Workshop at Airmeet

18:00 60m Keynote		Keynote 1: OpenAI Codex presentation & demo Virtual Workshop Łukasz Kaiser OpenAI

19:00 - 20:00	Unstructured Time 2Virtual Workshop at Airmeet

19:00 60m Break		Unstructured time Virtual Workshop

20:00 - 21:00	Mentoring for graduating PhDs and postdocs (U.S. time band)Virtual Workshop at Airmeet

20:00 60m Social Event		Mentoring for graduating PhDs and postdocs Virtual Workshop

21:00 - 03:00	Unstructured Time 3Virtual Workshop at Airmeet

21:00 6h Break		Unstructured time Virtual Workshop

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change

03:00 - 04:00	PLMW panelVirtual Workshop at Airmeet

03:00 60m Panel		PLMW Panel (on Zoom) Virtual Workshop Youyou Cong Tokyo Institute of Technology, Andreea Costea School of Computing, National University Of Singapore, Cristina Cifuentes Oracle Labs, Sukyoung Ryu KAIST

04:00 - 05:00	Networking: careers at sponsor companies (Asia time band)Virtual Workshop at Airmeet

04:00 60m Social Event		Networking: careers at sponsor companies Virtual Workshop

05:00 - 06:00	Networking: academic job searches and PhD applications (Asia time band)Virtual Workshop at Airmeet

05:00 60m Social Event		Networking: academic job searches and PhD applications Virtual Workshop

06:00 - 07:00	Tutorial 1Virtual Workshop at Airmeet

06:00 60m Tutorial		Tutorial 1: Data-driven program analysis: combining machine learning and program analysis Virtual Workshop Hakjoo Oh Korea University

07:00 - 09:00	Unstructured Time 4Virtual Workshop at Airmeet

07:00 2h Break		Unstructured time Virtual Workshop
07:00 2h Break		Unstructured time Virtual Workshop

09:00 - 10:00	Keynote 2Virtual Workshop at Airmeet

09:00 60m Keynote		Keynote 2: on WebAssembly Virtual Workshop Andreas Rossberg Dfinity Stiftung

10:00 - 11:00	Unstructured Time 5Virtual Workshop at Airmeet

10:00 60m Break		Unstructured time Virtual Workshop

11:00 - 14:00	Unstructured Time 7Virtual Workshop at Airmeet

11:00 3h Break		Unstructured time Virtual Workshop

14:00 - 18:00	Unstructured Time 6Virtual Workshop at Airmeet

14:00 4h Break		Unstructured time Virtual Workshop

18:00 - 19:00	Mentoring for junior faculty (Asia time band)Virtual Workshop at Airmeet

18:00 60m Social Event		Mentoring for junior faculty Virtual Workshop

19:00 - 20:00	Panel 2Virtual Workshop at Airmeet

19:00 60m Panel		Panel 2: the future of concurrency and parallelism Virtual Workshop Stephanie Balzer Carnegie Mellon University, Jeehoon Kang KAIST, Keshav Pingali The University of Texas at Austin, Ilya Sergey National University of Singapore

20:00 - 21:00	Mentoring for junior faculty (U.S. time band)Virtual Workshop at Airmeet

20:00 60m Social Event		Mentoring for junior faculty Virtual Workshop

21:00 - 22:00	Mentoring for graduating PhDs and postdocs (Asia time band)Virtual Workshop at Airmeet

21:00 60m Social Event		Mentoring for graduating PhDs and postdocs Virtual Workshop

22:00 - 22:59	Tutorial 2Virtual Workshop at Airmeet

22:00 59m Tutorial		Tutorial 2: some advanced features of the Dafny verification tool Virtual Workshop K. Rustan M. Leino Amazon

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change


Room	12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30						23:00						30						0:00						30						1:00						30						2:00						30
Airmeet	Virtual Workshop Welcome Reception												Virtual Workshop Networking: careers at sponsor companies (U.S. time band)												Virtual Workshop Networking: academic job searches and PhD applications (U.S. time band)												Virtual Workshop Panel 1												Virtual Workshop Unstructured Time 1																								Virtual Workshop Keynote 1												Virtual Workshop Unstructured Time 2												Virtual Workshop Mentoring for graduating PhDs and postdocs (U.S. time band)												Virtual Workshop Unstructured Time 3

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change


Room	3:00						30						4:00						30						5:00						30						6:00						30						7:00						30						8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
Airmeet	Virtual Workshop PLMW panel												Virtual Workshop Networking: careers at sponsor companies (Asia time band)												Virtual Workshop Networking: academic job searches and PhD applications (Asia time band)												Virtual Workshop Tutorial 1												Virtual Workshop Unstructured Time 4																								Virtual Workshop Keynote 2												Virtual Workshop Unstructured Time 5												Virtual Workshop Unstructured Time 7																																				Virtual Workshop Unstructured Time 6																																																Virtual Workshop Mentoring for junior faculty (Asia time band)												Virtual Workshop Panel 2												Virtual Workshop Mentoring for junior faculty (U.S. time band)												Virtual Workshop Mentoring for graduating PhDs and postdocs (Asia time band)												Virtual Workshop Tutorial 2

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change


Room	12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45			23:00			15			30			45			0:00			15			30			45			1:00			15			30			45			2:00			15			30			45
Airmeet	POPL Virtual Workshop Break at the Airmeet tables ("Lounge") 12:00 - 13:00												POPL Virtual Workshop Networking: careers at sponsor companies 13:00 - 14:00												POPL Virtual Workshop Networking: academic job searches and PhD applications 14:00 - 15:00												POPL Virtual Workshop Panel 1: proof assistants for PL and math 15:00 - 16:00												POPL Virtual Workshop Unstructured time 16:00 - 18:00																								POPL Virtual Workshop Keynote 1: OpenAI Codex presentation & demo 18:00 - 19:00												POPL Virtual Workshop Unstructured time 19:00 - 20:00												POPL Virtual Workshop Mentoring for graduating PhDs and postdocs 20:00 - 21:00												POPL Virtual Workshop Unstructured time 21:00 - 03:00

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change


Room	3:00			15			30			45			4:00			15			30			45			5:00			15			30			45			6:00			15			30			45			7:00			15			30			45			8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45			18:00			15			30			45			19:00			15			30			45			20:00			15			30			45			21:00			15			30			45			22:00			15			30			45
Airmeet	POPL Virtual Workshop PLMW Panel (on Zoom) 03:00 - 04:00												POPL Virtual Workshop Networking: careers at sponsor companies 04:00 - 05:00												POPL Virtual Workshop Networking: academic job searches and PhD applications 05:00 - 06:00												POPL Virtual Workshop Tutorial 1: Data-driven program analysis: combining machine learning an ... 06:00 - 07:00												POPL Virtual Workshop Unstructured time 07:00 - 09:00 Unstructured time 07:00 - 09:00																								POPL Virtual Workshop Keynote 2: on WebAssembly 09:00 - 10:00												POPL Virtual Workshop Unstructured time 10:00 - 11:00												POPL Virtual Workshop Unstructured time 11:00 - 14:00																																				POPL Virtual Workshop Unstructured time 14:00 - 18:00																																																POPL Virtual Workshop Mentoring for junior faculty 18:00 - 19:00												POPL Virtual Workshop Panel 2: the future of concurrency and parallelism 19:00 - 20:00												POPL Virtual Workshop Mentoring for junior faculty 20:00 - 21:00												POPL Virtual Workshop Mentoring for graduating PhDs and postdocs 21:00 - 22:00												POPL Virtual Workshop Tutorial 2: some advanced features of the Dafny verification tool 22:00 - 22:59

Room information: Airmeet

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Airmeet

Program Display Configuration

Thu 27 JanDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 JanDisplayed time zone: Eastern Time (US & Canada) change

Thu 27 JanDisplayed time zone: Eastern Time (US & Canada) change

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Fri 28 JanDisplayed time zone: Eastern Time (US & Canada) change

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Virtual Workshop

Thu 27 JanDisplayed time zone: Eastern Time (US & Canada) change

Fri 28 JanDisplayed time zone: Eastern Time (US & Canada) change

Information for Participants

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change

Thu 27 Jan
Displayed time zone: Eastern Time (US & Canada) change

Fri 28 Jan
Displayed time zone: Eastern Time (US & Canada) change