Maurice Nivat, professeur à l'Université Paris-Diderot et pionnier de l'informatique fondamentale en France et dans le monde, nous a quittés le 21 septembre 2017.
L'IRIF lui rend hommage en organisant une journée scientifique.
Date : le mardi 6 février 2018, de 9h à 18h
Lieu : amphithéâtre Buffon de l'Université Paris-Diderot, 15 Rue Hélène Brion, 75013 Paris
Inscription : https://goo.gl/forms/Wlz4OeI6T8te6bMl1 (gratuite mais obligatoire)
Valérie Berthé (IRIF, Paris). Combinatoire et géométrie des mots multidimensionnels
Thomas Ehrhard (IRIF, Paris ). La sémantique, un point de vue mathématique sur les programmes
Andrea Frosini (Univ. di Firenze, Italie). A new perspective on Discrete Tomography
Anca Muscholl (LABRI, Bordeaux). Quelques résultats récents sur les transducteurs de mots
Olivier Serre (IRIF, Paris). Vérification de programmes randomisés d’ordre supérieur
Géraud Sénizergues (LABRI, Bordeaux). La réécriture parfaite: développements et convergence
9h · Accueil des participants
9h15 – 9h30 · Mots de bienvenue, intervention de Michel Bidoit (directeur de l'INS2I)
9h30 – 10h20 · Valérie Berthé
10h20 – 11h10 · Andrea Frosini
11h10 – 11h30 · Pause
11h30 – 12h15 · Maurice homme d'action : Interventions de
12h-15 – 14h · Buffet dans le hall de l'amphi
14h – 14h50 · Anca Muscholl
14h50 – 15h40 · Thomas Ehrhard
15h40 – 16h10 · Pause
16h10 – 17h · Géraud Sénizergues
17h – 17h50 · Olivier Serre