Write a Blog >>
OCaml 2021
Sun 22 - Fri 27 August 2021
co-located with ICFP 2021
VenueVirtual
Room namePLMW
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

Sun 22 Aug

Displayed time zone: Seoul change

22:00 - 23:00
Session 1PLMW @ ICFP at PLMW
22:00
15m
Day opening
Welcome and Opening Remarks
PLMW @ ICFP
C: Jose Calderon Galois, Inc., C: Lindsey Kuper University of California at Santa Cruz
22:15
45m
Talk
How to Write Papers So People Can Read Them
PLMW @ ICFP
S: Derek Dreyer MPI-SWS
23:15 - 01:00
Session 2PLMW @ ICFP at PLMW
23:15
60m
Panel
"I don't get it!" Panel
PLMW @ ICFP
M: Ronald Garcia University of British Columbia, P: Patricia Johann Appalachian State University, P: Norman Ramsey Tufts University, P: Steve Zdancewic University of Pennsylvania, P: Andrew D. Gordon Microsoft Research and University of Edinburgh
00:15
45m
Talk
Managing Your Research, Your Advisor, Your Ph.D.
PLMW @ ICFP
S: Amal Ahmed Northeastern University, USA

Mon 23 Aug

Displayed time zone: Seoul change

02:00 - 03:30
Session 3PLMW @ ICFP at PLMW
02:00
45m
Talk
Introduction to Mechanized Metatheory
PLMW @ ICFP
S: Brigitte Pientka McGill University
02:45
45m
Talk
Emotional Machines
PLMW @ ICFP
S: Aaron Turon MPI-SWS
04:00 - 06:15
Session 4PLMW @ ICFP at PLMW
04:00
90m
Other
Small-group Mentoring Meetings
PLMW @ ICFP

05:30
45m
Talk
Increasing the Impact of PL Research
PLMW @ ICFP
S: Michael Hicks University of Maryland at College Park

Sun 22 Aug

Displayed time zone: Seoul change

Mon 23 Aug

Displayed time zone: Seoul change

Room2:00303:00304:00305:00306:0030
PLMW

Sun 22 Aug

Displayed time zone: Seoul change

Mon 23 Aug

Displayed time zone: Seoul change