Dear All, ReLaX and the Chennai Mathematical Institute (CMI) will organize a "Focus Programme on Formal Methods and Artificial Intelligence", from 2nd to 6th February 2026, at CMI. The aim is to provide PhD students specializing in Formal Methods and related areas with a gentle introduction to the interactions between Formal Methods and AI, and the challenges that arise at this interface. The detailed programme is still under construction. The intended audience is PhD students; postdocs and advanced MSc students are also welcome. There will be no registration fee. Unfortunately, our budget does not allow us to provide financial support to participants from India outside CMI. Participants from France are expected to find funding with their respective institutions. Limited partial support through ReLaX may be available, in particular for local expenses — please contact ReLaX (pascal.weil@cnrs.fr <mailto:pascal.weil@cnrs.fr>) for details. This is an early notice, please mark the dates. If PhD students around you are interested, please write to Srivathsan (sri@cmi.ac.in <mailto:sri@cmi.ac.in>) and Dietmar (dwb@lmf.cnrs.fr <mailto:dwb@lmf.cnrs.fr>) — or have your students contact them directly. With best regards, Srivathsan, Dietmar, Pascal --------------------------------------- Pascal Weil LIPN, CNRS et Université Sorbonne Paris-Nord pascal.weil@lipn.univ-paris13.fr https://lipn.univ-paris13.fr/~pascal.weil/ Please do not use my @u-bordeaux.fr and @labri.fr addresses anymore. Prefer pascal.weil@lipn.univ-paris13.fr or pascal.weil@cnrs.fr