Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Tuesday, August 4 • 09:00 - 10:30
The Legacy of Joachim Lambek (FoLLI affiliated meeting) I

Sign up or log in to save this to your schedule and see who's attending!

4 August 9:00 AM – 11:00 AM

Organized by:

Michael Moortgat, Utrecht University
Philip Scott, University of Ottawa


SPEAKERS AND TITLES

Lambek's proof theory (45 min)

Kosta Dosen, Mathematical Institute, Serbian Academy of Sciences and Arts

Stack representation for pretopoi: Towards logical schemes (45 min)
Steve Awodey, Carnegie Mellon University

Chairs
MM

Michael Moortgat

Utrecht University
PS

Philip Scott

University of Ottawa

Speakers
SA

Steve Awodey

Carnegie Mellon University
KD

Kosta Dosen

Mathematical Institute, Serbian Academy of Sciences and Arts


Lambek pdf

Tuesday August 4, 2015 09:00 - 10:30
Main Building, Room 3 Fabianinkatu 33

Attendees (18)