MSFP — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
09:00-10:00
Invited Talk 1
MSFP
Location:
C5.01
| 09:00-10:00 |
Equational theories for scoped effects (abstract) 60 min
1 University of Birmingham
|
10:00-10:45
Coffee Break
MSFP
Location:
C5.01
10:45-12:00
Contributed Talks 1
MSFP
Location:
C5.01
| 10:45-11:10 |
Effects with Variable Binding (abstract) 25 min
1 Delft University of Technology
2 University of Southern Denmark
3 Imperial College London
|
| 11:10-11:35 |
Free Semiarrows (abstract) 25 min
1 Fatec Rubens Lara
2 Obsidian Systems
|
| 11:35-12:00 |
A Type Theory for Comprehension Categories (abstract) 25 min
1 École Polytechnique
2 Radboud University
3 Delft University of Technology
4 Utrecht University
|
12:00-13:15
Lunch
MSFP
Location:
C5.01
13:15-14:15
Invited Talk 2
MSFP
Location:
C5.01
| 13:15-14:15 |
Structural Functoriality in Dependent Type Theory (abstract) 60 min
1 Inria
|
14:15-15:30
Contributed Talks 2
MSFP
Location:
C5.01
| 14:15-14:40 |
Mathematical foundations for symmetric programming (abstract) 25 min
1 University of Edinburgh
2 University of Ljubljana
|
| 14:40-15:05 |
Towards Minimal Axioms for Probabilistic Programming (abstract) 25 min
1 Tallinn University of Technology
|
| 15:05-15:30 |
Categorical E-Graphs for Lambda Calculi (abstract) 25 min
1 University of Birmingham
2 Kyoto University
|
15:30-16:10
Coffee Break
MSFP
Location:
C5.01
16:10-17:00
Contributed Talks 3
MSFP
Location:
C5.01
| 16:10-16:35 |
Symmetric List Objects (abstract) 25 min
1 University of Strathclyde
|
| 16:35-17:00 |
Concurrent monads as monads in a 2-category (abstract) 25 min
1 University of Iceland
2 Tallinn University of Technology
3 Reykjavik University and Tallinn University of Technology
|