THIBAUT BENJAMIN Software Talks Research Home

My Talks

 

Talks

Here is a list of the talks that I have given along with the slides (when applicable).

Abstract Interpretation of Recursive Logic Definitions for Efficient Runtime Assertion Checking

TAP Conference, 2023

A Coherator for Semi-Cubical Weak ω-categories

LHC days

Formalizing an Efficient Runtime Assertion Checker for an Arithmetic Language with Functions and Predicates

I gave this talk twice:

  • SAC-SVT conference, 2023:
  • LVP-CLPA-HIFI joint research days, 2023:

Formalisation d'un vérificateur efficace d'assertions arithmétiques à l'exécution [fr]

Journées Francophones des Languages Applicatifs (JFLA), Saint Médard d'Excideuil, 2022

CaTT: A type theory for weak ω-categories

HoTTEST special event for young researchers (online), 2022  

Globular weak ω-categories as models of a type theory,

HoTT/UF Workshop, 2021. (Online)  

Type theory for weak ω-categories,

I gave various iterations of this talk at different seminars:

  • Logic and higher structures (Invited talk at CIRM, Luminy), 2022
  • Team seminar at Cambridge University, 2021
  • Séminaire du LSL (CEA, List), 2021
  • Séminaire catégories supérieures, polygraphes et homotopie (IRIF, Paris 7), 2021
  • Séminaire du LACL (Université de Créteil), 2021
  • Séminaire Logique et Interactions (Aix-Marseille Université), 2020 (blackboard presentation)

Théorie des types pour les catégories faibles monoidales [fr],

LHC days, Lyon, 2019

Automatisation partielle de preuves dans CaTT, l'exemple de la Suspension [fr],

Journées Francophones des Langages Applicatifs (JFLA), Les Rousses, 2019

Towards a fully formalized definition of the syllepsis in weak higher categories,

HDRA, Oxford, Jul 2018.

A type theory for weak omega-categories,

EuTypes, Nijmegen, Jan 2018.

Towards a type theory for weak omega-functors,

HDRA, Oxford, Sept 2017.