CAALM@ReLaX, Complexity, algorithms, automata and logic meet at ReLaX, will take place at CMI, January 21 to 25 2019. Scientific committee: Paul Gastin, Meena Mahajan, Alessia Milani, B. Srivathsan. More details soon!
AURA 2018 will take place at ReLaX, October 29 to 31 2018. This is a yearly meeting of the CNRS UMIs in Asia, in the fields of engineering and information sciences.
During his stay at ReLaX (September 2017 to August 2018), Sinnou David organizes a special course on diophantine geometry, a reading group seminar and a short series of lectures on the proof by Faltings of the Tate and Shafarevich conjectures. More…
The 5th ACTS workshop (Automata, Concurrency and Timed Systems) took place at CMI, January 30-February 3, 2017.