POPL 2026 (series) / WITS 2026 (series) /
WITS 2026 Program
This is the WITS 2026 program - see the full program for POPL 2026 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sat 17 JanDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
Sat 17 Jan
Displayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 60mKeynote | Lean4Lean: Mechanizing the Metatheory of Lean WITS Mario Carneiro Chalmers University of Technology | ||
10:00 22mTalk | Observing Definitional Equality WITS András Kovács University of Gothenburg and Chalmers University of Technology | ||
11:00 - 12:30 | |||
11:00 22mTalk | Decoupling Resolution from Type Inference WITS Lionel Parreaux Hong Kong University of Science and Technology | ||
11:22 22mTalk | First-Class Refinement Types in Scala WITS Matt Bovel EPFL | ||
11:45 22mTalk | Types as grammars WITS Gil Silva LASIGE, University of Lisbon, Bernardo Almeida LASIGE, Faculty of Sciences, University of Lisbon, Diana Costa LASIGE, University of Lisbon, Andreia Mordido University of Lisbon, Diogo Poças Instituto de Telecomunicações, University of Lisbon, Vasco T. Vasconcelos LASIGE, University of Lisbon | ||
12:07 22mTalk | Omnidirectional type inference for ML WITS Alistair O'Brien University of Cambridge, Didier Rémy Inria, Gabriel Scherer Université Paris Cité - Inria - CNRS | ||
14:00 - 15:30 | |||
14:00 22mTalk | A Dependent Language with Type-Safe Program Extraction WITS Greg Brown University of Edinburgh | ||
14:22 22mTalk | Code Generation via Meta-programming in Dependently Typed Proof Assistants WITS | ||
14:45 22mTalk | Garbage Collection for Higher Inductive Types WITS | ||
15:07 22mTalk | Type Inference Techniques: Implementation and Formalization, Better Together WITS | ||
16:00 - 18:00 | |||
16:00 60mKeynote | Verifying Dependent Type-checkers WITS Meven Lennon-Bertrand Inria – Université Paris Cité | ||
17:00 22mTalk | Type Narrowing the Hard Way WITS | ||
17:23 2mOther | Closing WITS Niki Vazou IMDEA Software Institute | ||