Modèles, logique et catégories à plus grandes dimensions: un hommage aux travaux de Mihaly Makkai18 au 20 juin 2009Programme |
|||
|
||||||||||
Le jeudi 18 juin 2009 |
||||||||
|
|
||||||||
|
|
|
09:00 - 17:00
|
Atelier "Makkai"
http://www.math.mcgill.ca/rags/seminar/mf-wkshop.html |
Salle TBA,
Burnside Hall, McGill University
|
|
18:00
|
Cocktail de bienvenue & inscription
|
Salle 6245
|
Le vendredi 19 juin 2009 |
||||||||
|
|
||||||||
|
08:30 - 08:45
|
Café croissants
|
Salle 6245
|
|
Salle de réunion : 6214 |
|
08:45 - 09:00
|
Mots de bienvenue
|
|
|
09:00 - 09:55
|
Bradd Hart
(McMaster University) Conceptual completeness in continuous logic: continuous imaginaries | Résumé |
|
10:00 - 10:55
|
Charles Steinhorn
(Vassar College) Linear orders in o-minimal structures with an application to economics |
|
11:00 - 11:30
|
Pause-café
|
Salle 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}$) | Résumé |
|
12:30 - 14:15
|
Pause-déjeuner
|
|
Salle de réunion : 6214 |
|
14:15 - 15:10
|
Julia F. Knight
(University of Notre-Dame) Computable structures of high Scott rank | Résumé |
|
15:15 - 16:10
|
Anand Pillay
(University of Leeds) Stability and the free group |
|
16:15 - 16:45
|
Pause-café
|
Salle 6245
|
|
16:45 - 17:40
|
Hal Kierstead
(Arizona State University) Coloring number and on-line Ramsey theory for graphs and hypergraphs | Résumé |
|
17:45 - 17:55
|
À venir
|
|
|
19:00
|
Banquet
<b> salut à toi! </b> |
Salle Café des beaux- arts
|
Le samedi 20 juin 2009 |
||||||||
|
|
||||||||
|
08:45 - 09:00
|
Café croissants
|
Salle 6245
|
|
Salle de réunion : 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 | Résumé |
|
11:00 - 11:30
|
Pause-café
|
|
|
11:30 - 12:25
|
Gonzalo E. Reyes
(Université de Montréal) A derivation of Einstein’s vacuum field equations | Résumé |
|
12:30 - 14:00
|
Pause-déjeuner
|
|
Salle de réunion : 6214 |
|
14:00 - 14:55
|
Robert Paré
(Dalhousie University) First Order Theories as Double Lawvere Theories | Résumé |
|
15:00 - 15:40
|
Michael Barr
(McGill University) A duality for certain module categories | Résumé |
|
15:45 - 16:15
|
Pause-café
|
Salle 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 | Résumé |
|
17:45
|
Fin de l'atelier
|
|
Mise à jour: Le mardi 16 juin 2009 11:09