## All the past news

*7.11.2019*

**What are near-term quantum computers good for?** Iordanis Kerenidis (IRIF) will give a talk on **11/29** in a meeting organized by the DIM Sirteq where Google will present its recent results about quantum supremacy. Registration is free but mandatory.

*1.11.2019*

IRIF hosts the **annual meeting of the molecular bioinformatics research group** of CNRS (GDR BIM) from **11-05 to 11-07**.

*29.10.2019*

Walter FONTANA (MedSchool Harvard) holds the annual chair of Collège de France on the theme “Life and the Computer: The Challenge of a Science of Organization”. The lectures and seminars started since the **10-24**. Jean Krivine (IRIF) will give a seminar the **11-22**.

*23.10.2019*

Marie Kerjean (former **IRIF PhD student**) is one of the recipients of the **L'Oréal-Unesco award** for women in science. Marie is building a bridge between logic, programming, and physics using functional analysis to model proofs, and types to understand analysis.

*8.10.2019*

Talks of the IRIF Distinguished Talks Series for the coming academic year have been scheduled.
Save the dates: **January 24, March 20 and June 20**.
Speakers will be **Martin Grohe** (RWTH Aachen University), **Joseph Mitchell** (State University of New York at Stony Brook), **Simon Peyton Jones** (Microsoft Research at Cambridge, England).

*8.10.2019*

Researchers of IRIF are participating in the “Fête de la Science”! Meet them at the University of Paris **October 10-11** to better understand the first principles of computing!

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

*1.10.2019*

IRIF has the great pleasure to welcome a **new research scientist** (CNRS): **Geoffroy Couteau**, an expert in cryptography, with a focus on secure computation protocols and zero-knowledge proofs.

*25.9.2019*

**Three papers** coauthored by IRIF members will be presented at SODA’20, the main conference in algorithm design. Topics include the study of noisy models, aggregate rankings, and graph diameters.

*25.9.2019*

IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): Sam Van Gool, an expert in algebraic and topological methods for automata, logic, and model theory.

*24.9.2019*

IRIF has the great pleasure to welcome a **new professor** (Université de
Paris): Sylvain Schmitz, an expert in logic and verification, and
especially in problems of astronomical computational complexity.

*24.9.2019*

IRIF has the great pleasure to welcome a **new associate professor** (Université de Paris): Valia Mitsou, an expert in algorithms and complexity, particularly in structural parameterizations and fine grained complexity.

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

*18.9.2019*

From **September 30th to October 21st**, **Leonid Libkin** (University of Edinburgh) will give a series of **7 courses** related to his FSMP Chair on the topic of A modern theory of database query languages each **Friday 10:30-12:00 at IRIF, room 3052**.

*17.9.2019*

Giuseppe Castagna (IRIF) and his coauthors Mariangiola Dezani, Elena Giachino, and Luca Padovani (Università di Torino) will receive on October the 8th at PPDP 2019 the
**Most Influential Paper 10-Year Award** for their paper Foundation of Session Types presented at PPDP 2009.

*17.9.2019*

IRIF is having its **back-to-work-day** on **October 1st**. In the morning, there will be a welcome session for new PhD students, postdocs and TA, and in the afternoon a series of talks given by new faculty and CNRS members.

*11.9.2019*

A. Balliu and D. Olivetti (former **IRIF PhD students**), J. Hirvonen and M. Rabie (former **IRIF postdocs**), with S. Brandt and J. Suomela broke an old lower bound open question on Maximal Matchings. Their paper will be presented at FOCS as **Best Paper**.

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

*6.9.2019*

It is with great sadness that we learnt the passing of our collegue **Patrick Dehornoy** on September the 4th. IRIF had the chance to count this exceptional mathematician amongst its associate members. He will be terribly missed by all his colleagues and it is a great loss for the whole scientific community.

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

*14.7.2019*

A scientific meeting in honor of Pierre-Louis Curien will take place at IRIF, in the amphiteater 4C, Halle aux Farines building on the **6th of September**. **Registration is free but mandatory**.

*14.7.2019*

A workshop on Graph Compression and Compact Representations will take place at IRIF on **September 9-10**. Submit your talk proposal before the **25th of August**.

*28.6.2019*

IRIF is celebrating the end of the academic year on the *4th of
July* at *Amphi Pierre-Gilles de Gênes*, building *Condorcet* with a talk
at 4.00 by Emmanuelle Frenoux about computer science and the
environment, and another at 5.00 by Anne Siegel about gender balance.

*21.6.2019*

