SMP — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
09:15-09:30
Opening remarks
SmP
09:30-10:30
Invited talk
SmP
| 09:30-10:30 |
TBA (abstract) 60 min
1 National Institute of Informatics
|
10:30-11:00
Coffee break
SmP
11:00-12:30
Contributed talk
SmP
| 11:00-11:30 |
TBA (abstract) 30 min
1 National Institute of Informatics
|
| 11:30-12:00 |
Monads Distributive Law and Markov Decision Processes (abstract) 30 min
1 National Institute of Informatics
|
| 12:00-12:30 |
A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic (abstract) 30 min
1 ILLC
|
11:00-12:30
Contributed talks I
SmP
| 11:00-11:30 |
Monads Distributive Law and Markov Decision Processes (abstract) 30 min
1 National Institute of Informatics
|
| 11:30-12:00 |
A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic (abstract) 30 min
1 ILLC
|
11:30-12:00
Contributed talk
SmP
| 11:30-12:00 |
Monads Distributive Law and Markov Decision Processes (abstract) 30 min
1 National Institute of Informatics
|
12:00-12:30
Contributed talk
SmP
| 12:00-12:30 |
A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic (abstract) 30 min
1 ILLC
|
12:30-14:00
Lunch
SmP
Location:
C5.02
14:00-15:00
Invited talk
SmP
| 14:00-15:00 |
TBA (abstract) 60 min
1 Laboratoire d’Informatique et Systèmes
|
15:00-15:30
Coffee break
SmP
15:30-17:00
Contributed talk
SmP
| 15:30-16:00 |
Comonadic Approach to Hypertree Parameters and Loosely-Guarded Logics (abstract) 30 min
1 University of Cambridge
|
| 16:00-16:30 |
Arboreal Adjunctions from Shapes (abstract) 30 min
1 Universidad de Buenos Aires & CONICET
|
| 16:30-17:00 |
NP-completeness, and coherence for associativity (abstract) 30 min
1 University of York
|
16:00-16:30
Contributed talk
SmP
| 16:00-16:30 |
Arboreal Adjunctions from Shapes (abstract) 30 min
1 Universidad de Buenos Aires & CONICET
|
16:30-17:00
Contributed talk
SmP
| 16:30-17:00 |
NP-completeness, and coherence for associativity (abstract) 30 min
1 University of York
|