ReLaX is an international joint research unit of CNRS, Université de Bordeaux, École Normale Supérieure Paris-Saclay, Chennai Mathematical Institute and the Institute of Mathematical Sciences.
As a CNRS unit, ReLaX is CNRS IRL 2000. It is attached to the INS2I (CNRS Sciences Informatiques). As of 2023, it is also supported by INSMI (CNRS Mathématiques).
ReLaX was created on January 1, 2017. Its director is Madhavan Mukund. Its deputy director is Pascal Weil.
ReLaX is a sequel and an amplification of the earlier LIA INFORMEL (Indo-French Formal Methods Lab, 2012-2016), a joint international lab between the same partners, dedicated to research in formal methods.