TFP 2026 - Schedule
All TFP talks will take place in Auditorium O100 on SDU’s Odense Campus.
Monday 26 January
TFPiE takes place in room Auditorium U82 on SDU’s Odense Campus.
Tuesday 27 January
| 09:30-10:30 | Lean Highlights Joachim Breitner |
Keynote |
| 10:30-11:00 | Coffee | |
| 11:00-12:00 | Benchmarking a Baseline Fully-in-Place Functional Language Compiler Jaromír Procházka, Vít Šefl, Tomas Petricek Recursion, Iteration, and Circuit Complexity Siddharth Bhaskar |
Talks |
| 12:00-13:30 | Lunch | |
| 13:30-14:30 | On the Design and Implementation of Context-Free Expressions David K. Anthony Fields, Andrés M. Garced, Sophia Turano, Marco T. Morazán AI-Assisted Program Design Using Generative Recursion Marco T. Morazán |
Talks |
| 14:30-15:00 | Coffee | |
| 15:00-16:00 | QuickChecking Finite-State Machines Sophia G. Turano, Andrés M. Garced, David Anthony K. Fields, Marco T. Morazán On Monomorphization (Invited Talk) Matthew Lutze, based on joint work with Philipp Schuster and Jonathan Immanuel Brachthäuser |
Talks |
Wednesday 28 January
| 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 |
Thursday 29 January
| 09:30-10:30 | Programming with Two-Level Type Theory 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-15:00 | Type-Safe Transactional Monadic IO in Java 17 Leonid Meshcheriakov Verification à la Carte: a Textbook on Formally Verified OCaml Programs (Project Paper) Pedro Gasparinho, Mário Pereira Hash Maps in a Functional Array Language William Henrich Due, Martin Elsman, Troels Henriksen |
Talks |