Skip to content. | Skip to navigation

Sections
You are here: Home › Scientific Programme › Annual Schedules › Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
 
Title
Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra
Workshop ID: 0946b
Organisers
Thierry Coquand, Göteborg
Alban Quadrat, Sophia Antipolis
Ihsen Yengui, Sfax
Date: 8 Nov - 14 Nov 2009
Report
OWR_2009_50.pdf

Lookup workshop in oberwolfach photo collection