A summer school CIMPA entitled “Algorithmic and statistical approaches
to machine learning” co-organized by Vlady Ravelomanana will take
place at the University of Antananarivo from **the 16th to the 25th of
July 2019**.

*11.6.2019*

Kamil Khadiev from Kazan University, an expert in complexity and quantum computing, is visiting IRIF from June 10th to July 9th.

*30.5.2019*

**Four papers** coauthored by IRIF members will be presented at the prestigious conference CAV'19 in New York this summer. Topics include verifying weakly-consistent distributed databases, testing cache coherence protocols, and testing concurrent objects.

*25.5.2019*

Mikaël Rabie (Postdoc at IRIF) will present at ICALP'19 a new problem, about distributed reconfiguration of maximal independent sets, providing an optimal algorithm to produce a reconfiguration schedule in the LOCAL model. This work, receiving **Best Paper award in Track C**, is a joint work with Keren Censor-Hillel from the Technion (Haifa, Israël).

*10.5.2019*

IRIF is proud to announce that Constantin Enea, associate professor of Université de Paris and researcher at IRIF, was appointed junior member of IUF. This appointment will allow him to develop a research project concerning rigorous engineering of distributed databases.

*9.5.2019*

Claire Mathieu, Amaury Pouly and Yann Régis-Gianas from IRIF gave talks at the
conference of French preparatory schools to science and engineering
curriculum in May 6-10, contributing to the ongoing important changes in Computer
Science education in French high-schools and higher-education systems.

*7.5.2019*

Claire Mathieu from IRIF explained what algorithms are and what is their history to a national French radio broadcast show about Philosophy.

*26.4.2019*

**Seven papers** coauthored by IRIF members will be presented at the prestigious conference ICALP'19 in Patras this summer. Topics include automata, games, graphs, quantum computing, randomized complexity, and semigroups.

*23.4.2019*

The Spring session of Graph Theory in Paris will be held on **Friday April 26** at Amphi Turing. Speakers of the event: Penny Haxell from U. Waterloo and Patrice Ossona de Mendez from CNRS.

*23.4.2019*

Sergio Rajsbaum from Universidad Nacional Autonoma de Mexico, a world-renowned expert in the theory of distributed computing, is visiting IRIF from March 31st to May 2nd.

*19.4.2019*

Université Paris Diderot has opened several **teaching assistant positions (ATER)** in Computer Science on the research topics of IRIF. Deadline to apply : **May 6, 2019**.

*19.4.2019*

Iordanis Kerenidis (IRIF) explains what we can expect from
Quantum Computing in this interview of the CNRS journal.

*19.4.2019*

**Three papers** coauthored by IRIF members will be presented at the
prestigious conference LICS'19 in Vancouver this summer. Topics include sequent calculus, differential logic and probabilistic computation.

*16.4.2019*

Ali Charara, director of INS2I at CNRS, visits IRIF on the **morning of April 24th**. The research conducted at IRIF will be presented as well as 6 specific scientific talks. The visit will be followed by a light buffet lunch.

*8.4.2019*

We are very pleased to host as part of our IRIF Distinguished Talks Series **Johan Håstad** (Royal Institute of Technology, Stockholm) on **April 12, 10:30** for a talk entitled “*Switching lemmas in the 80ies and today*”.

*8.4.2019*

Two IRIF members (Ahmed Bouajjani and Pierre Fraigniaud) will give a talk at the Workshop on Taking Stock of Distributed Computing at College de France, **Friday April 12**.

*5.4.2019*

Penny Haxell from University of Waterloo (Canada), a world wide
expert in extremal combinatorics and graph theory, is visiting
IRIF March 28th to May 2nd.

*26.3.2019*

The ANR project DISTANCIA about graph metrics is organizing a workshop at IRIF on the **27**, **28** and **29** of **March** in room 366A of Bâtiment Condorcet.

*17.3.2019*

The Paris Region PhD2 program will grant **30 PhD projects** on Digital Sciences and with an industrial partner. IRIF is an eligible
hosting lab.
Call for application is open until **May, 15th 2019**.

*15.3.2019*

**From March 20th to May 22nd, Uri Zwick** (Univ. of Tel Aviv) will give a series
of **7 courses** related to his FSMP Chaire of Excellence on the topic
of Games on Graphs and Linear Programming Abstractions each
**Wednesday 2:15pm - 4:15pm at IRIF, room 3052**.

*14.3.2019*

FSMP offers **21 PhD student positions** in Maths and TCS under H2020 COFUND project MathInParis. As a member of the FSMP network, IRIF is an eligible hosting lab.
Call for application is open until **April, 1st 2019**. Applicants must be international students, but master students already in France for less than a year are eligible.

