Sites Inria

Colloque

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 (Institut de Recherche en Informatique Fondamentale) lui rend hommage en organisant une journée scientifique en février 2018.

  • Date : 6/02/2018
  • Lieu : Amphithéâtre Buffon de l'Université Paris Diderot, 15 Rue Hélène Brion, 75013 Paris
  • Organisateur(s) : IRIF (Institut de Recherche en Informatique Fondamentale)

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

L'inscription  à cette journée est gratuite mais OBLIGATOIRE https://goo.gl/forms/Wlz4OeI6T8te6bMl1
Nous vous encourageons à vous inscrire rapidement !

Localisation

Mots-clés : Maurice NIvat Histoire de l'informatique Serge Abiteboul

Haut de page

Suivez Inria