Total number of photos: 23965

2009

Thierry Coquand, Ihsen Yengui, Alban Quadrat

On the Photo:

Occasion:Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra

Location: Oberwolfach

Author: Schmid, Renate (photos provided by Schmid, Renate)

Source: MFO

Year: 2009

Copyright: MFO

Photo ID: 12223

Find related pictures