*14.3.2019*

Université Paris Diderot has opened **four permanent positions** in Computer Science (1 professor and 3 assistant professors). Recruited researchers will join IRIF.

*5.3.2019*

The Collège de France and IRIF are delighted to host as part of our IRIF Distinguished Talks Series **Robert Tarjan** (Princeton) on **March 18, 17:00** for a talk entitled “Concurrent Connected Components”

*19.2.2019*

Amaury Pouly (IRIF) with François Fages, Guillaume Le Guludec
and Olivier Bournez were awarded the prize "La Recherche": they have
shown that chemical reactions, as the ones taking place in cells, can
simulate Turing machines. Chemical reactions are universal computers.

*15.2.2019*

Fabian Reiter (former student at IRIF) wrote a short popularisation article in the Blog Binaire
of the newspaper Le Monde. This article explains (in French) some
aspects of his PhD thesis, recently awarded the Honorable Mention of
the Gilles Kahn prize.

*15.2.2019*

In collaboration with Yoav Rodeh (Weizmann Institute of Science),
Pierre Fraigniaud and Amos Korman from IRIF published a paper in the Journal of the ACM entitled “Parallel Bayesian Search with no
Coordination”.

*4.2.2019*

IRIF has the great pleasure to welcome **Sandra Alves**, assistant professor at University of Porto and expert in
type-theory, rewriting, and fundamental calculi, who is visiting
the IRIF until the 8th of February.

*1.2.2019*

IRIF has the great pleasure to welcome **Uri Zwick**, professor at the Blavantik School of Computer Sience (University of Tel-Aviv), who is visiting for four months. His stay is financed by an FSMP chair. Uri is an expert in algorithms, data structures and games. Meet him in office 4048.

*1.2.2019*

Carole Delporte (IRIF) will give a seminar at Collège de France as part of the annual Chair of Rachid Guerraoui (EPFL) on Distributed Algorithms, **March 1**.

*1.2.2019*

Enrica Duchi and Guillaume Chapuy (IRIF) organise **February the 15th** in Amphi Turing, a map day (Journée cartes) dedicated to combinatorial and probabilistic aspects of maps.

*30.1.2019*

The next meeting of the **ANR project FREDDA** (FoRmal mEthods for the Design of Distributed Algorithms) will happen at IRIF,
Monday **4th** and Tuesday **5th February 2019**, room 3052.

*23.1.2019*

A CIMPA school on Graphs, Algorithms and Randomness is co-organized by Reza Naserasr from IRIF at Tabriz University, **15-22 June 2019**. Three colleagues from IRIF, Pierre Fraigniaud, Michel Habib and Frédéric Magniez, are among the five lecturers from France.

*23.1.2019*

FILOFOCS (French-Israeli Laboratory on Foundations of Computer Science),
the first International Joint Unit in Israel, was just created by CNRS, Univ. Paris Diderot, Tel-Aviv Univ.,
Hebrew Univ. of Jerusalem and Weizmann Institute. IRIF hosts its “mirror site” in France, and
Adi Rosén from IRIF is deputy director.

*17.1.2019*

Pierre Fraigniaud from IRIF organizes the Workshop Complexity and Algorithms (CoA), in the framework of GdR IM, Roscoff, France, **April 1-5, 2019**. The objective of this workshop is to gather the French community on design and analysis of algorithms, of all forms.
**Deadlines**: submission by 01/02/2019, registration by 02/03/2019.

*17.1.2019*

Guillaume Chapuy and Enrica Duchi from IRIF coorganize with Christina Goldschmidt (Oxford) the
Journées Aléa 2019, a CNRS
thematic school about discrete random structures, from **03-18 to 03-22**
at CIRM. Register by **January 23**.

*16.1.2019*

Giuseppe Castagna, Victor Lanvin, Tommaso Petrucciani from IRIF
present this week at POPL19
a paper coauthored with Jeremy Siek (Indiana university) about a new formal framework for gradual typing allowing a smoother and more declarative integration of gradual typing in existing programming languages.

*10.1.2019*

The day of the ASV pole will take place **Monday January 21**.

*9.1.2019*

IRIF has the great pleasure to welcome Jeremy Siek, professor at Indiana University Bloomingtom, who is visiting IRIF for five months. Jeremy is the creator of gradual typing and a world-renowed expert in typed programming languages. Meet him in office 4034a.

*8.1.2019*

IRIF has the great pleasure to welcome a new researcher (CNRS), Amaury Pouly, an expert in continuous models of computations, and the analysis and verification of continuous/hybrid dynamical systems.

*1.1.2019*

