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).
On August 12, 2023, Ritam Raha defended his dissertation at U. Antwerp and U. Bordeaux (cotutelle). He worked under the joint direction of Guillermo Perez (AnSYMO, U. Antwerp) and Nathanaël Fijalkow (LaBRI). Title: Learning and Verifying Temporal Specifications for Cyber-Physical Systems.
Three M.Sc. students from CMI started a 3-month internship in May at the IFP (the French Institute in Pondicherry), in collaboration with the Ecology and the Indology departments of IFP. These three internships have been turned into long projects, to last until the end of 2023.
ACTS (Automata, Concurrency, Timed Systems), an irregularly recurring event will, for the first time, take place outside India: May 30 to June 2, 2023, at LMF, ENS Paris-Saclay, with the enthusiastic support of ReLaX. To find out about it and to participate, visit the workshop’s website.
An unprecedented 13 students from CMI visit France for internships between mid-May and end-July 2023. These internships cover various fields of computer science and mathematics, and take place in Paris, Saclay, Bordeaux, Grenoble, Marseille, Chambéry, Rennes and Lille.
Sage Days (#114) took place at IMSc, July 25-27, 2022, organized by Amritanshu Prasad and S. Viswanath, with the participation of ReLaX. This is a satellite event of FPSAC 2022 (Bangalore), itself a satellite conference of the 2022 ICM.
On May 17, 2022, Varun Ramanathan defended 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.
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 Rennes / IRISA. Title: Verification and Synthesis of Parameterized Concurrent Systems.
On September 16, 2021, Pascal Weil joined ReLaX for a one-year posting. This posting was extended twice, to end in September 2024.
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.
Vineeta Jain defended her PhD thesis, Analysis and Detection of Privacy Leaks in Android, on December 3, 2020, at MNIT Jaipur.
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.
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.
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.
Hans von Ditmarsch joins ReLaX for 6 months, 1 January 2018.
Sinnou David joins ReLaX for 12 months, 1 September 2017.