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 —

On June 16, 2021, Govind R. defended his dissertation, prepared under the direction of B. Srivathsan at CMI, and Igor Walukiewicz and Frédéric Herbreteau at LaBRI. Title: Efficient methods for highly parallel timed systems.

Sougata Bose defended his dissertation, prepared under the direction of Anca Muscholl, at LaBRI on March 12, 2021. Title: Decision problems for word transducers with the origin semantic.

The ReLaX Games workshop took place online February 1-4, 2021 (a victim of the CoViD-19 crisis, it was initially to take place in March 2020). The main organizers are Hugo Gimbert (LaBRI), B. Srivathsan (CMI) and R. Ramanujam (IMSc). More information on the workshop’s website.

FSTTCS 2020 took place on-line December 14-18, 2020. See also the satellite events Strategies for Uncertainty and Advances in Verification, co-organized by members of ReLaX.

Vineeta Jain defended her PhD thesis, Analysis and Detection of Privacy Leaks in Android, on December 3, 2020, at MNIT Jaipur.

Benjamin Monmège (LIS) has been selected by CNRS for a 6-month stay at ReLaX during academic year 2020-2021.

R. Ramanujam (IMSc) was awarded the 2020 Indira Gandhi Prize for popularization of science. Congratulations to him!

FPSAC 2022 will be held in Bangalore. The program committee will be chaired by Svante Linusson and Ilse Fischer and the organizing committee will be chaired by Arvind Ayyer (IISc). This is a chance to further develop Indo-French collaboration in algebraic combinatorics.

Anantha Padmanabha (PhD 2019 from IMSc) joined IRIF in January 2020 as a post-doc, to work with Cristina Sirangelo.

Vaishnavi Sundararajan, who completed her PhD in 2018 at CMI and was then a postdoc at IRISA, Rennes (team EMSEC), joined the Ericsson research group in Bangalore in January 2020.

FSTTCS 2019 took place at IIT Bombay in December 2019, co-chaired by Paul Gastin and Arkadev Chattopadhyay.

Members of ReLaX participated in the organization of ICSAA 2019 (International Conference on Semigroups, Algebra and Applications, CUSAT, Kochi, Kerala) and the satellite conference ICSART (International Conference on Semigroups and Related Topics, Chalakudy, Kerala), December 2019.

ReLaX participated in the Journée des UMI et des bureaux du CNRS à l’étranger, at CNRS, Paris, 27 November 2019.

ReLaX was represented at the Indo-French Knowledge Summit, Lyon, 17-18 October 2019, for a panel on Applied Mathematics and AI.

Three students who were supported by ReLaX for internships are starting PhDs in September and October 2019, in connection with French Universities

A PhD fellowship at LaBRI (Bordeaux), funded by CNRS, is offered to work on Limited-persistence distributed objects, under the direction of Alessia Milani (LaBRI). More details about the proposal. Interested parties should contact Alessia Milani directly. The PhD contract must start in 2019. [This call is closed.]

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. In 2019, he joined the PhD program at University College London to work with Alan Sokal.

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, at 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