Program

15:00
15:30
16:00
16:30
17:00
17:30
18:00
18:30
19:00
29th of June
29th of June
Invited Talk - Martin Grohe
Title: The logic of graph neural networks

Break

Polynomial time, games, and complexity

Security

Break

CSP

Types I

  • The undecidability of System F typability and type checking for reductionists - Andrej Dudenhefner 
  • Higher lensesPaolo Capriotti, Nils Anders Danielsson and Andrea Vezzosi  
  • Internal -categorical models of dependent type theory: towards 2LTT eating HoTTNicolai Kraus 
  • Types are internal infinity-groupoidsAntoine Allioux, Eric Finster and Matthieu Sozeau 
  • Normalization for Cubical type theory Jonathan Sterling and Carlo Angiuli 
  • Parametricity and semi-cubical typesHugo Moeneclaey 

Probabilistic Aspects