Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

Both time bands include synchronous social events interspersed throughout the program. The online format means that we need to be much more intentional about creating the social mixing that happens naturally at physical conferences. Some of the planned social events are listed below. Watch this page for more details!

Events

Title
Academic Career Planning During a Crisis
Social Events
Coffee Break in Clowdr
Social Events

FARM Performance
Social Events
How to Use Clowdr at ICFP
Social Events
ICFP Social Time
Social Events

ICFP Triva
Social Events
Industrial Reception
Social Events

Information Desk
Social Events
LGBTQ Meetup
Social Events
Mentoring with Guy Steele
Social Events
Mentoring with Matthias Felleisen
Social Events
Mentoring with Ranjit Jhala
Social Events
Mind the Title
Social Events
Online Lecture Panel
Social Events
SIGPLAN CARES
Social Events
SIGPLAN CARES
Social Events
ShutdownPL: Accountability
Social Events

ShutdownPL: Keynote and Getting Started With Anti-racist Action
Social Events
ShutdownPL: Mentorship
Social Events

ShutdownPL: Pedagogy
Social Events

Some Proverbs in Type Theory
Social Events
Untitled PL Card Game
Social Events
Media Attached
Virtual Art Gallery
Social Events
Virtualization Feedback
Social Events
W@ICFP
Social Events
Women in CS Panel
Social Events
Dates
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 24 Aug

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

10:00 - 11:30
10:00
90m
Social Event
ICFP Social Time
Social Events

10:00 - 10:30
10:00
30m
Other
Information Desk
Social Events
Stephanie Weirich University of Pennsylvania
10:30 - 11:30
10:30
60m
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. Pierce University of Pennsylvania
13:00 - 14:30
13:00
90m
Social Event
ICFP Social Time
Social Events

13:00 - 13:30
13:00
30m
Other
Information Desk
Social Events
Stephanie Weirich University of Pennsylvania
13:30 - 14:30
13:30
60m
Social Event
W@ICFP
Social Events
16:30 - 17:30
16:30
60m
Social Event
ICFP Social Time
Social Events

16:30 - 17:30
Untitled PL Card GameSocial Events at ICFP Social 2
16:30
60m
Social Event
Untitled PL Card Game
Social Events
Jasper Van der Jeugt Fugue, Niki Vazou IMDEA Software Institute, Leonidas Lampropoulos University of Maryland, College Park
Media Attached
21:00 - 22:00
21:00
60m
Social Event
ICFP Social Time
Social Events

21:00 - 22:00
Women in CS PanelSocial Events at ICFP Social
Chair(s): Cristina Cifuentes Oracle Labs

YouTube recording of event: https://youtu.be/uHdtXFEwVCs

21:00
60m
Social Event
Women in CS Panel
Social Events
P: Cristina Cifuentes Oracle Labs, P: Sukyoung Ryu KAIST, P: Alena Griffiths RGB Assurance, P: Behnaz Hassanshahi Oracle Labs, Australia
22:00 - 23:00
22:00
60m
Meeting
How to Use Clowdr at ICFP
Social Events
Benjamin C. Pierce University of Pennsylvania

Tue 25 Aug

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

01:00 - 02:00
01:00
60m
Social Event
ICFP Social Time
Social Events

01:00 - 02:00
01:00
60m
Talk
Mentoring with Ranjit Jhala
Social Events
Ranjit Jhala University of California at San Diego, USA
04:30 - 05:30
04:30
60m
Social Event
ICFP Social Time
Social Events

04:30 - 05:30
04:30
60m
Meeting
Online Lecture Panel
Social Events
Atsushi Igarashi Kyoto University, Japan, Sukyoung Ryu KAIST, Ilya Sergey Yale-NUS College and National University of Singapore, Alex Potanin Victoria University of Wellington
10:00 - 10:30
10:00
30m
Other
Information Desk
Social Events
Stephanie Weirich University of Pennsylvania
10:30 - 11:30
10:30
60m
Social Event
Virtual Art Gallery
Social Events
Alan Jeffrey Mozilla Research
10:30 - 11:30
10:30
30m
Meeting
SIGPLAN CARES
Social Events
David Walker Princeton University, USA, Simon Peyton Jones Microsoft, UK, Alexandra Silva University College London, Shriram Krishnamurthi Brown University, United States
13:00 - 14:30
13:00
90m
Social Event
ICFP Social Time
Social Events

