Thibaut Antoine

About me

Fourth year student at ENS Rennes (France). I am most interested in logic, category theory, and more generally algebra.

My resume in english | french.

Publications

A complete list of my publications can be found on DBLP.

• [2025] A Complete Diagrammatic Calculus for Automata Simulation.
  Thibaut Antoine, Robin Piedeleu, Alexandra Silva and Fabio Zanasi. CSL 2025 [article]
  
  
• [2025] Propositional Logics of Overwhelming Truth.
  Thibaut Antoine, David Baelde. CSL 2025 [article] [slides]
  
  

Others

Poetry

Some things I wrote (all in french).

• [06/2023] Inflexions.
  Micro-compilation of six love poems about a past relationship. [PDF]
  
  
• [02/2022] Fleurs (Flowers).
  Micro-compilation of six poems about flowers. [PDF]
  
  
• Poemktober.
  A poem for each inktober theme. [2021] [2023]
  

Some references.

• Poésie verticale (Vertical Poetry) by Roberto Juarroz, an argentinian poet.
  
• Quelque chose noir (Something Dark) by Jacques Roubaud, a french poet and also a member of the Oulipo.
  
• Oeuvres (Works) by Alejandra Pizarnik, an argentinian poet.
  
• Matthieu Gaines a friend and talented author.
  

Theater

My experience with theater.

• [09/2023] Le Procès (The Trial).
  A quick take at absurd theater. [PDF]
  
  
• [09/2022 - 03/2023] Expédition en Atlantide (Expedition in Atlantide).
  Actor as Sylvestre for the comuze 2023.
  

Some references.

• Le Sang des Promesses (The Blood of Promises) by Wajdi Mouawad, an author from Québec.
  
• La Réunification des Deux Corées (Reunifying the Two Coreas) by Joël Pommerat, a french author.
  

Contact