SMP — PROGRAM

Days: Saturday, 18 July 2026

Saturday, 18 July 2026
09:15-09:30 Opening remarks SmP
Location: C5.02
09:30-10:30 Invited talk I SmP
Location: C5.02
09:30-10:30
Category Theory for Fast Model Checking Algorithms (abstract) 60 min
Ichiro Hasuo1
1 National Institute of Informatics
10:30-11:00 Coffee break SmP
Location: C5.02
11:00-12:30 Contributed talks I SmP
Location: C5.02
11:00-11:30
Game Comonads and Coalgebras (abstract) 30 min
Yoàv Montacute1
1 National Institute of Informatics
11:30-12:00
Monads Distributive Law and Markov Decision Processes (abstract) 30 min
Yun-Chen Tsai1
1 National Institute of Informatics
12:00-12:30
A Categorical Perspective on Kripke Models and Dynamic Epistemic Logic (abstract) 30 min
Haitian Wang1
1 ILLC
12:30-14:00 Lunch SmP
Location: C5.02
14:00-15:00 Invited talk II SmP
Location: C5.02
14:00-15:00
Stone Duality Proofs for Distributed Computability Theorems (abstract) 60 min
Cameron Calk1
1 Laboratoire d’Informatique et Systèmes
15:00-15:30 Coffee break SmP
Location: C5.02
15:30-17:00 Contributed talks II SmP
Location: C5.02
15:30-16:00
Arboreal Adjunctions from Shapes (abstract) 30 min
Gabriel Goren-Roig1
1 Universidad de Buenos Aires & CONICET
16:00-16:30
Comonadic Approach to Hypertree Parameters and Loosely-Guarded Logics (abstract) 30 min
Elias Percy1
1 University of Cambridge
16:30-17:00
NP-completeness, and coherence for associativity (abstract) 30 min
Peter Hines1
1 University of York
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