Home

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 May 17, 2022, Varun Ramanathan will defend his dissertation at LaBRI. He worked under the joint direction of Diego Figueira (LaBRI) and Pascal Weil (LaBRI and ReLaX). Title: Synchronous relations and complexity of query evaluation.

After a long interruption due to the pandemic, exchanges of visits have started again!!

On March 30, 2022, Sayan Mukherjee defended his dissertation at CMI. He worked under the direction of B. Srivathsan at CMI and Paul Gastin at LMF. Title: Reachability in Timed Automata with Diagonal Constraints and Updates.

Meena Mahajan (IMSc) became a Fellow of the Indian Academy of Sciences in 2022.

The inaugural program of the Dr. F.C. Kohli Centre of Excellence, newly established at CMI, is entitled Perspectives in Mathematical Sciences. It consists of a series of online talks, highlighting accomplishments and future directions across diverse areas of mathematics, computer science and physics, from January 10 to February 4, 2022.

The first CRM-ISM-AMQ prize for an outstanding publication in the Annales Mathématiques du Québec (AMQ) was awarded to Francesco Amoroso and Sinnou David for their paper Covolumes, unités, régulateur : conjectures de D. Bertrand et F. Rodriguez-Villegas. Congratulations to them!

On September 30, 2021, Anirban Majumdar defended his dissertation, prepared under the direction of Patricia Bouyer-Decitre at LMF and Nathalie Bertrand at Inria RennesIRISA. Title: Verification and Synthesis of Parameterized Concurrent Systems.

On September 16, Pascal Weil joined ReLaX for a one-year posting.

GCT 2022: a workshop and a conference on Geometric Complexity theory, held at CMI January 17-22, 2022 (workshop) and January 24-28, 2022 (conference). These will be preceded by an online series of expository lectures covering algebraic complexity, algebraic geometry, algebraic groups, representation theory and optimization theory which arise in GCT, from August 24 to December 17, 2021. The organizers are Thomas Seiller (CNRS, LIPN), K.V. Subrahmanyam (CMI, India).  Full details on schedule and lectures and registration here.

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. In the fall of 2021, he joined IIT Bombay as a post-doc.

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. In the fall of 2021, he joins University of Liverpool as a post-doc.

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) was selected by CNRS for a 6-month stay at ReLaX during academic year 2020-2021 (canceled due to CoViD).

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