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

Upcoming seminars and related activities

Next talk


Schedule of talks for 2017

19 September 2017
2:30 - 3:30   Amit Sharma (McGill)
A K-theory for symmetric monoidal categories
[Abstract]

26 September 2017
2:30 - 3:30   Amit Sharma (McGill)
A K-theory for symmetric monoidal categories II

3 October 2017
2:30 - 3:30   David Spivak (MIT)
String diagrams for traced and compact categories are oriented 1-cobordisms
[Abstract]

Friday, 20 October 2017 Location: BH1214
2:30 - 3:30   Dana Bartosova (Carnegie Mellon)
Questions on freedom of actions
[Abstract]

24 October 2017
2:30 - 3:30   Michael Barr (McGill)
Beck modules for a monoid
[Abstract]
[Notes for the talk]

7 November 2017
2:30 - 3:30   Prakash Panangaden (McGill)
Quantitative equational logic

21 November 2017
2:30 - 3:30   Joseph Helfer (Stanford)
First-order homotopical logic
[Abstract]

5 December 2017
2:30 - 3:30   Jesse Han (McMaster)
Strong conceptual completeness for ℵ0-categorical theories
[Abstract]  [Slides]

27 February 2018
2:30 - 3:30   André Joyal (UQAM)
What is a topos?
[Abstract]

13 March 2018
2:30 - 3:30   Michael Barr (McGill)
On Peter Freyd's substantial simplification of Frobenius's theorem on finite dimensional real division algebras.
[Abstract]
[Notes for the talk]

20 March 2018
2:30 - 3:30   Margaret Thomas (McMaster)
Counting rational points on definable sets
[Abstract]

27 March 2018
2:30 - 3:30   Forte Shinko (CalTech)
Uncountable bases above E_0 (after Conley and Miller)
[Abstract]

 

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 and abstracts from 2016-2017


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   2017  

Valid HTML 4.01 Transitional