## Welcome to IRIF

IRIF, the Research Institute on the Foundations of Computer Science, is a research laboratory of CNRS and université Paris-Diderot, also hosting two INRIA project-teams.

The research conducted at IRIF is based on the study and understanding of the foundations of all computer science, in order to provide innovative solutions to the current and future challenges of digital sciences.

IRIF hosts about 200 people. Six of its members have been distinguished by the European Research Council (ERC), five are members of the Institut Universitaire de France IUF), and two are members of the Academia Europæa.

## Notion of the day

## News

*23.9.2019*

Giuseppe Castagna (IRIF) and Jeremy Siek (Indiana) organize WGT 2020, the first *ACM SIGPLAN Workshop on Gradual Typing*, colocated with POPL. Submission deadline: Monday, October the 21st.

*10.9.2019*

IRIF is seeking excellent candidates for about **10 postdoctoral positions** in all areas of the Foundations of Computer Science. Deadline for applications: **Nov. 3, 2019**.

*8.10.2019*

From ancient history to quantum, learn about cryptography at “Fête de la science” in an entertaining talk by Sylvain Perifel (IRIF) **Friday October 11th, 11am**
at Amphitheater 4C, Halle aux farines.

*2.10.2019*

IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): Hugo Férée, an expert in various aspects of complexity theory, with interests in programming languages and formal proofs.

*8.10.2019*

The SODA 2020 conference will include a paper by Vincent Cohen-Addad (LIP6), Frederick Mallmann-Trenn (King's College) and Claire Mathieu (IRIF) about computing with noisy data. The problem: select valuable objects in a setting where each assessment has a probability of error, using redundant assessments.

*3.9.2019*

IRIF has the great pleasure to welcome **Leonid Libkin**, professor at University of Edinburgh, who is visiting for three months. His stay is financed by an FSMP chair. Leonid is an expert in data management and applications of logic in computer science. Meet him in **office 4048**.

(These news are displayed using a randomized-priority ranking.)

## Events

Algorithms and complexity

Tuesday October 15, 2019, 11AM, Salle 1007

**Zvi Lotker** (Ben Gurion University) *Variation on preferential-attachment*

Enumerative and analytic combinatorics

Thursday October 17, 2019, 2PM, Salle 1007

**Mark Skandera** (Lehigh university) *Non négativité et traces de l'algèbre de Hecke*

Ce travaille a été réalisé avec Adam Clearwater.

Proofs, programs and systems

Thursday October 17, 2019, 10:30AM, École normale supérieure de Lyon

**Eric Finster** *Séminaire Chocola*

Higher categories, polygraphs and homotopy

Friday October 18, 2019, 2PM, Salle 1007

**Léonard Guetta** (IRIF) *Colimites homotopiques et tranches*

Verification

Monday October 21, 2019, 11AM, Salle 1007

**Mohamed Faouzi Atig** (Uppsala University) *On Solving String Constraints*

Graphs

Tuesday October 22, 2019, 2PM, Salle 3052

**Michael Lampis** (Universite Paris Dauphine) *Finer Tight Bounds for Coloring on Clique-Width*