Lettre de l'IRIF du 25 novembre 2022

Edito

Dans la lettre cette semaine, la journée SIF autour du doctorat et un appel à volontaires pour participer à la future commission pour l’adaptation de l’IRIF aux défis environnementaux. Prenez note d'une formation dédiée aux nouveaux arrivants afin de mieux connaître l’Université et les dates de fermeture du bâtiment pour les congés d'hiver. Deux rappels importants avec des deadlines qui approchent : les appels d'offres post-docs de la FSMP et les élections des représentants des doctorants et des membres non permanents.

Le focus s'intéresse à l'exposition 50 Years of Theoretical Computer Science mis en place par l'IRIF et un comité scientifique international. Le vernissage de cette exposition à la bibliothèque MIR aura lieu le 8 décembre entre 12h00 et 14h00.

Côté actualités scientifiques, CAP 2022, JCB 2023 et un postdoc à MATHEXP proposé par Inria Saclay.

Du côté de nos partenaires, un webinaire Projets Européens AMORCE, les appels en cours de la MITI et les appels à candidatures SMARTS-UP.

Bonne lecture !

Annonces de la direction

The process will end with a collegial decision of the laboratory members, in early 2024, to determine and validate the adaptations that the laboratory wishes to implement. See this proposition for more information for more information. The lab council will decide at its next meeting on December 13 the exact composition of this commission, and will set the details of the process. If you are interested, please apply by email to direction@irif.fr, as soon as possible, and before December 9.


Actualités


Focus on the exhibition opening of 50 Years of Theoretical Computer Science ?

IRIF is pleased to invite you to the exhibition opening of 50 years of Theoretical Computer Science on Thursday, December 8th from 12:00 to 2:00 PM at the MIR library located on the 8the floor of Sophie Germain building. A buffet will be served, please make sure to register at cadet@irif.fr no later than December 2nd, 2022.

About the exhibition In Europe, during the 1972 Brussels press conference, Maurice Nivat et Marcel-Paul Schützenberger officially declared the birth of Theoretical Computer Science. It is during this press event that the three main chapters of the field are stated: the theory of automata and languages, algorithmics and programming theory.

The exhibition 50 years of Theoretical Computer Science highlights the 50th anniversary of the ICALP conference and of the creation of EATCS. Through a historical tour and an overview of some key themes, the exhibition offers a dive into this field, often way too little known.

Created by IRIF members and an international committee of experts, this exhibition was first presented during ICALP 2022. For those of you who missed it or wish to see it again, it will be presented at MIR library on the 8th floor of Sophie Germain building from December 8th, 2022 until February 27th, 2023.


Appels d'offres et informations des partenaires

Newsletter des partenaires : Les lettres arrivent sporadiquement aux membres de l'IRIF. Elles sont donc listées ci-dessous.

Agenda de la semaine du 28 novembre au 02 décembre

Vérification · Lundi 28 novembre, 11:00, 1007 and Zoom link ·
Nicolas Waldburger (IRISA − Université de Rennes 1), Parameterized Safety Verification of Round-Based Shared-Memory Systems

One world numeration seminar · Mardi 29 novembre, 14:00, Online ·
Manuel Hauke (TU Graz), The asymptotic behaviour of Sudler products

Algorithmes et complexité · Mercredi 30 novembre, 11:00, Room 3052 ·
Chris Brzuska (Aalto University), Obfuscation: Implications in Complexity and Cryptography

Algorithmes et complexité · Mercredi 30 novembre, 16:00, Room 3052 ·
Ce Jin (MIT), Quantum Speed-ups for String Synchronizing Sets, Longest Common Substring, and k-mismatch Matching

Soutenances de thèses · Jeudi 01 décembre, 14:00, Room 3052 du bâtiment Sophie Germain & Zoom ·
Abhishek De (IRIF), Linear logic with least and greatest fixed points: truth semantics, complexity, and a parallel syntax

Combinatoire énumérative et analytique · Jeudi 01 décembre, 14:00, Room 3052 et zoom ·
Groupe De Lecture (Eva Philippe (IMJ-PRG)), Nu-Tamari lattice and Nu-associahedron

Automates · Vendredi 02 décembre, 14:00, Room 3052 ·
Léo Exibard, TBA