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.
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.