13:00 - 13:30
13:00
30m
Other
Information Desk
Social Events
Stephanie Weirich University of Pennsylvania
13:30 - 14:30
LGBTQ MeetupSocial Events at ICFP Social
13:30
60m
Talk
LGBTQ Meetup
Social Events
David Walker Princeton University, USA, Matthew Weaver Princeton University
16:30 - 17:30
16:30
60m
Social Event
ICFP Social Time
Social Events

16:30 - 17:30
16:30
60m
Social Event
ICFP Triva
Social Events
Jose Calderon Galois, Inc., Paulette Koronkevich University of British Columbia
21:00 - 22:30
21:00
90m
Social Event
ICFP Social Time
Social Events

21:00 - 22:00
21:00
30m
Meeting
SIGPLAN CARES
Social Events
David Walker Princeton University, USA, Simon Peyton Jones Microsoft, UK, Alexandra Silva University College London, Shriram Krishnamurthi Brown University, United States
21:30 - 22:30
Mind the TitleSocial Events at ICFP Social 3
21:30
60m
Meeting
Mind the Title
Social Events
Olivier Danvy Yale-NUS College and School of Computing, Singapore

Wed 26 Aug

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

00:00 - 01:00
00:00
60m
Social Event
ICFP Social Time
Social Events

00:00 - 01:00
00:00
60m
Talk
Mentoring with Guy Steele
Social Events
Guy L. Steele Jr. Oracle Labs
04:30 - 05:30
04:30
60m
Social Event
ICFP Social Time
Social Events

04:30 - 05:30
04:30
60m
Talk
Some Proverbs in Type Theory
Social Events
Neel Krishnaswami Computer Laboratory, University of Cambridge
10:30 - 11:00
10:30
30m
Other
Information Desk
Social Events
Stephanie Weirich University of Pennsylvania
13:00 - 14:30
13:00
90m
Social Event
ICFP Social Time
Social Events

13:00 - 13:30
13:00
30m
Other
Information Desk
Social Events
Stephanie Weirich University of Pennsylvania
13:30 - 14:30
Virtualization Feedback 1Social Events at ICFP Social 2
13:30
60m
Meeting
Virtualization Feedback
Social Events
Benjamin C. Pierce University of Pennsylvania, Jonathan Bell Northeastern University, Crista Lopes University of California, Irvine
16:30 - 17:30
Industrial ReceptionSocial Events at ICFP Social
16:30
60m
Social Event
Industrial Reception
Social Events

21:00 - 22:00
21:00
60m
Social Event
ICFP Social Time
Social Events

21:00 - 22:00
Virtualization Feedback 2Social Events at ICFP Social 2
21:00
60m
Meeting
Virtualization Feedback
Social Events
Benjamin C. Pierce University of Pennsylvania, Jonathan Bell Northeastern University, Crista Lopes University of California, Irvine

Thu 27 Aug

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

00:30 - 01:30
00:30
60m
Social Event
ICFP Social Time
Social Events

00:30 - 01:30
00:30
60m
Talk
Mentoring with Matthias Felleisen
Social Events
Matthias Felleisen PLT @ Northeastern University
04:30 - 05:30
04:30
60m
Social Event
ICFP Social Time
Social Events

09:00 - 10:00
Career PlanningSocial Events at ICFP Social
09:00
60m
Meeting
Academic Career Planning During a Crisis
Social Events
Neel Krishnaswami Computer Laboratory, University of Cambridge
14:00 - 18:00
ShutdownPL 1Social Events at ICFP Social
14:00
4h
Social Event
ShutdownPL: Keynote and Getting Started With Anti-racist Action
Social Events
Kenny Foner Galois, Niki Carroll George Mason University, Priya Srikumar Cornell University, David Justo University of California, San Diego, Justin Lubin University of Chicago, Akash Gaonkar , Alan Jeffrey Mozilla Research
15:20 - 17:40
15:20
2h20m
Social Event
ShutdownPL: Accountability
Social Events

15:20 - 17:40
15:20
2h20m
Social Event
ShutdownPL: Pedagogy
Social Events

15:20 - 17:40
15:20
2h20m
Social Event
ShutdownPL: Mentorship
Social Events

Fri 28 Aug

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

17:30 - 19:30
FARM PerformanceSocial Events at FARM Performance
17:30
2h
Social Event
FARM Performance
Social Events
C: Donya Quick Stevens Institute of Technology

Not scheduled yet

Not scheduled yet
Social Event
Coffee Break in Clowdr
Social Events