Christine Tasson (IRIF) will give a seminar at Collège de France as part of the lectures of Xavier Leroy (Collège de France) on Software Science, **January 23**.

*21.12.2018*

Frederic Magniez (IRIF) will present at QIP 2019 a quantum distributed algorithm to compute the diameter of a quantum distributed congested network. This is the first quantum distributed algorithm that overcomes classical algorithms for this task.

*19.12.2018*

Fabian Reiter now at LSV was awarded the Honorable Mention of the **Gilles Kahn prize** for his PhD Distributed Automata and Logic supervised by Olivier Carton at IRIF.

*13.12.2018*

Constantin Enea (IRIF) will present at POPL 2019 a methodology for specifying software modules whose operations satisfy multiple consistency levels. This work has revealed previously unknown documentation errors and bugs in Java concurrent objects.

*9.12.2018*

The Alexander von Humboldt Foundation has honored Ahmed Bouajjani (IRIF) with the prestigious **Carl Friedrich von Siemens Research Award**, in recognition of his research contributions.

*3.12.2018*

Maybe you are an eager bitcoin miner? Maybe you are a fan of quantum computing too, and you wonder what will change in the mining competition when done by quantum computers? Find some answers in a paper coauthored by Miklos Santha (IRIF) to be presented at ITCS’19.

*1.12.2018*

Hugues Fauconnier (IRIF) will give a seminar at Collège de France as part of the annual Chair of Rachid Guerraoui (EPFL) on Distributed Algorithms, **December 21**.

*1.12.2018*

Matthieu Sozeau (IRIF) will give a seminar at Collège de France as part of the lectures of Xavier Leroy (Collège de France) on Software Science, **December 12**.

*29.11.2018*

Constantin Enea from IRIF organizes with Ruzica Piskac (Yale University), the *20th International Conference on Verification, Model Checking, and Abstract Interpretation* (**VMCAI 2019**). The conference is preceded by a winter school on formal methods.

*21.11.2018*

Two papers coauthored by IRIF members will be presented at ITCS’19, a prestigious conference to promote research that carries a strong and innovative conceptual message in TCS. Topics include communication complexity and quantum dueling algorithms.

*20.11.2018*

One paper coauthored by Laurent Feuilloley while he was PhD student at IRIF will be presented at SODA’19, the main conference in algorithm design. The paper provides lower bounds for the fundamental problem of text indexing with mismatches and differences using the Strong Exponential Time Hypothesis.

*20.11.2018*

Two papers coauthored by IRIF members will be presented at QIP’19, the main conference for theoretical quantum information research. Topics include efficient quantum algorithms for both algebraic and distributed problems.

*19.11.2018*

IRIF has the great pleasure to welcome **Mahsa Shirmohammadi**, researcher scientist (CNRS) from LIS, who is visiting IRIF for six months and who is an expert in the analysis and verification of timed, counter and probabilistic systems.

*17.11.2018*

Four papers coauthored by IRIF members will be presented at POPL’19, the main conference on programming languages and programming systems. The papers' topics are game semantics, proof theory, gradual typing, and consistency for concurrent computations.

**Games**are mathematical objects used for modeling situations in which several participants/players interact, and each of them aims at fulfilling a personal goal. Real games such as chess or go are cases in which there are two players which are opponent. Games occur in computer science for modeling the logical duality between conjunction and disjunctions, or for defining particular families of complexity classes. Games appear in verification for describing how a system has to react to the environment (the opponent) in order to perform what it has been designed for.

**Gradual typing**is a technique that allows the programmer to control which parts of a program check their type correctness (i.e., that apples are added to apples) before execution and which parts check it during their execution instead. It is often used to

*gradually*add the before-execution check to dynamic languages, like JavaScript, which perform the check only at run-time, since it is generally better to find errors before the execution of a program rather than during its execution.

**Proof theory**is the branch of mathematical logic that studies proofs as mathematical objects. In particular, proof are syntactic constructions built from axioms and inference rules. Relevant to computer science are the studies of computational and complexity aspects of proofs.

**Memory consistency models**characterize the effect of concurrent invocations to a library implementing a shared state, e.g., a queue or a key-value map. Strong consistency means that the results of concurrently-executed invocations match the results of some serial execution of those same invocations. Since strong consistency carries a significant penalty on performance, modern implementations provide weaker guarantees known as weak consistency models, e.g., eventual or causal consistency.

*12.11.2018*

**IRIF** and PCQC are partners in the EU Flagship project Quantum Internet Alliance (QIA) and in charge of delivering the QIA's blueprint for the future of quantum communications.
The EU selected nineteen research projects, and ten of them are based on French teams.

