TFP 2026 - Preliminary Schedule

Monday 26 January

09:30-10:30	Lean Highlights Joachim Breitner	Keynote
10:30-11:00		Coffee
11:00-12:00	Hash Maps in a Functional Array Language William Henrich Due, Martin Elsman, Troels Henriksen Benchmarking a Baseline Fully-in-Place Functional Language Compiler Jaromír Procházka, Vít Šefl, Tomas Petricek	Talks
12:00-13:30		Lunch
13:30-14:30	Recursion, Iteration, and Circuit Complexity Siddharth Bhaskar AI-Assisted Program Design Using Generative Recursion Marco T. Morazán	Talks
14:30-15:00		Coffee
15:00-16:00	Invited Talks, TBA	Invited Talks

09:30-10:30	Synthetic Convolution Ohad Kammar	Keynote
10:30-11:00		Coffee
11:00-12:00	Run-Time Identity Functions in a Quantitative Type Theory Jose Carlos Padilla Cancio, Jesper Cockx, Bohdan Liesnikov Deep Induction for Inductive-Inductive Types Patricia Johann, Ben Lenox	Talks
12:00-13:30		Lunch
13:30-14:30	Assorted Types and a Type Class Default Mechanism for Type Ambiguities in Haskell Koji Kagawa Mutually-Recursive Definition Builders Kazutaka Matsuda	Talks
14:30-16:00		Break
16:00-18:00	H.C. Andersen’s Hus	Excursion
19:00-21:00	Madklubben	Banquet

09:30-10:30	TBA András Kovács	Keynote
10:30-11:00		Coffee
11:00-12:00	Push-Pull Modal Functional Reactive Programming Lasse Faurby Klausen, Philip Kristian Møller Flyvholm, Patrick Bahr Towards a Practical Framework for Using Functional Reactive Programming in Robotics Arne Duyver, Kris Aerts, Nikolaos Tsiogkas	Talks
12:00-13:30		Lunch
13:30-14:30	Verification à la Carte: a Textbook on Formally Verified OCaml Programs (Project Paper) Pedro Gasparinho, Mário Pereira QuickChecking Finite-State Machines Sophia G. Turano, Andrés M. Garced, David Anthony K. Fields, Marco T. Morazán	Talks
14:30-15:00		Coffee
16:00-18:00	On the Design and Implementation of Context-Free Expressions David K. Anthony Fields, Andrés M. Garced, Sophia Turano, Marco T. Morazán Invited Talk, TBA	Talks