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

12:30 - 14:00
LunchCatering & social at Foyer 2 +120h +96h
12:30
90m
Lunch
Lunch
Catering & social

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

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

09:00 - 10:30
KeynoteErlang at Štih
09:00
15m
Day opening
Welcome to the Erlang Workshop
Erlang
Burcu Kulahcioglu Ozkan Delft University of Technology, Stavros Aronis Erlang Solutions, Sweden
09:15
75m
Keynote
eqWAlizer - Scaling Erlang development at WhatsApp with static typing
Erlang
10:30 - 11:00
Coffee breakCatering & social at Foyer 2
10:30
30m
Coffee break
Coffee break
Catering & social

11:00 - 12:30
Session 1Erlang at M1
11:00
45m
Talk
A Reliability Benchmark for Actor-Based Server Languages
Erlang
Aidan Randtoul University of Glasgow, Phil Trinder University of Glasgow
11:45
45m
Talk
CAEFL: Composable and Environment Aware Federated Learning Models
Erlang
Ruomeng (Cocoa) Xu University of Glasgow, Anna Lito Michala University of Glasgow, Phil Trinder University of Glasgow
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

14:00 - 15:30
Session 2Erlang at M1
14:00
45m
Talk
Executable Contracts for Elixir
Erlang
Sergio Perez Rubio Universitat Politècnica de València, Luis Eduardo Bueso de Barrio Universidad Politécnica de Madrid, Ignacio Ballesteros Universidad Politécnica de Madrid, Ángel Herranz Universidad Politécnica de Madrid, Clara Benac Earle Universidad Politécnica de Madrid, Lars-Åke Fredlund Universidad Politécnica de Madrid, Julio Mariño Universidad Politécnica de Madrid
14:45
45m
Talk
Troubleshooting the Performance of a Large Erlang System
Erlang
Nikos Tsikoudis Datometry, Marc Sugiyama Nova Labs
15:30 - 16:00
Coffee breakCatering & social at Foyer 2
15:30
30m
Coffee break
Coffee break
Catering & social

16:00 - 17:30
Session 3Erlang at M1
16:00
45m
Talk
InfERL: Scalable and Extensible Erlang Static Analysis
Erlang
Ákos Hajdu Meta, Matteo Marescotti Facebook, Inc., Thibault Suzanne Meta, Ke Mao Meta, Radu Grigore Facebook, Per Gustafsson Meta, Dino Distefano Facebook London
16:45
45m
Other
Lightning talks
Erlang

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