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)
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)
|
Tutorial on Compositional Conditioning in Probabilistic Programming
|
|
Categorical Probability as Synthetic Probability
|
|
Reasoning About Independence and Equivalence
|
|
15:15 – 15:30 | Coffee Break |
15:30 – 17:25 | PROBABILITY & MONADS (Chair: Jurriaan Rot) |
Learning from What’s Right and Learning from What’s Wrong
|
|
Monads for Measurable Queries in Probabilistic Databases
|
|
Multinomial and Hypergeometric Distributions in Markov Categories
|
|
Semialgebras and Weak Distributive Laws
|
|
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) |
Winner of the best paper award
|
|
15:00 – 15:30 | Coffee Break |
15:30 – 16:15 | LOGICS & TYPES (Chair: Elaine Pimentel) |
16:15 – 16:45 | Coffee Break |
16:45 – 17:45 |
Invited Talk (Chair: Stefan Milius)
Dialectica Comonads
|
Time | MFPS |
12:00 – 13:00 |
Invited Talk (Chair: Helle Hvid Hansen)
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)
|
Template Games: A Categorical Combinatorics of Scheduling and Synchronisation
|
|
Fibrational Views on Typing, Proving and Parsing
|
|
Deductive Systems for Categories with Skew Structure
|
|
Free Exponential Modality for Probabilistic Semantics
|
|
15:15 – 15:30 | Coffee Break |
15:30 – 17:00 | TYPES (Chair: Justin Hsu) |
Two Guarded Recursive Powerdomains for Applicative Simulation
|
|
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory
|
|
From Semantics to Types: The Case of the Imperative of Lambda-Calculus
|
|
An ML-Style Record Calculus with Extensible Records
|
Wednesday, 1. September 2021
Time | MFPS |
12:30 – 14:00 | GAMES & SEMANTICS (Chair: Paul Blain Levy) |
A Compositional Approach to Parity Games
|
|
Join Inverse Rig Categories for Reversible Functional Programming, and Beyond
|
|
Syntactic Regions for Concurrent Programs
|
|
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)
|
Automated Termination and Complexity Analysis
|
|
Robust Termination Analysis
|
|
Liveness Proofs for Concurrent Programs
|
|
16:30 – 16:45 | Coffee Break |
16:45 – 17:45 |
Joint Invited Talk (Chair: Daniela Petrisan)
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)
|
13:00 – 13:30 | Coffee Break |
13:30 – 15:00 | BISIMILARITY & MINIMISATION (Chair: Michele Loreti) |
15:00 – 15:30 | Coffee Break |
15:30 – 17:00 | ALGEBRAS & DOCTRINES (Chair: Thorsten Wißmann) |
Time | MFPS |
12:00 – 13:00 |
Invited Talk (Chair: Stefan Milius)
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)
|
Introduction to String Diagrams as Resource Sensitive Syntax
|
|
Interacting Hopf Algebras: The Theory of Linear Systems
|
|
Relations and Regular Logic
|
|
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) |
A General Glyvenko-Gödel Theorem for Nuclei
|
|
Sharp Elements and the Scott Topology of Continuous Dcpos
|
|
Inductive and Coinductive Predicate Liftings for Effectful Programs
|
|
Traced Monoidal Categories as Algebraic Structures in Prof
|
|
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)
|
13:00 – 13:30 | Coffee Break |
13:30 – 15:00 | COALGEBRAS & DIAGRAMS (Chair: Alex Simpson) |
15:00 – 15:30 | Coffee Break |
15:30 – 16:15 | COMPOSITIONALITY & ORDERS (Chair: Marie Kerjean) |
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