Programme

All times are Salzburg local time (CEST), which is UTC+2.

Monday, 30. August 2021

CALCO starts on Tuesday
Time MFPS
11:45 – 12:00 Welcoming Coffee Break
12:00 – 13:00
Invited Talk (Chair: Ana Sokolova)
Krishna S.
Verification of Concurrent Programs under Release Acquire
13:00 – 13:15 Coffee Break
13:15 – 15:15
Special Session on Probabilistic Programming Semantics (Chair: Bart Jacobs)
Sam Staton
Tutorial on Compositional Conditioning in Probabilistic Programming
Tobias Fritz
Categorical Probability as Synthetic Probability
Alex Simpson
Reasoning About Independence and Equivalence
15:15 – 15:30 Coffee Break
15:30 – 17:25 PROBABILITY & MONADS (Chair: Jurriaan Rot)
Bart Jacobs
Learning from What’s Right and Learning from What’s Wrong
Swaraj Dash and Sam Staton
Monads for Measurable Queries in Probabilistic Databases
Bart Jacobs
Multinomial and Hypergeometric Distributions in Markov Categories
Daniela Petrisan and Ralph Sarkis
Semialgebras and Weak Distributive Laws
Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino and Alexandra Silva
Canonical Automata via Distributive Law Homomorphisms

Tuesday, 31. August 2021

Time CALCO
13:00 – 13:30 Welcoming Coffee Break
13:30 – 15:00 MONADS (Chair: Fabio Gadducci)
Giorgio Bacci, Radu Mardare, Prakash Panangaden and Gordon Plotkin
Winner of the best paper award
Chase Ford, Stefan Milius and Lutz Schröder
Xiaodong Jia, Michael Mislove and Vladimir Zamdzhiev
Filippo Bonchi, Ana Sokolova and Valeria Vignudelli
15:00 – 15:30 Coffee Break
15:30 – 16:15 LOGICS & TYPES (Chair: Elaine Pimentel)
Jean-Simon Lemay
Georgi Nakov and Fredrik Nordvall Forsberg
16:15 – 16:45 Coffee Break
16:45 – 17:45
Invited Talk (Chair: Stefan Milius)
Valeria De Paiva
Dialectica Comonads
Time MFPS
12:00 – 13:00
Invited Talk (Chair: Helle Hvid Hansen)
Amina Doumane
Non-Axiomatizability of the Equational Theories of Positive Relation Algebras
13:00 – 13:15 Coffee Break
13:15 – 15:15
Special Session on Categorical Type Theory (Chair: Henning Basold)
Paul-André Melliès
Template Games: A Categorical Combinatorics of Scheduling and Synchronisation
Noam Zeilberger
Fibrational Views on Typing, Proving and Parsing
Niccolò Veltri
Deductive Systems for Categories with Skew Structure
Raphaëlle Crubillé
Free Exponential Modality for Probabilistic Semantics
15:15 – 15:30 Coffee Break
15:30 – 17:00 TYPES (Chair: Justin Hsu)
Rasmus Ejlers Møgelberg and Andrea Vezzosi
Two Guarded Recursive Powerdomains for Applicative Simulation
Eric Finster, Samuel Mimram, Maxime Lucas and Thomas Seiller
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
Ugo De’Liguoro and Riccardo Treglia
From Semantics to Types: The Case of the Imperative of Lambda-Calculus
Sandra Alves and Miguel Ramos
An ML-Style Record Calculus with Extensible Records

Wednesday, 1. September 2021

