Schedule

Shortcuts: Monday, Tuesday, Wednesday, Thursday

All times are UTC+1, i.e., the timezone of Ljubljana, Slovenia, where CSL 2021 was originally scheduled to take place.

Monday 25.01
Session 1 (Chair: TBA)
09:00 Welcome
09:10 The logic of contextuality
Samson Abramsky and Rui Soares Barbosa
09:35 Canonization for Bounded and Dihedral Color Classes in Choiceless Polynomial Time
Moritz Lichter and Pascal Schweitzer
10:00 Break
Session 2 (Chair: TBA)
10:30 On the Complexity of Horn and Krom Fragments of Second-Order Boolean Logic
Miika Hannula, Juha Kontinen, Martin Lück and Jonni Virtema
10:55 Decidable Entailments in Separation Logic with Inductive Definitions
Mnacho Echenim, Radu Iosif and Nicolas Peltier
11:20 Choiceless Computation and Symmetry: Limitations of Definability
Benedikt Pago
11:45 Computing measure as a primitive operation in real number computation
Christine Gaßner, Arno Pauly and Florian Steinberg
12:10 Lunch
Session 3 (Chair: TBA)
13:50 Semiring Provenance for Fixed-Point Logic
Katrin Martine Dannert, Erich Grädel, Matthias Naaf and Val Tannen
14:15 Extension Preservation in the Finite and Prefix Classes of First Order Logic
Anuj Dawar and Abhisekh Sankaran
14:40 Preservation Theorems Through the Lens of Topology
Aliaume Lopez
15:05 Learning Concepts Described by Weight Aggregation Logic
Steffen van Bergerem and Nicole Schweikardt
15:30 Break
Invited talk (Chair: TBA)
16:00 TBA
Sylvain Schmitz
Tuesday 26.01
Invited talk (Chair: TBA)
09:00 TBA
Sophia Drossopoulou
10:00 Break
Session 4 (Chair: TBA)
10:30 On flat lossy channel machines
Philippe Schnoebelen
10:55 The best a monitor can do
Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingolfsdottir and Karoliina Lehtinen
11:20 Are Two Binary Operators Necessary to Finitely Axiomatise Parallel Composition?
Luca Aceto, Valentina Castiglioni, Wan Fokkink, Anna Ingolfsdottir and Bas Luttik
11:45 A Partial Metric Semantics of Higher-Order Types and Approximate Program Transformations
Guillaume Geoffroy and Paolo Pistone
12:10 Lunch
Session 5 (Chair: TBA)
13:50 Game Comonads & Generalised Quantifiers
Adam Ó Conghaile and Anuj Dawar
14:15 Compositional modelling of games on networks
Elena Di Lavore, Jules Hedges and Paweł Sobociński
14:40 The Alternating-Time µ-Calculus With Disjunctive Explicit Strategies
Merlin Göttlinger, Lutz Schröder and Dirk Pattinson
15:05 A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation
André Arnold, Damian Niwiński and Paweł Parys
15:30 Break
Prize ceremony (Chair: TBA)
16:00 TBA
Wednesday 27.01
Invited talk (Chair: TBA)
09:00 TBA
Assia Mahboubi
10:00 Break
Session 6 (Chair: TBA)
10:30 Domain Theory in Constructive and Predicative Univalent Foundations
Tom de Jong and Martin Escardó
10:55 Church’s thesis and related axioms in Coq’s type theory
Yannick Forster
11:20 A Cyclic Proof System for HFLN
Mayuko Kori, Takeshi Tsukada and Naoki Kobayashi
11:45 Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle
Mark Bickford, Liron Cohen, Robert Constable and Vincent Rahli
12:10 Lunch
Session 7 (Chair: TBA)
13:50 Pregrammars and Intersection Types
Sabine Broda
14:15 Categorifying Non-Idempotent Intersection Types
Giulio Guerrieri and Federico Olimpieri
14:40 The Yoneda Reduction of Polymorphic Types
Paolo Pistone and Luca Tranchini
15:05 Realizability with stateful computations for nonstandard analysis
Bruno Dinis and Étienne Miquey
15:30 Break
Prize ceremony (Chair: TBA)
16:00 TBA
Thursday 28.01
Invited talk (Chair: TBA)
09:00 TBA
Bartek Klin
10:00 Break
Session 8 (Chair: TBA)
10:30 Reachability in Distributed Memory Automata
Benedikt Bollig, Fedor Ryabinin and Arnaud Sangnier
10:55 Learning automata and transducers: a categorical approach
Thomas Colcombet, Daniela Petrisan and Riccardo Stabile
11:20 Degrees of Ambiguity for Parity Tree Automata
Alexander Rabinovich and Doron Tiferet
11:45 Discounted-Sum Automata with Multiple Discount Factors
Udi Boker and Guy Hefetz
12:10 Lunch
Session 9 (Chair: TBA)
13:50 Typable Fragments of Polynomial Automatic Amortized Resource Analysis
Long Pham and Jan Hoffmann
14:15 Factorize Factorization
Beniamino Accattoli, Claudia Faggian and Giulio Guerrieri
14:40 Realizability without Symmetry
Haruka Tomita
15:05 A Deep Quantitative Type System
Willem Heijltjes, Giulio Guerrieri and Joseph Paulus
15:30 Break
Invited talk (Chair: TBA)
16:00 TBA
Linda Westrick