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