Time MFPS
12:30 – 14:00 GAMES & SEMANTICS (Chair: Paul Blain Levy)
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada and Ichiro Hasuo
A Compositional Approach to Parity Games
Mathys Rennela and Robin Kaarsgaard
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
Samuel Mimram and Aly-Bora Ulusoy
Syntactic Regions for Concurrent Programs
Louis Lemonnier, Kostia Chardonnet and Benoît Valiron
Categorical Semantics of Reversible Pattern-Matching
Time CALCO & MFPS
14:00 – 14:30 Coffee Break
14:30 – 16:30
Joint Special Session on Termination Analysis and Synthesis (Chair: Ana Sokolova)
Florian Zuleger
Automated Termination and Complexity Analysis
Zachary Kincaid
Robust Termination Analysis
Azadeh Farzan
Liveness Proofs for Concurrent Programs
16:30 – 16:45 Coffee Break
16:45 – 17:45
Joint Invited Talk (Chair: Daniela Petrisan)
Eugenia Cheng
Distributive Laws for Lawvere Theories
18:00 – 19:00 Salzburg Online Tour
19:00 – 21:00 Gather Town Social Event

Thursday, 2. September 2021

Time CALCO
12:00 – 13:00
Invited Talk (Chair: Markus Roggenbach)
Holger Giese
13:00 – 13:30 Coffee Break
13:30 – 15:00 BISIMILARITY & MINIMISATION (Chair: Michele Loreti)
Jos Baeten, Cesare Carissimo and Bas Luttik
Clemens Grabmayer
Koko Muroya, Takahiro Sanada and Natsuki Urabe
Thorsten Wißmann
15:00 – 15:30 Coffee Break
15:30 – 17:00 ALGEBRAS & DOCTRINES (Chair: Thorsten Wißmann)
Jiri Adamek, Stefan Milius and Larry Moss
Jiri Adamek and Jiri Rosicky
Filippo Bonchi, Alessio Santamaria, Jens Seeber and Paweł Sobociński
Davide Castelnovo and Marino Miculan
Time MFPS
12:00 – 13:00
Invited Talk (Chair: Stefan Milius)
Shin-ya Katsumata
Divergences on Computational Effects for Relational Program Logics
13:00 – 13:15 Coffee Break
13:15 – 15:15
Special Session on String Diagrams (Chair: Tobias Fritz)
Pawel Sobocinski
Introduction to String Diagrams as Resource Sensitive Syntax
Filippo Bonchi
Interacting Hopf Algebras: The Theory of Linear Systems
Brendan Fong
Relations and Regular Logic
Fabio Zanasi
Learning with Lenses – A Case Study in String Diagrams
15:15 – 15:30 Coffee Break
15:30 – 17:25 LOGICS, ALGEBRAS & COALGEBRAS (Chair: Tarmo Uustalu)
Giulio Fellin and Peter Schuster
A General Glyvenko-Gödel Theorem for Nuclei
Tom de Jong
Sharp Elements and the Scott Topology of Continuous Dcpos
Niccolò Veltri and Niels Voorneveld
Inductive and Coinductive Predicate Liftings for Effectful Programs
Nick Hu and Jamie Vicary
Traced Monoidal Categories as Algebraic Structures in Prof
Todd Schmid, Alexandra Silva and Jurriaan Rot
On Star Expressions and Coalgebraic Completeness Theorems
17:25 – 17:40 Closing Coffee Break

Friday, 3. September 2021

Time CALCO
12:00 – 13:00
Invited Talk (Chair: Alexandra Silva)
Viktor Vafeiadis
13:00 – 13:30 Coffee Break
13:30 – 15:00 COALGEBRAS & DIAGRAMS (Chair: Alex Simpson)
Richard Garner
Filippo Bonchi, Alessandro Di Giorgio and Fabio Zanasi
Fredrik Dahlqvist and Todd Schmid
Tao Gu and Fabio Zanasi
15:00 – 15:30 Coffee Break
15:30 – 16:15 COMPOSITIONALITY & ORDERS (Chair: Marie Kerjean)
Jade Master
Ana Sokolova and Harald Woracek
Nawrotzki’s Algorithm for the Countable Splitting Lemma, Constructively
Winner of the best presentation award
16:15 – 16:45 Closing Coffee Break
MFPS ends on Thursday