ICFP 2022 (series) / Haskell 2022 (series) /
Haskell 2022 Program
This is the Haskell 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 | ||
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 | ||
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 | ||
09:00 - 10:30 | |||
09:20 10mDay opening | Welcome Haskell Nadia Polikarpova University of California at San Diego | ||
09:30 60mKeynote | Cause and Effect(s): Towards a More Programmable Haskell Haskell Rob Rix GitHub, Inc. | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social | ||
11:00 - 12:30 | |||
11:00 30mTalk | Coinduction Inductively: Mechanizing Coinductive Proofs in Liquid Haskell Haskell Lykourgos Mastorou National Technical University of Athens, Nikolaos Papaspyrou National Technical University of Athens, Niki Vazou IMDEA Software Institute | ||
11:30 30mTalk | How to Safely Use Extensionality in Liquid Haskell Haskell | ||
12:00 30mTalk | Liquid Proof Macros Haskell Henry Blanchette , Niki Vazou IMDEA Software Institute, Leonidas Lampropoulos University of Maryland, College Park | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social | ||
14:00 - 15:30 | |||
14:00 30mTalk | A Totally Predictable Outcome: An Investigation of Traversals of Infinite Structures Haskell Gershom Bazerman Arista Networks | ||
14:30 30mTalk | Open Transactional Actions: Interacting with non-transactional resources in STM Haskell Haskell Jonathas Augusto de Oliveira Conceição Universidade Federal de Pelotas, André Rauber Du Bois Universidade Federal de Pelotas, Gerson Cavalheiro Universidade Federal de Pelotas, Samuel Feitosa Universidade Federal da Fronteira Sul, Rodrigo G. Ribeiro Federal University of Ouro Preto | ||
15:00 30mTalk | Staging Regular Expressions with Moore Cayley Fusion Haskell | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social | ||
16:00 - 17:30 | |||
16:00 90mLive Q&A | GHC Proposal Presentations Haskell S: Joachim Breitner Epic Games , Gergo Erdi Standard Chartered Bank, Andreas Klebinger , Matthías Páll Gissurarson Chalmers University of Technology, Sweden File Attached | ||
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 | ||
09:00 - 10:30 | |||
09:30 60mKeynote | Industrial Strength Laziness: What's Next? Haskell David Thrane Christiansen The Haskell Foundation | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Coffee break Catering & social | ||
11:00 - 12:30 | |||
11:00 30mTalk | Investigating Magic Numbers: Improving the Inlining Heuristic in the Glasgow Haskell Compiler Haskell Celeste Hollenbeck University of Edinburgh, Michael F. P. O'Boyle University of Edinburgh, Michel Steuwer University of Edinburgh | ||
11:30 30mTalk | Partial Type Constructors in Practice Haskell Apoorv Ingle University of Iowa, Alex Hubers The University of Iowa, J. Garrett Morris The University of Iowa | ||
12:00 30mTalk | Reasonable Agda is Correct Haskell: Writing Verified Haskell using agda2hs Haskell Jesper Cockx TU Delft, Lucas Escot TU Delft, Orestis Melkonian University of Edinburgh, James Chapman Input Output, Ulf Norell Gothenburg University Pre-print File Attached | ||
12:30 - 14:00 | |||
12:30 90mSocial Event | OCaml Industry Lunch Catering & social | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering & social | ||
14:00 - 15:30 | |||
14:00 30mTalk | Embedded Pattern Matching Haskell | ||
14:30 30mDemonstration | Eiger: Auditable, executable, flexible legal regulations Haskell | ||
15:00 30mDay closing | PC Chair Report Haskell Nadia Polikarpova University of California at San Diego | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Coffee break Catering & social | ||
16:00 - 17:30 | Demos + DiscussionsHaskell at Kosovel Chair(s): Nadia Polikarpova University of California at San Diego | ||
16:00 90mMeeting | Demos Haskell Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Makoto Hamana Gunma University, Japan, David Thrane Christiansen The Haskell Foundation, Jesper Cockx TU Delft, Lisa Vasilenko IMDEA Software Institute, Orestis Melkonian University of Edinburgh | ||
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 | ||