Institut de Recherche en Informatique Fondamentale


IRIF

L'IRIF est une unité mixe de recherche (UMR 8243) du CNRS et de l'Université Paris-Diderot, issue de la fusion des deux UMR LIAFA et PPS au 1er janvier 2016. Ses objectifs scientifiques se déclinent selon trois grandes thématiques au cœur de l'informatique : les fondements mathématiques de l’informatique ; les modèles de calcul et de preuves ; la modélisation, les algorithmes et la conception de systèmes. Voir plus ici.



Prochains séminaires


Lundi 26 septembre 2016 · 11h00 · Salle 1007

Vérification · Arnaud Sangnier (IRIF) · A venir


Mardi 27 septembre 2016 · 14h00 · Salle 1007

Algorithmique distribuée et graphes · Ha Duong Phan (Institute of Mathematics, VAST, Vietnam.) · Algorithms for computing the rank of divisors on some classes of graphs.

The notion of rank of divisor on graph was introduced by Baker and Norine in 2007 in showing the link with the similar notion on Riemann surface. Moreover, the authors have developed a theorem for divisors on graph analogue to the classical Riemann-Roch theorem. Since then, many works have studied for computing the rank of divisors on graph. A very important is the new theorem on the NP-hardness complexity of the Problem of computing the rank of divisor on general graph. The proof of this result was based on the proof of the NP-hardness of the Problem of finding the minimum recurrent configurations of Chip Firing Game on directed graphs (by Perrot and Pham). In this talk, we will present some (linear) algorithms for computing the rank of divisors on some classes of graphs.

Mercredi 28 septembre 2016 · 11h00 · Salle 1007

Combinatoire énumérative et analytique · Guillaume Chapuy (IRIF) · L


Vendredi 30 septembre 2016 · 14h30 · TBA

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

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


Événements


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

Approx-Random 2016


Dimanche 15 - Vendredi 20 Janvier 2017 · Jussieu

POPL 2017



Organismes de tutelle


Université Paris-Diderot – Paris 7

CNRS


UFR de rattachement

Partenaires


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

Fondation Sciences Mathématiques de Paris

INRIA