### Institut de Recherche en Informatique Fondamentale

** Research Institute for Foundations of Computer Science **

The scientific objectives of the laboratory are at the core of computer science, focusing on: the mathematical foundations of computer science; computational models and proofs; models, algorithms and system design.

#### Upcoming seminars

Vendredi 20 janvier 2017 · 14h30 · Salle 3052

Automates · Nathanaël Fijalkow (Alan Turing Institute) · Logical characterization of Probabilistic Simulation and Bisimulation.

In particular, I will look at logical characterizations for this notion: the goal is to describe a logic such that two systems are bisimilar if and only if they satisfy the same formulas. This question goes all the way back to Hennessey and Millner for non probabilistic transition systems.

I will develop topological tools and give very general logical characterization results for probabilistic simulation and bisimulation.

Vendredi 20 janvier 2017 · 14h00 · Salle 1007

Catégories supérieures, polygraphes et homotopie · Alexandre Quesney · Opérades Swiss Cheese et décompositions cellulaires

Mardi 24 janvier 2017 · 14h00 · Salle 1007

Algorithmique distribuée et graphes · Maximilien Danisch (Telecom Paris Tech) · Towards real-world graph algorithmics

Mardi 24 janvier 2017 · 11h00 · Salle 3052

Sémantique · Arnaud Spiwack (Tweag I/O) · Retrofitting linear types

I had always had the belief that to add linear types to a language was a rather intrusive procedure and that a language with linear types would basically be an entirely new language. The Rust language is a case in point: it has a linear-like type system, but it's a very different language from your run-of-the-mill functional language.

This turns out not to be the case: this talk presents a way to extend a functional programming language. We are targeting Haskell but there is little specific to Haskell in this presentation. I will focus mostly on the type system and how it can be generalised: among other things the type system extends to dependent types.

#### Events

Vendredi 9 décembre 2016 · 14h · Salle des thèses

Dimanche 15 - Vendredi 20 Janvier 2017 · Jussieu

44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)