CoqPL 2022
Sun 16 - Sat 22 January 2022 Philadelphia, Pennsylvania, United States
co-located with POPL 2022
VenueWestin Philadelphia
Room nameAirmeet
Room Information

The virtual workshop takes place in the Airmeet online platform.

Program

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 ReceptionPOPL Virtual Workshop at Airmeet
12:00
60m
Break
Break at the Airmeet tables ("Lounge")
POPL Virtual Workshop

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

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

15:00 - 16:00
15:00
60m
Panel
Panel 1: proof assistants for PL and math
POPL 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 1POPL Virtual Workshop at Airmeet
16:00
2h
Break
Unstructured time
POPL Virtual Workshop

18:00 - 19:00
18:00
60m
Keynote
Keynote 1: OpenAI Codex presentation & demo
POPL Virtual Workshop
19:00 - 20:00
Unstructured Time 2POPL Virtual Workshop at Airmeet
19:00
60m
Break
Unstructured time
POPL Virtual Workshop

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

21:00 - 03:00
Unstructured Time 3POPL Virtual Workshop at Airmeet
21:00
6h
Break
Unstructured time
POPL Virtual Workshop

Fri 28 Jan

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

03:00 - 04:00
03:00
60m
Panel
PLMW Panel (on Zoom)
POPL 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)POPL Virtual Workshop at Airmeet
04:00
60m
Social Event
Networking: careers at sponsor companies
POPL Virtual Workshop

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

07:00 - 09:00
Unstructured Time 4POPL Virtual Workshop at Airmeet
07:00
2h
Break
Unstructured time
POPL Virtual Workshop

07:00
2h
Break
Unstructured time
POPL Virtual Workshop

09:00 - 10:00
09:00
60m
Keynote
Keynote 2: on WebAssembly
POPL Virtual Workshop
Andreas Rossberg Dfinity Stiftung
10:00 - 11:00
Unstructured Time 5POPL Virtual Workshop at Airmeet
10:00
60m
Break
Unstructured time
POPL Virtual Workshop

11:00 - 14:00
Unstructured Time 7POPL Virtual Workshop at Airmeet
11:00
3h
Break
Unstructured time
POPL Virtual Workshop

14:00 - 18:00
Unstructured Time 6POPL Virtual Workshop at Airmeet
14:00
4h
Break
Unstructured time
POPL Virtual Workshop

18:00 - 19:00
Mentoring for junior faculty (Asia time band)POPL Virtual Workshop at Airmeet
18:00
60m
Social Event
Mentoring for junior faculty
POPL Virtual Workshop

19:00 - 20:00
19:00
60m
Panel
Panel 2: the future of concurrency and parallelism
POPL 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)POPL Virtual Workshop at Airmeet
20:00
60m
Social Event
Mentoring for junior faculty
POPL Virtual Workshop

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

Thu 27 Jan

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