Models, Logics and Higher-Dimensional Categories. A Tribute to the Work of Mihaly MakkaiJune 18-20, 2009Program |
|||
|
||||||||||
Thursday, June 18, 2009 |
||||||||
|
|
||||||||
|
|
|
09:00 - 17:00
|
"Makkai" Workshop
http://www.math.mcgill.ca/rags/seminar/mf-wkshop.html |
Room TBA,
Burnside Hall, McGill University
|
|
18:00
|
Welcoming Reception & Registration
|
Room 6245
|
Friday, June 19, 2009 |
||||||||
|
|
||||||||
|
08:30 - 08:45
|
Coffee & Croissants
|
Room 6245
|
|
Meeting room : 6214 |
|
08:45 - 09:00
|
Welcoming addresses
|
|
|
09:00 - 09:55
|
Bradd Hart
(McMaster University) Conceptual completeness in continuous logic: continuous imaginaries | Abstract |
|
10:00 - 10:55
|
Charles Steinhorn
(Vassar College) Linear orders in o-minimal structures with an application to economics |
|
11:00 - 11:30
|
Coffee break
|
Room 6245
|
|
11:30 - 12:25
|
Victor Harnik
(University of Haifa) Model theory vs. categorical logic: two approaches to pretopos completion (a.k.a. $T^{eq}$) | Abstract |
|
12:30 - 14:15
|
Lunch break
|
|
Meeting room : 6214 |
|
14:15 - 15:10
|
Julia F. Knight
(University of Notre-Dame) Computable structures of high Scott rank | Abstract |
|
15:15 - 16:10
|
Anand Pillay
(University of Leeds) Stability and the free group |
|
16:15 - 16:45
|
Coffee break
|
Room 6245
|
|
16:45 - 17:40
|
Hal Kierstead
(Arizona State University) Coloring number and on-line Ramsey theory for graphs and hypergraphs | Abstract |
|
17:45 - 17:55
|
TBA
|
|
|
19:00
|
Banquet
<b> salut to you! </b> |
Room Café des beaux- arts
|
Saturday, June 20, 2009 |
||||||||
|
|
||||||||
|
08:45 - 09:00
|
Coffee & Croissants
|
Room 6245
|
|
Meeting room : 6214 |
|
09:00 - 09:55
|
André Joyal
(Université du Québec à Montréal) The first order logic of higher structures |
|
10:00 - 10:55
|
Marek Zawadowski
(University of Warsaw) Opetopic sets in lax monoidal fibrations | Abstract |
|
11:00 - 11:30
|
Coffee break
|
|
|
11:30 - 12:25
|
Gonzalo E. Reyes
(Université de Montréal) A derivation of Einstein’s vacuum field equations | Abstract |
|
12:30 - 14:00
|
Lunch break
|
|
Meeting room : 6214 |
|
14:00 - 14:55
|
Robert Paré
(Dalhousie University) First Order Theories as Double Lawvere Theories | Abstract |
|
15:00 - 15:40
|
Michael Barr
(McGill University) A duality for certain module categories | Abstract |
|
15:45 - 16:15
|
Coffee break
|
Room 6245
|
|
16:15 - 16:55
|
Joachim Lambek
(McGill University ) The Lorentz category in special relativity |
|
17:00 - 17:40
|
François Lamarche
(Loria & INRIA Nancy - Grand Est) A new homotopy-theoretic interpretation of Martin-Löf's identity type | Abstract |
|
17:45
|
Closure of the workshop
|
|
Last modified : Tuesday, June 16, 2009 11:09