ICFP 2020 - Social Events

About
Program

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 Neel Krishnaswami
	Coffee Break in Clowdr Social Events
	FARM Performance Social Events C: Donya Quick
	How to Use Clowdr at ICFP Social Events Benjamin C. Pierce
	ICFP Social Time Social Events
	ICFP Triva Social Events Jose Calderon, Paulette Koronkevich
	Industrial Reception Social Events
	Information Desk Social Events Stephanie Weirich
	LGBTQ Meetup Social Events David Walker, Matthew Weaver
	Mentoring with Guy Steele Social Events Guy L. Steele Jr.
	Mentoring with Matthias Felleisen Social Events Matthias Felleisen
	Mentoring with Ranjit Jhala Social Events Ranjit Jhala
	Mind the Title Social Events Olivier Danvy
	Online Lecture Panel Social Events Atsushi Igarashi, Sukyoung Ryu, Ilya Sergey, Alex Potanin
	SIGPLAN CARES Social Events David Walker, Simon Peyton Jones, Alexandra Silva, Shriram Krishnamurthi
	SIGPLAN CARES Social Events David Walker, Simon Peyton Jones, Alexandra Silva, Shriram Krishnamurthi
	ShutdownPL: Accountability Social Events
	ShutdownPL: Keynote and Getting Started With Anti-racist Action Social Events Kenny Foner, Niki Carroll, Priya Srikumar, David Justo, Justin Lubin, Akash Gaonkar, Alan Jeffrey
	ShutdownPL: Mentorship Social Events
	ShutdownPL: Pedagogy Social Events
	Some Proverbs in Type Theory Social Events Neel Krishnaswami
	Untitled PL Card Game Social Events Jasper Van der Jeugt, Niki Vazou, Leonidas Lampropoulos Media Attached
	Virtual Art Gallery Social Events Alan Jeffrey
	Virtualization Feedback Social Events Benjamin C. Pierce, Jonathan Bell, Crista Lopes
	W@ICFP Social Events O: Mary Sheeran
	Women in CS Panel Social Events P: Cristina Cifuentes, P: Sukyoung Ryu, P: Alena Griffiths, P: Behnaz Hassanshahi

Time Zone

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

