Sched.com Conference Mobile Apps
CLMPS 2015
has ended
Create Your Own Event
CLMPS 2015
Schedule
Simple
Expanded
Grid
By Venue
Speakers
Assistants
Attendees
Search
menu
Menu
Schedule
Speakers
Assistants
Attendees
Search
Back To Schedule
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, view media, leave feedback and see who's attending!
Tweet
Share
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
FOLLI clmps schedule + abstracts
pdf
Lambek
pdf
Tuesday August 4, 2015 09:00 - 10:30 EEST
Main Building, Room 3
Fabianinkatu 33
Affiliated Meetings
,
A3. Computational Logic and Applications of Logic
Attendees (0)