Welcome to the site of ReLaX, Research Lab in Computer Science, an Indo-French joint research unit dedicated to research in theoretical computer science, its applications and its interactions with mathematics.

This site presents the activities of ReLaX: the visits exchanged, the publications that arose from these exchanges, the scientific events it facilitated or simply wants to advertise.

ReLaX continues and expands the earlier Indo-French research program LIA Informel.(2012-2016).

NEW and current —

CAALM @ ReLaX (Complexity, Algorithms, Automata and Logic Meet at ReLaX) took place at CMI, January 21 to 25, 2019. The exciting program brought together the formal methods, the algorithms and the complexity communities, with speakers from France and India, but also Germany, Hong Kong, Israel, Italy, Poland, Singapore and the UK.   See the workshop’s website for details.

Vaishnavi Sundararajan completed her PhD in 2018 at CMI, under the direction of R. Ramanujam (IMSc) and S.P. Suresh. She joined IRISA, Rennes (team EMSEC) in November 2018 for a post-doc, to work in the areas of logic, security, proof theory and verification.

Four CMI graduates start a PhD this September 2018 in French Universities: Rennes, ENS Paris-Saclay, Bordeaux.

Deb Bishal, a CMI M.Sc. student, joins the M2 international program Bezout (Mathematics and Computer Science), at Université Paris-Est Marne-la-Vallée (September 2018), with financial support from Bezout.

The 38th FSTTCS took place at Ahmedabad University, December 10-14 2018. All the details here.

ReLaX hosted AURA 2018, a workshop for CNRS’s UMIs in South, South-East and East Asia, operating in the fields of engineering, information technologies and applied mathematics. CMI, 29-31 October 2018.

ReLaX participated in the Journée des bureaux du CNRS à l’étranger, à l’Université de Bordeaux, 15 May 2018.

Bonjour India’s stop-over at the CMI and UMI ReLaX: Mad over Maths, 1 and 2 February 2018.

Official signature of ReLaX, CMI, 13 November 2017, see this report and the CNRS press release.

Hans von Ditmarsch joins ReLaX for 6 months, 1 January 2018.

Sinnou David joins ReLaX for 12 months, 1 September 2017.

The 37th FSTTCS took place at IIT Kanpur, 11-15 December, 2017. The proceedings are (freely) accessible on the LIPIcs website