Conference Invited speakers Proceedings Schedule Timetable Workshops CRECOGI LCC PLRR QSLC Venue Location Accommodation Organizing committee Programme committee

Local time: Feb. 1, 2017, 10:18 a.m.

Contact the webmaster

Marseille, France

August 29 – September 1

Workshops: August 28, September 2 and 3

A homotopy-theoretic model of function extensionality in the effective topos

Daniil Frumin
Benno van den Berg

Schedule

Sept. 2, 2016, 10:30 - 11:00

Attachments

slides