Thursday

28

March 2024

Agenda des Mathématiques

Tous les événements de la communauté mathématique française

Séminaire des Doctorants et Doctorantes - Institut Camille Jordan - ICJ - Villeurbanne - Sud-Est - Unité de mathématiques pures et appliquées - UMPA/ENSL - Lyon - Sud-Est

Institut Camille Jordan - ICJ - Villeurbanne - Sud-Est Unité de mathématiques pures et appliquées - UMPA/ENSL - Lyon - Sud-Est

Réécriture et présentations cohérentes


Start: Jan. 11, 2016, 10:30 a.m.
End: Jan. 11, 2016, 11:30 a.m.

Speaker: Alleaume, Clément (ICJ, Saint-Etienne)
Title: Réécriture et présentations cohérentes
Abstract: La réécriture est une théorie orientée du calcul dans laquelle on voit les relations entre expressions mathématiques comme des règles de réduction. Une telle théorie trouve des applications algébriques pour trouver des règles de cohérence : on cherche des relations entre des relations ! Notre but sera de donner une porte d'entrée sur la réécriture et ce type d'application pour permettre à tous de s'amuser à calculer sur des calculs.
Loc. ICJ, Lyon 1, bâtiment Braconnier
Cat. Séminaires

ref: Séminaire des Doctorants et Doctorantes - Institut Camille Jordan - ICJ - Villeurbanne - Sud-Est - Unité de mathématiques pures et appliquées - UMPA/ENSL - Lyon - Sud-Est