Title: Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
Organisers:     Thierry Coquand, Göteborg
Alban Quadrat, Sophia Antipolis
Ihsen Yengui, Sfax
Date: November 8th - November 14th, 2009
ID: 0946b
Photo of the participants
view enlarged photo
see more photos

Mathematisches Forschungsinstitut Oberwolfach   generated: November 16th, 2009