Institut de Recherche en Informatique Fondamentale

Research Institute on Fundamental Informatics


IRIF

IRIF is a research unit co-founded by CNRS and University Paris-Diderot, as UMR 8243, resulting from the merging of the two research units LIAFA and PPS on January 1st, 2016. Its scientific objectives are at the core of computer science, focusing on the following aspects: mathematical foundations of computer science; computational models and proofs; models, algorithms and system design. See more here.



Upcoming seminars


Vendredi 30 septembre 2016 · 14h30 · TBA

Automates · Équipe automate · Journée de rentrée

Sylvain Lombardy (LaBRI)– Démonstration du logiciel Vaucuson-R

Lundi 03 octobre 2016 · 11h00 · Salle 1007

Vérification · Giovanni Bernardi (IRIF) · Robustness against Consistency Models with Atomic Visibility

To achieve scalability, modern Internet services often rely on distributed databases with consistency models for transactions weaker than serializability. At present, application programmers often lack techniques to ensure that the weakness of these consistency models does not violate application correctness. In this talk I will present criteria to check whether applications that rely on a database providing only weak consistency are robust, i.e., behave as if they used a database providing serializability, and I will focus on a consistency model called Parallel Snapshot Isolation. The results I will outline handle systematically and uniformly several recently proposed weak consistency models, as well as a mechanism for strengthening consistency in parts of an application.

Mercredi 05 octobre 2016 · 11h00 · Salle 1007

Combinatoire énumérative et analytique · Yann Chiffaudel (LPMA) · Approche macroscopique de la diffusion dans le modèle des miroirs

Dans la littérature mathématique, le mot diffusion fait référence à plusieurs définitions différentes. Je m'intéresse à la diffusion dite “macroscopique” caractérisée par l'existence d'une densité de particules évoluant selon la loi de Fick. Je porterai mon attention sur le modèle des miroirs en dimension 2 et sur sa généralisation en dimension quelconque. Ce modèle de gaz de Lorentz sur réseau permet un énoncé clair et rigoureux de la loi de Fick. Une approche analytique nous a permis de simplifier le problème et de réaliser une étude numérique qui permet de conjecturer la validité de la loi de Fick en dimension 3. Je présenterai l'étude complète de façon très visuelle et abordable.

Jeudi 06 octobre 2016 · 10h30 · Salle 3052

Preuves, programmes et systèmes · Giulio Manzonetto (LIPN) · New Results on Morris's Observational Theory — The Benefits of Separating the Inseparable

We study the theory of contextual equivalence in the untyped lambda-calculus, generated by taking the normal forms as observables. Introduced by Morris in 1968, this is the original extensional lambda theory H+ of observational equivalence. On the syntactic side, we show that this lambda-theory validates the omega-rule, thus settling a long-standing open problem. On the semantic side, we provide sufficient and necessary conditions for relational graph models to be fully abstract for H+. We show that a relational graph model captures Morris's observational pre-order exactly when it is extensional and lambda-König. Intuitively, a model is lambda-König when every lambda-definable tree has an infinite path which is witnessed by some element of the model.

Vendredi 07 octobre 2016 · 14h30 · Salle 1006

Automates · Hubie Chen · TBA



Events


Mercredi 7 – Vendredi 9 septembre 2016 · Institut Henri Poincaré (IHP)

Approx-Random 2016


Dimanche 15 - Vendredi 20 Janvier 2017 · Jussieu

POPL 2017



Affiliation


Université Paris-Diderot – Paris 7

CNRS


Departments

Partners


Fédération de Recherche en Mathématiques de Paris Centre

Fondation Sciences Mathématiques de Paris

INRIA