CNRS International Research Project: Bordeaux - Paris - Warsaw

2024 - 2028

Presentation

Le Trójkąt ("triangle" in Polish, with a French touch) is a CNRS International Research Project starting in 2024, for five years. The aim is to develop and intensify relations within Le Trójkąt: the Formal Models and Methods (M2F) department at LaBRI (Bordeaux), the Automata, Structures and Verification (ASV) cluster at IRIF (Paris), and the Automata team at Warsaw University. More generally, the aim is to strengthen collaboration between France and Poland around the themes commonly known as 'Track B' of Theoretical Computer Science: Automata, Logic, Graphs.

CNRS press release (in French)

Coordinators

Nathanaël Fijalkow
Bordeaux (LaBRI)

Principal investigator

Nathalie Bertrand
Rennes (IRISA)

Local correspondent

Patricia Bouyer
Saclay (LMF)

Local correspondent

Thomas Colcombet
Paris (IRIF)

Local correspondent

Paweł Gawrychowski
Wrocław

Local correspondent

Denis Kuperberg
Lyon (ENS Lyon)

Local correspondent

Filip Mazowiecki
Warsaw (UW)

Local correspondent

Karoliina Lehtinen
Marseille (LIS)

Local correspondent

Charles Paperman
Lille

Local correspondent

Tatiana Starikovskaya
Paris (ENS Paris)

Local correspondent

Activities

  • Virtual seminar
  • Research schools
  • Internships and research visits support scheme