Maurice Nivat, le 24 avril 2013

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

9h15 – 9h30 · Accueil

9h30 – 11h10 · Deux exposés scientifiques

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 – 15h40 · Deux exposés scientifiques

15h40 – 16h10 · Pause

16h10 – 17h50 · Deux exposés scientifiques