Relatórios
12/06/08 Mathematical Understanding Workshop, Universite Denis Diderot Paris VII: Joël Merker: Insights towards the speculative thought of formal computation / Andrew Arana & Mic Detlefsen: Purity and understanding / coffee break conversations / Jean-Jacques Szczeciniarz: La Galoisisme de Grothendieck