*10.11.2018*

The last plenary meeting of GDRI Logique Linéaire takes place at IRIF, **December 3-5**.
The program consists of talks given by members of the GDRI.

*10.11.2018*

The first meeting of the French-Chinese research project **Verification Interaction Proof** will take place in Paris at IRIF on **November 19-24**. Registration is free but mandatory.

*10.11.2018*

We are delighted to host as part of our IRIF Distinguished Talks Series **Maurice Helihy** (Brown University)
on **Nov. 16, 10:30** for a talk entitled “Atomic Cross-Chain Swaps”.

*9.11.2018*

The first session of a series of seminars **Graph Theory in Paris** will be hosted by IRIF. There will be two seminars by Monique Laurent and Lex Schrijver on **November 23, at 2pm**, in Amphi Turing of Sophie Germain building.

*5.11.2018*

Amélie Gheerbrand and Cristina Sirangelo from IRIF co-organize with L. Libkin, L. Segoufin, and P. Senellart, the *2019 Spring School on Theoretical Computer Science* (**EPIT**) on *Databases, Logic and Automata*, to happen the **7-12 April 2019** in Marseille. Preregistration before **13 January 2019**.

*5.11.2018*

The Journées PPS 2018 will take place on *Thursday 8 and Friday 9 November*, room 3052, building Sophie Germain.

*12.10.2018*

IRIF has the great pleasure to welcome a new research scientist (CNRS): **Claire Mathieu**, an expert in algorithms, particularly the design of approximation schemes for NP-hard combinatorial.

*12.10.2018*

IRIF has the great pleasure to welcome a new professor (Paris Diderot): **Pierluigi Crescenzi**, an expert in graph algorithms, particularly in the analysis of real-world complex networks.

*12.10.2018*

IRIF has the great pleasure to welcome a new assistant professor (Paris Diderot): **Adrien Guatto**,
an expert in synchronous languages, typed functional programming, and categorical semantics.

*10.10.2018*

IRIF has the great pleasure to welcome a new assistant professor (Paris Diderot): **Daniela Petrisan**, an expert in categories, co-algebra and automata.

*9.10.2018*

The paper *“Equivalences for Free : Univalent Parametricity for Effective Transport”* of Matthieu Sozeau (IRIF), with his coauthors Nicolas Tabareau and Eric Tanter, has been selected as a distinguished paper of the ICFP conference.

*8.10.2018*

On **October 8-11** IRIF organizes a joint meeting of 3 projects which are closely related: GDRI-LL, CRECOGI, and ELICA. Everybody is welcome to attend.

*8.10.2018*

Jean Krivine (researcher at IRIF) will lead a public debate about Artificial Intelligence at the “Festival Maths en Ville” of Saint-Denis. It will take place on the 11/10/2018 at the theater “L'écran”, starting at 19.30.

*7.10.2018*

Jean-Eric Pin, CNRS senior researcher at IRIF, is awarded the Arto Salomaa prize for his outstanding contribution to the field of Automata Theory.

*7.10.2018*

IRIF is having its **back-to-work-day** on **October 15th**. In the morning, there will be a PhD student session, and in the afternoon a series of talks given by new faculty and CNRS members.

*5.10.2018*

IRIF is seeking excellent candidates for about **10 postdoctoral positions** in all areas of the Foundations of Computer Science.

*4.10.2018*

In an article of October of Communications of the ACM, Jean-François Abramatic, Roberto Di Cosmo (IRIF) and Stefano Zacchiroli (IRIF) explain the mission of the Software Heritage project.

*15.9.2018*

IRIF co-organizes the Workshop on Emergent Algorithms and Network Dynamics (Wendy) that will take place at Institut Henri-Poincaré in Paris on **October 10-11, 2018**.
Registration is free but mandatory.

*14.9.2018*

The **October 2**, IRIF organizes the next Annual workshop of the French Working Group on Complexity and Algorithms (CoA). This year, the workshop will consist of a series of introductory and survey talks about various hot topics in algorithms, including Blockchains, Machine Learning, Sum-of-Square, etc.

*11.9.2018*

Back-to-work day of the "Algorithms and discrete structures" pole, which gathers the research groups Algorithms and complexity, Combinatorics, Complex Systems, Networks, and Distributed Computing and Theory and algorithmics of graphs
on September 11, 2018, room 3059, 9h30-16h15.

*7.9.2018*

The EU QuantAlgo project workshop will be held in Paris at IRIF **September 25-28, 2018**. This is a joint workshop with the IRIF-IQC Cooperation project between CNRS and U. Waterloo.
QuantAlgo project aims to combine research on the fundamentals of quantum algorithms with the development of new applications.

