ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 11 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2 +120h +48h +96h +72h

All speakers speaking in the morning session should arrive early to submit the slides. We recommend that you arrive already at 8:00.

08:00
60m
Registration
Registration
Catering & social

09:00 - 10:30
Opening SessionPLMW @ ICFP at Kosovel
09:00
45m
Other
Opening Remarks
PLMW @ ICFP
Kristopher Micinski Syracuse University
09:45
45m
Talk
How to thrive as a PhD student
PLMW @ ICFP
Sam Westrick Carnegie Mellon University
10:30 - 11:00
Coffee breakCatering & social at Foyer 2 +96h +120h
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
Topics of Interest and Navigating a PhDPLMW @ ICFP at Kosovel
11:00
45m
Panel
Formal Methods: Theory and Practice
PLMW @ ICFP
Thomas Gilray University of Alabama at Birmingham, Nadia Polikarpova University of California at San Diego, Niki Vazou IMDEA Software Institute, Mike Dodds Galois, Inc., Kristopher Micinski Syracuse University, Daan Leijen Microsoft Research
11:45
45m
Talk
Getting the Most Out of ICFP
PLMW @ ICFP
Paulette Koronkevich University of British Columbia
12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
Learning about Lean and yourselfPLMW @ ICFP at Kosovel
14:00
45m
Talk
Introduction to Lean
PLMW @ ICFP
Sebastian Ullrich Karlsruhe Institute of Technology, David Thrane Christiansen The Haskell Foundation
14:45
45m
Talk
How Can I Academia When My Brain Can't Even? Mental Health in Grad School and Beyond
PLMW @ ICFP
15:30 - 16:00
Coffee breakCatering & social at Foyer 2 +96h +120h
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Closing SessionPLMW @ ICFP at Kosovel
16:00
90m
Talk
How to Write Papers and Give Talks That People Can Follow
PLMW @ ICFP
Derek Dreyer MPI-SWS

Mon 12 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 08:50
RegistrationCatering & social at Foyer 2

If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00
50m
Registration
Registration
Catering & social

08:50 - 09:00
08:50
10m
Day opening
Welcome
Catering & social
G: Andrej Bauer University of Ljubljana
10:00 - 10:30
Coffee breakCatering & social at Foyer 2 +48h +24h
10:00
30m
Coffee break
Coffee break
Catering & social

12:10 - 13:40
LunchCatering & social at Foyer 2 +24h +48h
12:10
90m
Lunch
Lunch
Catering & social

15:20 - 15:50
Coffee breakCatering & social at Foyer 2 +48h +24h
15:20
30m
Coffee break
Coffee break
Catering & social

16:50 - 17:00
BreakCatering & social at Foyer 2 +48h +24h
16:50
10m
Break
Break
Catering & social

19:00 - 20:00
Guided tour of LjubljanaCatering & social at Kongresni trg
19:00
60m
Social Event
Guided tour of Ljubljana
Catering & social

20:00 - 22:00
Reception & SRC poster presentationCatering & social at Ljubljana castle
20:00
2h
Social Event
Reception & SRC poster presentation
Catering & social

Tue 13 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2

If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00
60m
Registration
Registration
Catering & social

10:00 - 10:30
Coffee breakCatering & social at Foyer 2
10:00
30m
Coffee break
Coffee break
Catering & social

12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering & social

15:20 - 15:50
CARES sessionCatering & social at E6 +18h40min
15:20
30m
Social Event
CARES session
Catering & social
C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania
15:20 - 15:50
Coffee breakCatering & social at Foyer 2
15:20
30m
Coffee break
Coffee break
Catering & social

16:50 - 17:00
16:50
10m
Break
Break
Catering & social

18:30 - 21:00
Women@ICFP dinnerCatering & social at Gostilna Breg
18:30
2h30m
Dinner
Women@ICFP
Catering & social
O: Anja Petković Komel TU Wien, Vienna, Austria

Wed 14 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2

If you are a speaker in the first morning session you should submit your slides the day before, or arrive early in the morning to submit, preferrably already at 8:00.

08:00
60m
Registration
Registration
Catering & social

10:00 - 10:30
CARES sessionCatering & social at E6
10:00
30m
Social Event
CARES session
Catering & social
C: Gabriele Keller Utrecht University, C: Simon Peyton Jones Epic Games , C: Stephanie Weirich University of Pennsylvania
10:00 - 10:30
Coffee breakCatering & social at Foyer 2
10:00
30m
Coffee break
Coffee break
Catering & social

12:10 - 13:40
12:10
90m
Lunch
Lunch
Catering & social

15:20 - 15:50
Coffee breakCatering & social at Foyer 2
15:20
30m
Coffee break
Coffee break
Catering & social

16:50 - 17:00
16:50
10m
Break
Break
Catering & social

Thu 15 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

17:30 - 20:00
Industrial receptionCatering & social at Foyer 2
17:30
2h30m
Social Event
Industrial reception
Catering & social

Fri 16 Sep

Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change

08:00 - 09:00
RegistrationCatering & social at Foyer 2
08:00
60m
Registration
Registration
Catering & social

10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

12:30 - 14:00
OCaml Industry LunchCatering & social at E2
12:30
90m
Social Event
OCaml Industry Lunch
Catering & social

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering & social

15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

19:00 - 21:00
OCaml & farewell receptionCatering & social at Ljubljana Zoo

See event details for information on travel and free zoo entry.

19:00
2h
Social Event
OCaml & farewell reception
Catering & social