TFP 2026 - Schedule
Monday 26 January
TFPiE takes place in room Auditorium U82 on SDU’s Odense Campus.
| 09:00-09:30 | Registration | Registration |
| 09:30-10:30 | Generating feedback from rewrite strategies for interactive exercises Alex Gerdes |
Keynote |
| 10:30-11:00 | Coffee | |
| 11:00-12:00 | Automatically Generating Programming Exercises with Open-Source LLMs: Integrating Lecture Slides and Learning Objectives Marc Bessa Hoffmann, Daniel Rashedi, and Sibylle Schupp Integrating artificial intelligence, computational modeling, and functional paradigms in medical education: towards a methodological Roberto Pagliarini |
Talks |
| 12:00-12:30 | Lunch | |
| 13:30-15:00 | Unit Testing for Regular Expressions Marco T. Morazán and Andres Garced Design Recipes + Video Game Development = Success in CS1 Marco T. Morazán, Andres Garced, David Anthony Fields, and Sophia G. Turano A Recipe for Writing Inductive Proofs (in Intro to Theory of Computation courses) Stephen Chang |
Talks |
Tuesday 27 January
TFP takes place in Auditorium O100 on SDU’s Odense Campus.
| 09:00-09:30 | Registration | Registration |
| 09:30-10:30 | Lean Highlights Joachim Breitner Session chair: Casper Bach |
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 Session chair: Matthew Lutze |
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 Session chair: Kazutaka Matsuda |
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 Session chair: Koji Kagawa |
Talks |
Wednesday 28 January
Auditorium O100 on SDU’s Odense Campus.
| 09:30-10:30 | Synthetic Convolution Ohad Kammar Session chair: Troels Henriksen |
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 Session chair: Patrick Bahr |
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 Session chair: Mart Lubbers |
Talks |
| 14:30-15:30 | Break | |
| 15:30-17:00 | H.C. Andersen’s Hus | Excursion |
| 19:00-21:00 | Madklubben | Banquet |
Thursday 29 January
Auditorium O100 on SDU’s Odense Campus.
| 09:30-10:30 | Programming with Two-Level Type Theory András Kovács Session chair: Siddharth Bhaskar |
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 Session chair: Marco Nikander |
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 Session chair: Casper Bach |
Talks |