*4.9.2018*

IRIF organizes the workshop Quantifiers and duality that will take place at Amphi Turing (building Sophie Germain, University Paris Diderot) on the **2018/09/11**. Registration is free but mandatory.

*9.8.2018*

IRIF organizes the 7th FILOFOCS (French-Israeli Laboratory on Foundations of Computer Science)
workshop which will be held at the institut Henri Poincaré (IHP), on **3-5 October, 2018**.
A preliminary list of speakers in now available and
registration (mandatory, but free) is now open.

*1.8.2018*

At the occasion of the retirement of Michel Habib and in celebration of his
achievements, IRIF organizes a two-day conference “40 années
d'algorithmique de graphes”, **11-12 Oct**, Amphi Turing (Sophie Germain, Univ. Paris Diderot). Free mandatory registration.

*29.7.2018*

Ludovic Patey was awarded the Prix Thiessé de Rosemont / Demassieux for his PhD thesis « Les mathématiques à rebours de théorèmes de type Ramsey », supervised by Laurent Bienvenu and Hugo Herbelin.

*29.7.2018*

IRIF organizes the 59th IEEE Symposium on Foundations of Computer Science (FOCS 2018) on **October 7-9, 2018**.
FOCS is a leading annual conference in Theoretical Computer Science,
and has served in the last 60 years as a venue for announcing the major scientific advances in the field. The list of accepted papers is now available,
and the registration is now open (**deadline for early rate: September 9, 2018**).

*10.7.2018*

Mihaela Sighireanu (IRIF) is organizing the second edition of SL-COMP, a competition of solvers for separation logic. The final results will be presented at ADSL 2018, a workshop of FLOC2018, which will take place in Oxford on the 13.07.18.

**Separation logic**is a language for describing properties and reasoning about programs that use mutable data structures (i.e. memory cells and pointers). Separation logic has a special support for local reasoning, which is the ability to use and compose properties that involve a subset of the data configuration only: it

*separates*the relevant portion of the data structure from the irrelevant one. Local reasoning gives more compact proofs and specifications for imperative programs than with prior formalisms. Furthermore, it helps with the scalability of proofs done in automatic and semi-automatic verification and program analysis tools.

*6.7.2018*

Mihaela Sighireanu (IRIF) is co-chair of the 18th International Workshop on Automated Verification of Critical Systems (AVOCS) which will take place in Oxford from 18.07.18 to 19.07.18 as part of FLOC2018.

*29.6.2018*

Raphaëlle Crubillé (PhD student IRIF) will present at
LICS 2018 an analytic account of the discrete probabilities fragment of a denotational model for higher-order programming with general probabilities, hopefully a first step towards proving that this model is fully abstract.

*27.6.2018*

Berenice Delcroix-Oger (IRIF) participated to the annual festival **Salon Culture & Jeux Mathématiques 2018**. On the following video (1:50), she presents a funny game where mathematics help you perform magic tricks!

*15.6.2018*

Amina Doumane (former PhD student at IRIF, now at LIP) was awarded the **Ackermann prize of EACSL** for her PhD thesis entitled On the infinitary proof theory of logics with fixed points.

*6.6.2018*

Delia Kesner (IRIF) and Matthieu Sozeau (IRIF) will both give
invited talks entitled *“Multi Types for Higher-Order languages”*
and *“The Predicative, Polymorphic Calculus of Cumulative Inductive Constructions and its implementation”*
at TYPES 2018, held in Braga (Portugal), June 18-21.

*6.6.2018*

Today Roberto Di Cosmo (professor at IRIF) with a ceremony at UNESCO opened to the public the archives of **Softwareheritage.org**, a worldwide initiative to create a universal library of computer programme source codes since the dawn of the digital age.

*6.6.2018*

We are delighted to host as part of our IRIF Distinguished Talks Series
**Christos Papadimitriou** (Columbia University) on **July 13, 10:30** for a talk entitled *“A computer scientist thinks about the Brain”*.

*1.6.2018*

Claire Mathieu (IRIF associate member) organizes a 1-day colloquium on Approximation algorithms and networks at Collège de France on ** June 7**. This is part of the Chair in Informatics and Computational Sciences at College de France in association with INRIA.

*1.6.2018*

Adi Rosén (IRIF) will give a talk during a 1-day colloquium at Collège de France as part of the annual Chair of Claire Mathieu (IRIF associate member) on Algorithms, **June 7**.

*31.5.2018*

