Journée scientifique à la mémoire de Maurice Nivat 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. Informations pratiques 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) Intervenants des exposés scientifiques 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 Programme 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 Carole Delporte (IRIF, Paris). Maurice Nivat et l'informatique fondamentale à l'Université Paris 7 Delia Kesner (IRIF, Paris). La consolidation d'une communauté : l'initiative des Écoles de Printemps d'Informatique Théorique Serge Abiteboul (INRIA Paris). Maurice Nivat : son combat pour l'enseignement de l'informatique 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