Program for Monday, August 21st: Talk View

PROGRAM FOR MONDAY, AUGUST 21ST: TALK VIEW

Days:

previous day

next day

all days

View: with abstracts session overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

08:50-09:00 CSL Opening Remarks

09:00-10:00

First-Order Interpolation and Grey Areas of Proofs

Laura Kovács

10:30-11:00

The Model-Theoretic Expressiveness of Propositional Proof Systems

Erich Grädel, Benedikt Pago, Wied Pakusa

11:00-11:30

Removing Cycles from Proofs

Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph

11:30-12:00

Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs

Berit Grußien

12:00-12:30

On the First-Order Complexity of Induced Subgraph Isomorphism

Oleg Verbitsky, Maksim Zhukovskii

14:00-14:30

Partial Elements and Recursion via Dominances in Univalent Type Theory

Martin Escardo, Cory Knapp

14:30-15:00

Categorical structures for type theory in univalent foundations

Benedikt Ahrens, Peter Lefanu Lumsdaine, Vladimir Voevodsky

15:00-15:30

Integral Categories and Calculus Categories

Robin Cockett, Jean-Simon Lemay

15:30-16:00

Stone duality and the substitution principle

Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs

16:30-17:00

The Dynamic Geometry of Interaction Machine

Koko Muroya, Dan Ghica

17:00-17:30

An Algebraic Approach to Valued Constraint Satisfaction

Amanda Vidal Wandelmer, Rostislav Horcik, Tommaso Moraschini

18:30-20:30 Welcome reception