Paul-André Melliès (IRIF) will present at LICS 2018
his work on ribbon tensorial logic, a primary logic designed to reveal the secret topology of reasoning.
This is the first time that logical proofs are faithfully translated into topological
tangles using functorial knot theory.

*30.5.2018*

**« Tous femmes de numérique ! »** Après leur rencontre avec **4 informaticiennes de l’IRIF**, 14 lycéennes du Lycée Jules Ferry ont expliqué à leurs camarades l’exposition permanente du Palais de la découverte sur l’informatique et les sciences du numérique le 29/05.

*25.5.2018*

Marie Kerjean (PhD student IRIF) will present at LICS 2018
a logical account for linear partial differential equations.
With this work, she unveils a bridge between mathematical physics and proof theory,
paving the way for exciting and mutually beneficial transfers of techniques.

*21.5.2018*

Pierre Vial (IRIF) will present at
LiCS 2018 an excerpt of his
PhD work at IRIF
proving that every lambda-term has an infinite linear representation in
the infinitary relational model. This work pioneers a technique that
allows giving a semantic even to unproductive programs.

*11.5.2018*

Amos Korman (IRIF) Amos Korman is co-chairing, and organizing the 6th Workshop on Biological Distributed Algorithms, to be held in London in **July, the 23rd**.

*4.5.2018*

Miklos Santha (IRIF) participates to the conference-debate
*Calcul, communication, simulation et métrologie quantiques : des principes aux réalisations concrètes*
organized by **Académie des sciences** at the Institut de France on ** May 15**.

*27.4.2018*

IRIF is proud to announce that Delia Kesner,
professor of University Paris Diderot and researcher at IRIF, was appointed senior member of IUF.

*23.4.2018*

Six papers coauthored by IRIF members will be presented at the prestigious conference LICS'18 in
Oxford this summer. Topics range from λ-calculus, to Separation Logic…

*6.4.2018*

Victor Lanvin (PhD student of Giuseppe Castagna, IRIF) is awarded the Google PhD fellowship! Through the FSMP, Google will give a significant support to Victor's research work on gradual typing.

*3.4.2018*

The conference Numeration 2018 will be held on **May 22-25** at the University Paris Diderot, and is organized by Valérie Berthé, Christiane Frougny and Wolfgang Steiner from IRIF.

*21.3.2018*

“The Kappa platform for rule-based modeling”, a collaboration between Jean Krivine (IRIF) and researchers from Harvard University,
ENS and Santa Cruz University will be presented at ISMB2018.

*21.3.2018*

The next meeting of the ANR project DELTA, conducting research about the new challenges in Logic,
Automata and Transducers, will take place at University Paris Diderot **from 2018/03/26 to 2018/03/28**.
Scientific talks are public.

*21.3.2018*

The next meeting of the ANR project DESCARTES, aiming at defining a modular approach for distributed computing, will take place at IRIF on **March 28, 2018**. Scientific talks are public.

*8.3.2018*

In the scope of the IRIF Distinguished Talks Series
**Monika Henzinger** (University of Vienna) will give on **April 13** a talk on
*“The state of the art in dynamic graph algorithms”*.

*2.3.2018*

Adrian Kosowski (IRIF), together with Bartek Dudek (University of Wroclaw),
will present at STOC 2018 a new protocol for spreading information
in a population. This is the first time that methods of oscillatory dynamics
are used to solve a basic task of information dissemination.

*27.2.2018*

FSMP offers **20 PhD student positions** in Maths and TCS under
H2020 COFUND project MathInParis. As a member of the FSMP network, IRIF is an eligible hosting lab.
Call for application is open until **April, 1st 2018**. Applicants must be international students, but master students already in France for less than a year are eligible.

*27.2.2018*

Constantin Enea (IRIF) is an organizer of the 2018 edition of the
EPIT **research school**, on the subject of software verification, to he held in Aussois on **May 7-11 2018**.

*7.2.2018*

Peter Habermehl (IRIF) and Benedikt Bollig
(LSV, ENS Paris-Saclay) organize the **research school**
MOVEP (*Modelling and Verification of Parallel Processes*), on **July 16-20** in Cachan.

*5.2.2018*

Université Paris Diderot has opened **three permanent positions** in
Computer Science
(1 professor on Graph and applications, 1 assistant professor on Software Science,
1 assistant professor on Data Science).
Recruited researchers will join IRIF.

*4.2.2018*

Laurent Viennot (IRIF, Inria) is Scientific Curator of the exhibition Informatique et sciences du numérique, at **Palais de la découverte**, starting **March 13, 2018**.

*2.2.2018*

