ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Dates
Rooms
Tracks
Badges
Your Program
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

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
HOPE Session 2HOPE at M1
11:00
30m
Talk
Relative Monads in CBPV for Stack-based Effects
HOPE
Max S. New University of Michigan
11:30
30m
Talk
Temporal refinements for Call-By-Push-Value with fixpoint
HOPE
Guilhem Jaber University of Nantes, Kenji Maillard Inria Nantes & University of Chile, Colin Riba LIP - ENS de Lyon
File Attached
12:00
30m
Talk
On Reinforcement Learning, Effect Handlers, and the State Monad
HOPE
Ugo Dal Lago University of Bologna; Inria, Alexis Ghyselen University of Bologna, Francesco Gavazzo University of Bologna & INRIA Sophia Antipolis
12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

14:00 - 15:30
HOPE Session 3HOPE at M1
14:00
30m
Talk
Flexibly graded monads and graded algebras
HOPE
Dylan McDermott Reykjavik University, Tarmo Uustalu Reykjavik University
File Attached
14:30
30m
Talk
Monadic Semantics of Bidirectional Effects
HOPE
Youyou Cong Tokyo Institute of Technology, Shin-ya Katsumata National Institute of Informatics, Kazuki Niimi Axell Corporation, Jonathan Immanuel Brachthäuser University of Tübingen
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
HOPE Session 4HOPE at M1
16:00
30m
Talk
Dependent Temporal Type-and-Effect System with Delimited Continuations
HOPE
Taro Sekiyama National Institute of Informatics, Hiroshi Unno University of Tsukuba; RIKEN AIP
16:30
30m
Talk
Enabling Safe Shared-Memory Interoperability in WebAssemblyVirtual
HOPE
Michael Fitzgibbons Northeastern University (USA), Zoe Paraskevopoulou Northeastern University, Noble Mushtak Northeastern University, Amal Ahmed Northeastern University, USA
17:00
30m
Talk
Verifying non-terminating programs with IO in F*
HOPE
Cezar-Constantin Andrici MPI-SP, Theo Winterhalter MPI-SP, Cătălin Hriţcu MPI-SP, Exequiel Rivas Tallinn University of Technology
Pre-print File Attached

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