Erlang 2020
Sun 23 - Fri 28 August 2020
co-located with ICFP 2020
VenueOnline
Room nameICFP Social
Floor0
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

Thu 20 Aug

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

21:00 - 22:00
21:00
60m
Other
Clowdr Training Sessions
ICFP Clowdr Training
Benjamin C. Pierce University of Pennsylvania

Fri 21 Aug

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

09:00 - 10:00
09:00
60m
Other
Clowdr Training Sessions
ICFP Clowdr Training
Benjamin C. Pierce University of Pennsylvania

Mon 24 Aug

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

13:30 - 14:30
13:30
60m
Social Event
W@ICFP
ICFP Social Events
21:00 - 22:00
Women in CS PanelICFP Social 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
ICFP Social Events
P: Cristina Cifuentes Oracle Labs, P: Sukyoung Ryu KAIST, P: Alena Griffiths RGB Assurance, P: Behnaz Hassanshahi Oracle Labs, Australia

Tue 25 Aug

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

01:00 - 02:00
01:00
60m
Talk
Mentoring with Ranjit Jhala
ICFP Social Events
Ranjit Jhala University of California at San Diego, USA
04:30 - 05:30
04:30
60m
Meeting
Online Lecture Panel
ICFP 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
13:30 - 14:30
13:30
60m
Talk
LGBTQ Meetup
ICFP Social Events
David Walker Princeton University, USA, Matthew Weaver Princeton University
16:30 - 17:30
16:30
60m
Social Event
ICFP Triva
ICFP Social Events
Jose Calderon Galois, Inc., Paulette Koronkevich University of British Columbia

Wed 26 Aug

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

00:00 - 01:00
00:00
60m
Talk
Mentoring with Guy Steele
ICFP Social Events
Guy L. Steele Jr. Oracle Labs
16:30 - 17:30
Industrial ReceptionICFP Social Events at ICFP Social
16:30
60m
Social Event
Industrial Reception
ICFP Social Events

Thu 27 Aug

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

00:30 - 01:30
00:30
60m
Talk
Mentoring with Matthias Felleisen
ICFP Social Events
Matthias Felleisen PLT @ Northeastern University
09:00 - 10:00
09:00
60m
Meeting
Academic Career Planning During a Crisis
ICFP Social Events
Neel Krishnaswami Computer Laboratory, University of Cambridge
14:00 - 18:00
14:00
4h
Social Event
ShutdownPL: Keynote and Getting Started With Anti-racist Action
ICFP 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

Thu 20 Aug

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

Fri 21 Aug

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

Mon 24 Aug

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

Room13:003014:003015:003016:003017:003018:003019:003020:003021:0030
ICFP Social

Tue 25 Aug

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

Room1:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ICFP Social

Wed 26 Aug

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

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ICFP Social

Thu 27 Aug

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

Room0:00301:00302:00303:00304:00305:00306:00307:00308:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
ICFP Social

Thu 20 Aug

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

Fri 21 Aug

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

Mon 24 Aug

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

Room13:0015304514:0015304515:0015304516:0015304517:0015304518:0015304519:0015304520:0015304521:00153045
ICFP Social

Tue 25 Aug

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

Room1:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ICFP Social

Wed 26 Aug

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ICFP Social

Thu 27 Aug

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

Room0:001530451:001530452:001530453:001530454:001530455:001530456:001530457:001530458:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
ICFP Social