Les membres de l'IRIF et les visiteurs sont priés de se conformer aux ** directives COVID-19** du CNRS et de l'Université de Paris.

## Bienvenue

L'IRIF est une unité mixte de recherche (UMR 8243) entre le CNRS et l'Université de Paris, qui héberge deux équipes-projets Inria.

Les recherches menées à l'IRIF reposent sur l’étude et la compréhension des fondements de toute l’informatique, afin d’apporter des solutions innovantes aux défis actuels et futurs des sciences numériques.

L'IRIF regroupe près de deux cents personnes. Six de ses membres ont été lauréats de l'European Research Council (ERC), cinq sont membres de l'Institut Universitaire de France (IUF), deux sont membres de l'Academia Europæa, et un est membre de l'Académie des sciences.

## Notion du jour

## Actualités

*20.11.2020*

Delia Kesner (IRIF) has been elected corresponding member for information sciences of the Accademia delle Scienze di Torino.

*20.11.2020*

**Three papers** co-authored by IRIF members will be presented at POPL2021, the main conference on programming languages and programming systems. The papers' study randomized computation, including machine learning, and verification for programs over persistent memory.

*25.11.2020*

Pierre-Louis Curien (IRIF) is awarded with this year's Grand prix Inria – Académie des sciences. To learn more about Pierre-Louis Curien's contributions to theoretical computer science, read the portrayal published by Inria, and the interviews published by FSMP and La Recherche.

*6.11.2020*

A paper by C. Mathieu (IRIF CNRS member) with R. Rajaraman, N. Young, and A. Yousefi will be presented at SODA2021 on dynamization policies in the competitive analysis framework for log-structured merge trees underpinning industrial NoSQL databases.

*6.11.2020*

A paper by G. Couteau (IRIF CNRS researcher) and D. Hartmann has been presented at the conference CRYPTO2020 and describes new, more compact constructions of non-interactive zero-knowledge proofs in elliptic curves equipped with a bilinear map.

(Ces actualités sont présentées selon un classement mêlant priorité et aléatoire.)

## Événements

Algorithmes et complexité

Mercredi 2 décembre 2020, 14 heures, Online

**Claire Mathieu** (IRIF) *Competitive Data-Structure Dynamization*

Séminaire des doctorants

Mercredi 2 décembre 2020, 11 heures, Online

**Phd Students** *Welcome session!*

Combinatoire énumérative et analytique

Jeudi 3 décembre 2020, 10 heures, Virtuel

**Marni Mishna, Laurent Viennot** *Séminaire Flajolet*

Preuves, programmes et systèmes

Jeudi 3 décembre 2020, 10 heures 30, Online

**Laure Gonnord** (Université Lyon Claude Bernard) *Contributions in static analyses for memory: the example of arrays*

In this talk I will present two experiences in the design of static analyses dedicated to array properties and explore the intrinsic difficulties we, together with my coauthors, faced while developing them. I will also show some experimental evidence of the impact of this work on real-world compilers, as well as future perspective for this area of research.

Automates

Vendredi 4 décembre 2020, 14 heures 30, Salle 3052

**Georg Zetzsche** *Rational subsets of Baumslag-Solitar groups*

This is joint work with Michaël Cadilhac and Dmitry Chistikov.

Soutenances de thèses

Vendredi 4 décembre 2020, 14 heures, Online

**Isaac Konan** (IRIF) *Rogers-Ramanujan type identities: bijective proofs and Lie-theoretic approach*

Graph Transformation Theory and Applications

Vendredi 4 décembre 2020, 15 heures, (online)

**Daniel Merkle & Jakob Lykke Andersen** (Department of Mathematics and Computer Science, University of Southern Denmark, Odense, Denmark) *Chemical Graph Transformation and Applications*

In this talk, we present our on-going work on creating a practical modelling framework for chemistry based on Double Pushout graph transformation, and how it can be applied to analyse chemical systems. We will address important technical design decisions as well as the importance of methods inspired from Algorithm Engineering in order to reach the required efficiency of our implementation. We will present chemically relevant features that our framework provides (e.g. automatic atom tracing) as well as a set of chemical systems we investigated are currently investigating. If time allows we will discuss variations of graph transformation rule compositions and their chemical validity.

Zoom registration link:

https://zoom.us/meeting/register/tJ0sdumopjkoGtQcjWObh5qZ6g1UDOdlUVVp

Link to YouTube live stream:

Vérification

Lundi 7 décembre 2020, 11 heures, BBB link

**Marie Fortin** (University of Liverpool) *Logics and automata over infinite message sequence charts*

One world numeration seminar

Mardi 8 décembre 2020, 14 heures 30, Online

**Tanja Isabelle Schindler** (Scuola Normale Superiore di Pisa) *Limit theorems on counting large continued fraction digits*

Combinatoire énumérative et analytique

Mercredi 9 décembre 2020, 10 heures 30, Virtuel

**Helen Jenne** (LMPT et Université de Tours) *Non encore annoncé.*