Ateliers et Conférences

Première rencontre mathématique Bavière-Québec

CRM
30 novembre - 3 décembre 2009
Organisateurs :
Richard Fournier (Université de Montréal )
Stephan Ruscheweyh (Universität Würzburg )

Site web : http://www.crm.umontreal.ca/Bav09/index.php

haut de page

Séminaires

3 décembre 2009 - 11:30 - 13:30

Conférence Club mathématique Sherbrooke
Université de Sherbrooke, Faculté des sciences, local D3-2039

Du raisonnement en mathématiques à la preuve automatique en informatique

Benoit Fraikin, Département d'informatique, Université de Sherbrooke

haut de page

3 décembre 2009 - 16:40

Séminaire CIRGET Junior
PK-5115, Pavillon Président-Kennedy, UQAM

Stable commutator length is rational in free groups

Nicholas Touikan, UQAM

haut de page