Thomas Seiller

I am CNRS researcher (Chargé de Recherche) working in the LoVe team at the LIPN laboratory.

Curriculum Vitae

You can find my CV (in english) here: October 2018.

Some Upcoming Events

April 2019. DICE-FOPARA 2019, ETAPS workshop on Implicit Complexity and Resource Analysis, Prague, Czech Republic.
April 2019. GaLoP 2019, ETAPS workshop on Games for Logic and Programming Languages, Prague, Czech Republic.
June 2019. CALeidoscope, Summer School on Complexity Theory, IHP, Paris, France.

Some Talks

November 5-6th, 2018. Colloque "Le même et l’autre : identité, orthogonalité, types", Lyon, France.
October 17-18th, 2018. Journées inaugurales "Logique, Homotopie, Catégories, Marseille, France. Website. Slides.
August 10-11th, 2018. Conference on Mathematical Logic, Satellite event of the ICM 2018, Niterói, Brazil. Website. Slides.
June 18-20th, 2018. Cologne-Twente Workshop on Graphs and Combinatorial Optimisation. Paris, France. Website. Slides.
June 12-13th, 2018. Workshop on Realisability. CIRM, Marseille, France. Slides.
April 14-15th, 2018. Developments in Implicit Computational Complexity (DICE) 2018 Thessaloniki, Greece. Website.
November 14th, 2017. Logical Time and Computational Time. Lyon, France. Website.Poster.
November 9th, 2017. CHOCOLA Seminar. Lyon, France. Website.
October 25th, 2017. Thirty Years of Linear Logic. Rome, Italy. Website. Poster.Slides.


Lê Thành Dũng Nguyễn, PhD student from September 2018, M2 intern January-July 2018, cosupervision with Stefano Guerrini
Pierre-Yves Coursolle, PhD student from September 2018, cosupervision with Emmanuel Haucourt.
Seng Beng Goh, Third year student from Cambridge University, June-September 2018.


You can contact me if you wish to do an internship with me. You will find some examples of internship proposals below.

Measurable Game Semanticspdf
Effects in Interaction Graphspdf
Geometric Complexity Theorypdf
Abstract State Machines and PTimepdf

Previous Positions

In 2015-2018, I was a Marie Curie postdoctoral researcher at the Datalogisk Institute (Computer Science Department) of the University of Copenhagen (DIKU).
In 2014-2015, I was a postdoctoral researcher in PPS, working in the french ANR project CoQuaS.
In 2013-2014, I was a postdoc at the Institut des Hautes Etudes Scientifiques (Carmin Fellowship).
In 2012-2013, I was a post-doctoral researcher at the INRIA, working at the Departement of Mathematics of the Savoie University in Chambéry (France), in the Logic, Computer Science and Discrete Mathematics team.
Before being in Chambéry, I prepared a PhD in mathematics entitled Logic in the Hyperfinite Factor: Geometry of interaction and complexity at the Luminy Institute of Mathematics under the direction of Jean-Yves Girard and Laurent Regnier. My work concerns mainly the geometry of interaction program and its applications to computational complexity. Even though my thesis was written in french, I wrote a short (20 pages) description in english: pdf.


Past Events
May 2018. Working Group on Transcendental Syntax and Workshop on Proof Nets, GDRI Linear Logic meeting, Villetaneuse, France.

ReACT Project
I worked (from 2015 to 2018) at the Computer Science Department of the University of Copenhagen (DIKU). This stay is funded by the European Union through a Marie Curie action. More details can be found on the project page.

DICE 2016.
I was in the program committee of the 2016 edition of DICE (Developments in Implicit Computational complExity), an ETAPS workshop. Don't hesitate to submit and/or participate to the upcoming edition!

Séances de Mathématiques.
I organized, when at the IML, a seminar called "Séances de Mathématiques" during the year 2010-2011 (it was then continued when I left but has withered since then). The scheduled reunion as well as some documents (all in french) are still available on the page Séances de Mathématiques.

PhD Students Project
I also co-organized a project involving PhD students from several french universities about logic and philosophy. All informations (in french) can be found on the webpage Projet Doctorant.

Working Group
I organized, during my first years at the IML, a working group on Girard's hyperfinite geometry of interaction. This working group stopped its activities since it was replaced by the French ANR Project LOGOI. The meetings' schedule is still available on the Working Group page.