Thomas Seiller - IRN CLoVe

IRN CLoVe

The main goal of IRN CLoVe (Complexity, Logic, and Verification) is to federate and strengthen established individual cooperations between French and Danish institutions, as well as create and foster new ones.

Meetings

January 18-19th, 2026, Pioneer Center for Artificial Intelligence, Copenhagen

Workshop on “Reasoning in the Embedding Space”.

Monday 19th
  • 9am. Introduction
  • 9.15am. Bertram Hojer (ITU Copenhagen): Reasoning in LLMs.Slides
  • 10.45am. Thomas Seiller (CNRS): Logical Structures Arising from Corpora.Slides
  • 2pm. Stefan Heinrich (ITU Copenhagen): Geometric Deep Learning.Slides
  • 3.30pm. John Terilla (CUNY): Mathematical Structures Emerging from Corpora
  • 5pm. Yash Kankanampati (Université Sorbonne Paris Nord): Embedding Geometry for Token Pruning and Hierarchical Matching.Slides
Tuesday 20th
  • 9am. Gianni Gastaldi (ETH Zurich): Empiricism vs. Formalism in the Study of Embeddings
  • 10.30am. Nadi Tomeh (Université Sorbonne Paris Nord): Structured Predictions Perspectives on LLM reasoning
  • 2pm. Anna Rogers and Mattes Ruckdeschel (ITU Copenhagen): Similarity Measures for Embeddings
  • 3.30pm. Claire Gardent (CNRS): Embeddings between text and knowledge graphs
  • 5pm. Timothée Bernard (Université Paris Cité): The Emergence of semantics in multi-agent communication

September 1st, 2025. Aarhus university.

Workshop on Verification.

  • 9am. Bas Spitters (Aarhus University)
  • 9.15am. Jaco van de Pol (Aarhus University)
  • 9.30am. Émily Clément (CNRS)
  • 10am. Discussion
  • 10.45am. Stefano M. Nicoletti (University of Twente)
  • 11am. Ekkart Kindler (DTU)
  • 11.30am. Discussion
  • 1.15pm. Baptiste Fiévet (Université Sorbonne Paris Nord)
  • 1.45pm. Davide Catta (Université Sorbonne Paris Nord)
  • 2.15pm. Laure Petrucci (Université Sorbonne Paris Nord)
  • 2.30pm. Discussion
  • 3pm. Gabriel Dengler (University of Saarland)
  • 3.30pm. Carlos E. Budde (DTU)
  • 4pm. Pedro R. D'Argenio (University of Córdoba)

January 6th-8th, 2025. Copenhagen university.

Workshop on Complexity theory.

January 6th
  • 1pm. Emmanuel Hainry
  • 2.30pm. Kristoffer Arnsfelt Hansen
January 7th
  • 9am. Ulysse Léchine
  • 10.30am. Srikanth Srinivasan
  • 1pm. Manon Blanc
  • 2.30pm. Guillaume Malod
January 8th
  • 9am. Jules Armand
  • 10.15am. Duri Janett
  • 12.45pm. Jakob Nordström
  • 2pm. Sylvain Perifel
  • 3pm. Thomas Seiller