CTRC McGill
McGill Seminar on Logic, Category Theory, and Computation

Upcoming seminars and related activities

Next talk


Schedule of talks for 2016

20 September 2016
2:30 - 3:30   M. Makkai (McGill)
Higher dimensional categories from a logician's point view
[Abstract]
Slides: Part 1, Part 2

27 September 2016
2:30 - 3:30   M. Barr (McGill)
Is the category of finite distributive sup semilattices compact *-autonomous?
[Abstract]
Slides

4 October 2016
2:30 - 3:30   M. Makkai (McGill)
Higher dimensional categories from a logician's point view II
Slides

18 October 2016
2:30 - 3:30   M. Makkai (McGill)
A brief survey of what higher categories do in logic and mathematics

25 October 2016
2:30 - 3:30   M. Makkai (McGill)
A brief survey of what higher categories do in logic and mathematics II
Slides I  Slides II

1 November 2016
2:30 - 3:30   André Joyal (UQAM)
A general theory of algebras and coalgebras
[Abstract]

Friday, 4 November 2016   (Location: BH 1B23)
3:30 - 4:30   Danny Rorabaugh (Queen's U)
Bridging Logic and Constraint Satisfaction with Relational Structures and Filters
[Abstract]

8 November 2016
2:30 - 3:30   Amit Sharma (McGill)
Symmetric monoidal quasicategories
[Abstract]

15 November 2016
2:30 - 3:30   Eduardo Dubuc (UBA)
On the notion of flat 2-functors
[Abstract]

Thursday, 17 November 2016 at UdeM (see note below)
2:00 - 4:00   M. Makkai (McGill)
In defense of Bourbaki's structuralism
[Abstract]
Note: This is not part of this seminar's activities, but may be of interest to our regular participants.
Location: The talk will be held in the Dept of Philosophy, 2910 Edouard-Montpetit, Room 422.

29 November 2016
2:30 - 3:30   M. Makkai (McGill)
A higher-categorical look at the Stasheff associahedra.
[Abstract]

[Of interest elsewhere:]
Saturday - Sunday, 3 - 4 December 2016
Union College Mathematics Conference, Schenectady, New York

6 December 2016
2:30 - 3:30   M. Barr (McGill)
The regular category embedding theorem
[Abstract]
[Slides]

Friday, 20 January 2017 in Leacock 927 (see note below)
3:30 - 5:30   M. Makkai (McGill)
Meta-mathematics in Bourbaki's structuralism and in more recent developments in mathematical structuralism
[Abstract]
Note: This is not part of this seminar's activities, but may be of interest to our regular participants.
Location: The talk will be held in the Dept of Philosophy, McGill, Leacock 927.

24 January 2017  (New starting time!)
3:00 - 4:00   Forte Shinko (McGill)
Borel complexity of boundary actions of hyperbolic groups
[Abstract]

31 January 2017  (Note starting time!) (3pm will continue to be our usual starting time till further notice.)
3:00 - 4:00   Forte Shinko (McGill)
Borel complexity of boundary actions of hyperbolic groups II
[Abstract]

7 February 2017
3:00 - 4:00   Prakash Panangaden (McGill)
Logical Characterization of Simulation
[Abstract]

14 February 2017
3:00 - 4:00   Prakash Panangaden (McGill)
Logical Characterization of Simulation II

7 March 2017
3:00 - 4:00   Phillip Wesolek (Binghamton)
Elementary amenable groups and the space of marked groups
[Abstract]
Slides of talk

14 March 2017
3:00 - 4:00   M Makkai (McGill)
First-order logic with dependent sorts (FOLDS) and the related generalization of the concept of isomorphism, "FOLDS equivalence"
[Abstract]

21 March 2017
3:00 - 4:00   M Makkai (McGill)
First-order logic with dependent sorts (FOLDS) and the related generalization of the concept of isomorphism, "FOLDS equivalence" II

28 March 2017
3:00 - 4:00   M Barr (McGill)
Acyclic Models - explanation and a brief history
[Abstract]

4 April 2017
3:00 - 4:00   M Barr (McGill)
Acyclic Models - explanation and a brief history II

11 April 2017
3:00 - 4:00   M Barr (McGill)
Acyclic Models - explanation and a brief history III

 

PLACE: BURNSIDE HALL 920, McGILL UNIVERSITY
(unless otherwise noted)

COOKIES AND BYO-COFFEE AFTER THE TALK, IN THE LOUNGE
FOR TALKS SCHEDULED AT 4:00PM, COOKIES AND BYO-COFFEE WILL BE AT 3:30 BEFORE THE TALK, UNLESS OTHERWISE STATED.

If you wish to receive regular updates to this list by email, send your request to be added to the e-list to
R.A.G. Seely

Other seminars in Montreal
Ottawa Logic and Foundations of Computing Group
New York City Category Seminar
Upcoming Categorical meetings elsewhere

Past CTRC/CRTC seminars:
Seminars and abstracts from 1998-1999
Seminars and abstracts from 1999-2000
Octoberfest 99
Seminars and abstracts from 2000-2001
Seminars and abstracts from 2001-2002
Seminars and abstracts from 2002-2003
Seminars and abstracts from 2003-2004
Seminars and abstracts from 2004-2005
Octoberfest 04
Seminars and abstracts from 2005-2006
Seminars and abstracts from 2006-2007
Seminars and abstracts from 2007-2008
Seminars and abstracts from 2008-2009
Octoberfest 08
Seminars and abstracts from 2009-2010
Seminars and abstracts from 2010-2011
Seminars and abstracts from 2011-2012
Seminars and abstracts from 2012-2013
Octoberfest 12
Seminars and abstracts from 2013-2014
Seminars and abstracts from 2014-2015
Seminars and abstracts from 2015-2016


Seminars from previous years (rough listings)
1991   1992   1993   1994   1995   Octoberfest '95   1996   1997   Barrfest '97   1998   1999   2000   2001   2002   2003   2004   2005   2006   2007   2008   2009   2010   2011   2012   2013   2014   2015   2016  

Valid HTML 4.01 Transitional