{{ :rencontres:nivat:decoration_maurice_240413_-_030.jpg?nolink&400|Maurice Nivat, le 24 avril 2013}}

===== 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 ====

<panel>

**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)

</panel>

==== Intervenants des exposés scientifiques ====

<panel>

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

</panel>


==== Programme ====

<panel>

//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

</panel>