Use conference time zone: (GMT-04: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

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

	10:00 - 11:30: Social TimeSocial Events at Clowdr People/Places

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

	10:00 - 10:30: Get HelpSocial Events at Information Desk

	10:00 - 10:30 Other		Information Desk Social Events Stephanie WeirichUniversity of Pennsylvania

	10:30 - 11:30: How to ICFPSocial Events at ICFP Social 2

	10:30 - 11:30 Meeting		How to Use Clowdr at ICFP Social Events Benjamin C. PierceUniversity of Pennsylvania

	13:00 - 14:30: Social TimeSocial Events at Clowdr People/Places

	13:00 - 14:30 Social Event		ICFP Social Time Social Events

	13:00 - 13:30: Get HelpSocial Events at Information Desk

	13:00 - 13:30 Other		Information Desk Social Events Stephanie WeirichUniversity of Pennsylvania

	13:30 - 14:30: W@ICFPSocial Events at ICFP Social YouTube recording of event: https://www.youtube.com/watch?v=2FNX9SjAwMM

	13:30 - 14:30 Social Event		W@ICFP Social Events O: Mary Sheeranms@chalmers.se

	16:30 - 17:30: Social TimeSocial Events at Clowdr People/Places

	16:30 - 17:30 Social Event		ICFP Social Time Social Events

	16:30 - 17:30: Untitled PL Card GameSocial Events at ICFP Social 2

	16:30 - 17:30 Social Event		Untitled PL Card Game Social Events Jasper Van der JeugtFugue, Niki VazouIMDEA Software Institute, Leonidas LampropoulosUniversity of Maryland, College Park Media Attached

	21:00 - 22:00: Social TimeSocial Events at Clowdr People/Places

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

	21:00 - 22:00: Women in CS PanelSocial Events at ICFP Social Chair(s): Cristina CifuentesOracle Labs YouTube recording of event: https://youtu.be/uHdtXFEwVCs

	21:00 - 22:00 Social Event		Women in CS Panel Social Events P: Cristina CifuentesOracle Labs, P: Sukyoung RyuKAIST, P: Alena GriffithsRGB Assurance, P: Behnaz HassanshahiOracle Labs, Australia

	22:00 - 23:00: How To ICFPSocial Events at ICFP Social 2

	22:00 - 23:00 Meeting		How to Use Clowdr at ICFP Social Events Benjamin C. PierceUniversity of Pennsylvania

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

	01:00 - 02:00: Social TimeSocial Events at Clowdr People/Places

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

	01:00 - 02:00: MentoringSocial Events at ICFP Social

	01:00 - 02:00 Talk		Mentoring with Ranjit Jhala Social Events Ranjit JhalaUniversity of California at San Diego, USA

	04:30 - 05:30: Social TimeSocial Events at Clowdr People/Places

	04:30 - 05:30 Social Event		ICFP Social Time Social Events

	04:30 - 05:30: PanelSocial Events at ICFP Social

	04:30 - 05:30 Meeting		Online Lecture Panel Social Events Atsushi IgarashiKyoto University, Japan, Sukyoung RyuKAIST, Ilya SergeyYale-NUS College and National University of Singapore, Alex PotaninVictoria University of Wellington

	10:00 - 10:30: Get HelpSocial Events at Information Desk

	10:00 - 10:30 Other		Information Desk Social Events Stephanie WeirichUniversity of Pennsylvania

	10:30 - 11:30: ExcursionSocial Events at ICFP Private Room

	10:30 - 11:30 Social Event		Virtual Art Gallery Social Events Alan JeffreyMozilla Research

	10:30 - 11:30: CARESSocial Events at ICFP Social 2

	10:30 - 11:00 Meeting		SIGPLAN CARES Social Events David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States

	13:00 - 14:30: Social TimeSocial Events at Clowdr People/Places

	13:00 - 14:30 Social Event		ICFP Social Time Social Events

	13:00 - 13:30: Get HelpSocial Events at Information Desk

	13:00 - 13:30 Other		Information Desk Social Events Stephanie WeirichUniversity of Pennsylvania

	13:30 - 14:30: LGBTQ MeetupSocial Events at ICFP Social

	13:30 - 14:30 Talk		LGBTQ Meetup Social Events David WalkerPrinceton University, USA, Matthew WeaverPrinceton University

	16:30 - 17:30: Social TimeSocial Events at Clowdr People/Places

	16:30 - 17:30 Social Event		ICFP Social Time Social Events

	16:30 - 17:30: ICFP TriviaSocial Events at ICFP Social

	16:30 - 17:30 Social Event		ICFP Triva Social Events Jose CalderonGalois, Inc., Paulette KoronkevichUniversity of British Columbia

	21:00 - 22:30: Social TimeSocial Events at Clowdr People/Places

	21:00 - 22:30 Social Event		ICFP Social Time Social Events

	21:00 - 22:00: CARESSocial Events at ICFP Social 2

	21:00 - 21:30 Meeting		SIGPLAN CARES Social Events David WalkerPrinceton University, USA, Simon Peyton JonesMicrosoft, UK, Alexandra SilvaUniversity College London, Shriram KrishnamurthiBrown University, United States

	21:30 - 22:30: Mind the TitleSocial Events at ICFP Social 3

	21:30 - 22:30 Meeting		Mind the Title Social Events Olivier DanvyYale-NUS College and School of Computing, Singapore

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

	00:00 - 01:00: Social TimeSocial Events at Clowdr People/Places

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

	00:00 - 01:00: MentoringSocial Events at ICFP Social

	00:00 - 01:00 Talk		Mentoring with Guy Steele Social Events Guy L. Steele Jr.Oracle Labs

	04:30 - 05:30: Social TimeSocial Events at Clowdr People/Places

	04:30 - 05:30 Social Event		ICFP Social Time Social Events

	04:30 - 05:30: ProverbsSocial Events at ICFP Social 2

	04:30 - 05:30 Talk		Some Proverbs in Type Theory Social Events Neel KrishnaswamiComputer Laboratory, University of Cambridge

	10:30 - 11:00: Get HelpSocial Events at Information Desk

	10:30 - 11:00 Other		Information Desk Social Events Stephanie WeirichUniversity of Pennsylvania

	13:00 - 14:30: Social TimeSocial Events at Clowdr People/Places

	13:00 - 14:30 Social Event		ICFP Social Time Social Events

	13:00 - 13:30: Get HelpSocial Events at Information Desk

	13:00 - 13:30 Other		Information Desk Social Events Stephanie WeirichUniversity of Pennsylvania

	13:30 - 14:30: Virtualization Feedback 1Social Events at ICFP Social 2

	13:30 - 14:30 Meeting		Virtualization Feedback Social Events Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine

	16:30 - 17:30: Industrial ReceptionSocial Events at ICFP Social

	16:30 - 17:30 Social Event		Industrial Reception Social Events

	21:00 - 22:00: Social TimeSocial Events at Clowdr People/Places

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

	21:00 - 22:00: Virtualization Feedback 2Social Events at ICFP Social 2

	21:00 - 22:00 Meeting		Virtualization Feedback Social Events Benjamin C. PierceUniversity of Pennsylvania, Jonathan BellNortheastern University, Crista LopesUniversity of California, Irvine

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

	00:30 - 01:30: Social TimeSocial Events at Clowdr People/Places

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

	00:30 - 01:30: MentoringSocial Events at ICFP Social

	00:30 - 01:30 Talk		Mentoring with Matthias Felleisen Social Events Matthias FelleisenPLT @ Northeastern University

	04:30 - 05:30: Social TimeSocial Events at Clowdr People/Places

	04:30 - 05:30 Social Event		ICFP Social Time Social Events

	09:00 - 10:00: Career PlanningSocial Events at ICFP Social

	09:00 - 10:00 Meeting		Academic Career Planning During a Crisis Social Events Neel KrishnaswamiComputer Laboratory, University of Cambridge

	14:00 - 18:00: ShutdownPL 1Social Events at ICFP Social

	14:00 - 18:00 Social Event		ShutdownPL: Keynote and Getting Started With Anti-racist Action Social Events Kenny FonerGalois, Niki CarrollGeorge Mason University, Priya SrikumarCornell University, David JustoUniversity of California, San Diego, Justin LubinUniversity of Chicago, Akash Gaonkar, Alan JeffreyMozilla Research

	15:20 - 17:40: ShutdownPL 2Social Events at ICFP Social 4

	15:20 - 17:40 Social Event		ShutdownPL: Accountability Social Events

	15:20 - 17:40: ShutdownPL 3Social Events at ICFP Social 5

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

	15:20 - 17:40: ShutdownPL 4Social Events at ICFP Social 6

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

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

	17:30 - 19:30: FARM PerformanceSocial Events at FARM Performance

	17:30 - 19:30 Social Event		FARM Performance Social Events C: Donya QuickStevens Institute of Technology

Not scheduled yet

Not scheduled yet
Social Event

Coffee Break in Clowdr

Social Events

Social EventsICFP 2020

Events

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Not scheduled yet

Tracks

Workshops

Co-hosted Symposiums

Social EventsICFP 2020

Events

Program Display Configuration

Mon 24 Aug Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 25 Aug Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 26 Aug Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 27 Aug Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 28 Aug Times are displayed in time zone: Eastern Time (US & Canada) change

Not scheduled yet

Mon 24 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Tue 25 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Wed 26 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Thu 27 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change

Fri 28 Aug
Times are displayed in time zone: Eastern Time (US & Canada) change