Le Tr贸jk膮t

<!DOCTYPE html>   <html> <head> <title>Le Tr贸jk膮t</title> <meta charset="utf-8" /> <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no" /> <link rel="stylesheet" href="assets/css/main.css" /> </head> <body class="is-preload">  <div id="wrapper">  <div id="main"> <div class="inner">  <header id="header"> <h1>Le Tr贸jk膮t</h1> </header> <h2>CNRS International Research Project: Bordeaux - Paris - Warsaw</h2> <h3>2024 - 2028</h2>  <section> <header class="major"> <a name="presentation"> <h2>Presentation</h2> </a> </header> Le Tr贸jk膮t ("triangle" in Polish, with a French touch) is a CNRS <a href="https://international.cnrs.fr/en/cooperer-a-l-international/">International Research Project</a> starting in 2024, for five years. The aim is to develop and intensify relations within Le Tr贸jk膮t: the <a href="https://www.labri.fr/en/formal-methods-and-models">Formal Models and Methods (M2F)</a> department at LaBRI (Bordeaux), the <a href="https://www.irif.fr/en/poles/asv/index">Automata, Structures and Verification (ASV)</a> cluster at IRIF (Paris), and the <a href="https://mimuw.edu.pl/en/seminaria/automata-theory">Automata team</a> 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. <br/><br/> <h3><a href="https://www.ins2i.cnrs.fr/fr/cnrsinfo/irp-le-trojkat-logique-jeux-et-automates-creent-des-liens-entre-france-et-pologne">CNRS press release (in French)</a> </h3> </section>  <section> <header class="major"> <a name="coordinators"> <h2>Coordinators</h2> </a> </header> <div class="features"> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/nathanael-fijalkow.jpeg" alt="" /></span> <div class="content"> <h3> Nathanaël Fijalkow <br /> Bordeaux (LaBRI) </h3> <p>Principal investigator</p> <ul class="actions"> <li> <a href="http://games-automata-play.com/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/nathalie-bertrand.png" alt="" /></span> <div class="content"> <h3> Nathalie Bertrand<br /> Rennes (IRISA) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://people.rennes.inria.fr/Nathalie.Bertrand/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/patricia-bouyer.jpeg" alt="" /></span> <div class="content"> <h3> Patricia Bouyer<br /> Saclay (LMF) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://lmf.cnrs.fr/PatriciaBouyer/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/florian-horn.jpg" alt="" /></span>  <div class="content">  <p>Local correspondent</p> <h3> Florian Horn<br /> Paris (IRIF) </h3> <ul class="actions"> <li> <a href="https://www.irif.fr/~colcombe/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/pawel-gawrychowski.jpeg" alt="" /></span> <div class="content"> <h3> Pawe艂 Gawrychowski<br /> Wroc艂aw </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://sites.google.com/a/cs.uni.wroc.pl/gawry/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/denis-kuperberg.png" alt="" /></span> <div class="content"> <h3> Denis Kuperberg<br /> Lyon (ENS Lyon) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://perso.ens-lyon.fr/denis.kuperberg/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/filip-mazowiecki.jpg" alt="" /></span> <div class="content"> <h3> Filip Mazowiecki<br /> Warsaw (UW) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://fmazowiecki.github.io/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/karoliina-lehtinen.jpg" alt="" /></span> <div class="content"> <h3> Karoliina Lehtinen<br /> Marseille (LIS) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://lehtinenkaroliina.wordpress.com/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/charles-paperman.png" alt="" /></span> <div class="content"> <h3> Charles Paperman<br /> Lille </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://paperman.name/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/wojciech-penczek.jpeg" alt="" /></span> <div class="content"> <h3> Wojciech Penczek<br /> Warsaw (IPI-PAN) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://home.ipipan.waw.pl/w.penczek/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/laure-petrucci.jpeg" alt="" /></span> <div class="content"> <h3> Laure Petrucci<br /> Paris (LIPN) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://lipn.univ-paris13.fr/~petrucci/" class="button">webpage</a> </li> </ul> </div> </article> <article> <span class="image left"><img style="width: 180px; height: 180px; object-fit: cover;" src="images/tatiana-starikovskaya.jpg" alt="" /></span> <div class="content"> <h3> Tatiana Starikovskaya<br /> Paris (ENS Paris) </h3> <p>Local correspondent</p> <ul class="actions"> <li> <a href="https://starikovskaya.github.io/homepage/" class="button">webpage</a> </li> </ul> </div> </article> </div> </section>  <section> <header class="major"> <a name="activities"> <h2>Activities</h2> </a> </header> <ul> <li>06-07/2024: Research visit of Pawe艂 Parys to ENS Lyon</li> <li>02-07/2024: Internship of Hugo Francon to University of Warsaw, with Filip Mazowiecki</li> <li>03-07/2024: Internship of Beno卯t Huftier to University of Warsaw, with Micha艂 Pilipczuk</li> </ul> </section> <section> <header class="major"> <a name="PHC"> <h2>PHC LIPN - IPI-PAN</h2> </a> </header> 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. <article> <span class="image left"><a href="images/IP-PAN-2024.jpeg"><img style="align: center" src="images/IP-PAN-2024.jpeg" alt="" /></a> </span> </article> </section> </div> </div>  <div id="sidebar"> <div class="inner">   <nav id="menu"> <header class="major"> <h2>Menu</h2> </header> <ul> <li><a href="#presentation">Presentation</a></li> <li><a href="#coordinators">Coordinators</a></li> <li><a href="#activities">Activities</a></li> </ul> </nav> </div> </div> </div>  <script src="assets/js/jquery.min.js"></script> <script src="assets/js/browser.min.js"></script> <script src="assets/js/breakpoints.min.js"></script> <script src="assets/js/util.js"></script> <script src="assets/js/main.js"></script> </body> </html>

CINXE.COM

Le Tr贸jk膮t