Amina Doumane, now at LIP, was awarded the **“La Recherche” prize** in the Computer Science category for her paper
entitled Constructive Completeness for the linear-time mu-calculus,
a work accomplished during her PhD at IRIF and that appeared in the proceedings of LICS’17.

*1.2.2018*

The first **on-the-fly quantum money transaction** was implemented by researchers in Paris,
including Iordanis Kerenidis. Quantum money is provably unforgeable due to the no-cloning property of quantum information.

*27.1.2018*

The **international French and Argentina CNRS laboratory** called INFINIS
lead by Delia Kesner (IRIF)
and Sergio Yovine (CONICET) is
presented in the CNRS Rio newsletter.

*18.1.2018*

IRIF organizes on **February, 6th** a Scientific Day in memory of Maurice Nivat,
professor at Paris Diderot University and a pionneer of theoretical computer science. Please register.

*11.1.2018*

January the 10th 2018, this is the kick-off meeting of the ANR project FREDDA (FoRmal mEthods for the Design of Distributed Algorithms).

*5.1.2018*

Lucas Boczkowski and Amos Korman
from IRIF, with their co-authors, will present at
ITCS 2018
a non-conditional lower bound on **information dissemination in stochastic populations**.
The paper is the first ever to combine an algorithmic lower bound with a biology experiment in collective behavior.

*19.12.2017*

IRIF and ATOS have started the first Industrial PhD Thesis (CIFRE) on quantum algorithms in France.
The PhD candidate Alessandro Luongo is co-advised by Iordanis Kerenidis and Frédéric Magniez.

*29.11.2017*

Wenjie Fang was awarded the Honorable Mention of the Gilles Kahn prize for his
PhD thesis entitled « Aspects énumératifs et bijectifs des cartes combinatoires : généralisation, unification et application » and supervised by Guillaume Chapuy and Mireille Bousquet-Mélou.

*29.11.2017*

Amina Doumane was awarded the Gilles Kahn prize for her PhD thesis entitled « On the infinitary proof theory of logics with fixed points » supervised by Alexis Saurin, David Baelde and Pierre-Louis Curien.

*27.11.2017*

Scientific Day in memory of Maurice Nivat, professor at Paris Diderot University and a pionneer of theoretical computer science in France and in the world, who passed away on September the 21st, 2017.

*25.11.2017*

**Back-to-work day of the “Automata, Structures, and Verification” pole**, which gathers the research groups Automata and applications and Modelling and verification
on November 25, 2017.

*22.11.2017*

**6th French-Israeli Workshop on Foundations of Computer Science**
on November 22-23, 2017 at Tel-Aviv University, Israel.

*15.11.2017*

2-day workshop on December 7-8:
Closing workshop of ANR project on Restricted Data Access Models
and
1st IRIF-IQC Workshop on Quantum Information Processing (CNRS bilateral collaboration).

*1.11.2017*

Pierre Fraigniaud (IRIF) will give a seminar at Collège de France as part of the annual Chair of Claire Mathieu (IRIF associate member) on Algorithms, **November 18**.

*10.10.2017*

Back-to-work day of the “Proofs, programs and systems” pole
on October 12-13, 2017 at room 3052.

*6.10.2017*

Guillaume Lagarde and Sylvain Perifel have solved a 20-year old conjecture related to Lempel-Ziv. This will be presented at the
29th ACM-SIAM Symposium on Discrete Algorithm (**SODA 2018**).

*1.10.2017*

Two papers coauthored by IRIF members will be presented at SODA’18, the main conference in algorithm design. Topics include the resolution of a 20-year old conjecture related to Lempel-Ziv, and a new approximation algorithm for recognizing Dyck languages.

*1.9.2017*

IRIF has the great pleasure to welcome a new assistant professor: Bérénice Delcroix-Oger, an expert in combinatorics and computational algebra.

*1.9.2017*

Claire Mathieu (IRIF associate member) holds the Chair in Informatics and Computational Sciences at College de France in association with Inria for the academic year 2017-18.

*15.6.2017*

Victor Lanvin is awarded the first prize for the ACM Student Research Competition Grand Finals, undergraduate category. The prize will be presented on June the 24th at the *Turing Award* Cerimony in San Francisco.

*1.3.2017*

The 5-year ERC project CombiTop of Guillaume Chapuy has started on March 1st, 2017. The purpose of this project is to use the ubiquitous nature of certain combinatorial topological objects called maps in order to unveil deep connections between several areas of mathematics.

*30.1.2017*

Amos Korman has been interviewed by Le Monde for his recent results on ants with several co-autors at IRIF.

(These news are displayed by date of creation)