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