ICFP 2022 (series) / HOPE 2022 (series) /
HOPE 2022 Program
This is the HOPE 2022 program - see the full program for ICFP 2022 and all affiliated events.
Filter Program
Dates
Sun 11 Sep 2022
Mon 12 Sep 2022
Tue 13 Sep 2022
Wed 14 Sep 2022
Thu 15 Sep 2022
Fri 16 Sep 2022
Rooms
E2
E6
Foyer 2
Gostilna Breg
Kongresni trg
Linhart
Ljubljana Zoo
Ljubljana castle
M1
Tracks
HOPE
ICFP Catering & social
Badges
Virtual
Your Program
Nothing to filter
Sun 11 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 60mRegistration | Registration Catering & social | ||
09:00 - 10:30 | |||
09:00 30mTalk | Lift Inference for Lexical Effect Handlers with Second-Class Functions HOPE Marius Müller University of Tübingen, Philipp Schuster University of Tübingen, Jonathan Immanuel Brachthäuser University of Tübingen, Klaus Ostermann University of Tübingen | ||
09:30 30mTalk | Higher order programming with probabilistic effects: A model of stochastic memoization and name generation HOPE | ||
10:00 30mTalk | Effect Handlers in Scope, EvidentlyVirtual HOPE File Attached | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social | ||
11:00 - 12:30 | |||
11:00 30mTalk | Relative Monads in CBPV for Stack-based Effects HOPE Max S. New University of Michigan | ||
11:30 30mTalk | 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 30mTalk | 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 | |||
12:30 90mLunch | Lunch Catering & social | ||
14:00 - 15:30 | |||
14:00 30mTalk | Flexibly graded monads and graded algebras HOPE File Attached | ||
14:30 30mTalk | 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 | |||
15:30 30mCoffee break | Coffee break Catering & social | ||
16:00 - 17:30 | |||
16:00 30mTalk | Dependent Temporal Type-and-Effect System with Delimited Continuations HOPE | ||
16:30 30mTalk | 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 30mTalk | Verifying non-terminating programs with IO in F* HOPE Cezar-Constantin Andrici MPI-SP, Théo Winterhalter MPI-SP, Cătălin Hriţcu MPI-SP, Exequiel Rivas Tallinn University of Technology Pre-print File Attached | ||
Mon 12 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 50mRegistration | Registration Catering & social | ||
08:50 - 09:00 | |||
08:50 10mDay opening | Welcome Catering & social | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social | ||
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social | ||
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social | ||
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social | ||
19:00 - 20:00 | |||
19:00 60mSocial Event | Guided tour of Ljubljana Catering & social | ||
20:00 - 22:00 | |||
20:00 2hSocial Event | Reception & SRC poster presentation Catering & social | ||
Tue 13 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 60mRegistration | Registration Catering & social | ||
10:00 - 10:30 | |||
10:00 30mCoffee break | Coffee break Catering & social | ||
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social | ||
15:20 - 15:50 | |||
15:20 30mSocial 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 | |||
15:20 30mCoffee break | Coffee break Catering & social | ||
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social | ||
18:30 - 21:00 | |||
18:30 2h30mDinner | Women@ICFP Catering & social | ||
Wed 14 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
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 60mRegistration | Registration Catering & social | ||
10:00 - 10:30 | |||
10:00 30mSocial 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 | |||
10:00 30mCoffee break | Coffee break Catering & social | ||
12:10 - 13:40 | |||
12:10 90mLunch | Lunch Catering & social | ||
15:20 - 15:50 | |||
15:20 30mCoffee break | Coffee break Catering & social | ||
16:50 - 17:00 | |||
16:50 10mBreak | Break Catering & social | ||
Thu 15 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Thu 15 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social | ||
17:30 - 20:00 | |||
17:30 2h30mSocial Event | Industrial reception Catering & social | ||
Fri 16 SepDisplayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
Fri 16 Sep
Displayed time zone: Belgrade, Bratislava, Budapest, Ljubljana, Prague change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Catering & social | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social | ||
12:30 - 14:00 | |||
12:30 90mSocial Event | OCaml Industry Lunch Catering & social | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social | ||
15:30 - 16:00 | |||
15:30 30mCoffee 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 2hSocial Event | OCaml & farewell reception Catering & social | ||