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.
Thanks to a PHC project, Étienne André and Laure Petrucci (LIPN) collaborate with researchers at IPI-PAN (Warsaw). Below a picture from a visit in Warsaw in Summer 2024.