TACT 2025 Schedule

This is the schedule of events to occur on the 2nd of June 2025.

• 10:00 - 10:30: Igor Bakovic: Comma categories and 2-(co)monads in foundations and theoretical computer science
• 10:30 - 11:00: Amartya Shekhar Dubey: Unital k-Restricted Infinity-Operads
• 11:00 - 11:30: Break
• 11:30 - 12:00: Toby St Clere Smithe: AutoBayes: A Compositional Framework for Generalized Variational Inference
• 12:00 - 12:30: Nathaniel Osgood Compositional Public Health: Current Practice and Future Opportunities
• 12:30 - 14:00: Lunch
• 14:00 - 15:00: Keynote Presentation: John Baez - Graphs with Polarities
• 15:00 - 15:30: Break
• 15:30 - 16:00: Luigi Caputi: Reachability categories and commuting algebras of quivers
• 16:00 - 16:30: Eleftherios Chatzitheodoridis: Rational complete Segal spaces
• 16:30 - 17:00: Break
• 17:00 - 17:30: Nathan Haydon: Continued Mathematical Developments in C.S. Peirce’s Philosophy
• 17:30 - 18:00: David Corfield: Type-theoretic expressivism