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

Upcoming seminars and related activities

Next talk


Schedule of talks for 2018

18 September 2018
2:30 - 3:30   Yann Pequignot (McGill)
An introduction to better-quasi-orders
Abstract

25 September 2018
2:30 - 3:30   Yann Pequignot (McGill)
Finite versus infinite, an intricate shift
Abstract

2 October 2018
2:30 - 3:30   David Schrittesser (Vienna)
The Ramsey property, uniformization, and higher dimensional MAD families
Abstract

9 October 2018
2:30 - 3:30   M Barr (McGill)
Contractible simplicial objects
Abstract   [Slides]

16 October 2018
2:30 - 3:30   M Sabok (McGill)
Automatic continuity and Fraisse theory
Abstract

23 October 2018
2:30 - 3:30   M Makkai (McGill)
Some (possibly weakly) closed categories
Abstract

Wednesday, 24 October 2018
(Not in this seminar series, but perhaps of interest to its participants:)
3:00pm   M Sabok (McGill) in the McGill GGT seminar
The Hrushovski property for hypertournaments and profinite topologies
Location: BH1104
Abstract

30 October 2018
2:30 - 3:30   M Makkai (McGill)
Some (possibly weakly) closed categories Part 2
Abstract

6 November 2018
2:30 - 3:30   Christoph Dorn (Oxford)
Manifolds and higher categories
Abstract

Wednesday, 7 November 2018
(Joint with the GGT seminar series)
3:00pm   Timothée Marquis (Université Catholique de Louvain)
On geodesic ray bundles in buildings
Location: BH1104
Abstract

13 November 2018
2:30 - 3:30   Shael Brown (McGill)
The Decidability of Continuous Quantitative Equational Logic
Abstract

20 November 2018
2:30 - 3:30   Luigi Santocanale (Aix-Marseille)
(Un)Decidability of logical theories of the natural join and inner union. (Generalized ultrametric spaces for databases)
Abstract

27 November 2018
2:30 - 3:30   Yann Pequignot (McGill)
Embeddability on functions: order and chaos
Abstract

Friday, 30 November 2018
(Not in this seminar series, but perhaps of interest to its participants:)
4:00pm   M Sabok (McGill) (in the Colloque des sciences mathématiques du Québec)
Completeness of the isomorphism problem for separable C*-algebras
Location: BH1104
Abstract

4 December 2018
2:30 - 3:30   Eduardo Dubuc (UBA)
The 2-localization of a Quillen's model category
Abstract (HTML version)
[Slides]

Thursday, 6 December 2018
(Not in this seminar series, but perhaps of interest to its participants:)
2:00pm   M. Makkai (McGill)
The treatment of Cantorian Sets by Bourbakian abstract set-theory
Location: 2910 Edouard-Montpetit (next to Metro Université de Montréal), room 422. (The Philosophy Department)
Abstract

Friday, 7 December 2018
(Not in this seminar series, but perhaps of interest to its participants:)
10:00am   M Sabok (McGill) (CIRGET)
Circle squaring and actions of Zn
Location: PK-5115, Président-Kennedy Building, UQAM
Abstract

Thursday, 13 December 2018
4:00 - 5:00 Anush Tserunyan (Urbana-Champaign)
An ergodic advertisement for descriptive graph combinatorics
Location: BH 1104
Abstract

18 December 2018
2:30 - 3:30 S. Desrochers (McGill)
Clouds in higher dimensions
Abstract

5 February 2019
2:30 - 3:30   David Schrittesser (Vienna)
Ideals with and without definable selectors
Abstract

19 February 2019
2:30 - 3:30   Raphael Carroy (Vienna)
The Open Graph Dichotomy and the second level of the Borel hierarchy
Abstract

19 March 2019
Note: For this talk, we meet in BH 1104.
2:30 - 3:30   Andrew Marks (UCLA)
A constructive solution to Tarski's circle squaring problem
Abstract

Special session of the seminar
Thursday 21 March 2019
2:30 - 3:30   Andrew Marks (UCLA)
Measurable solutions to abstract systems of congruence
Location: BH 920
Abstract

26 March 2019
2:30 - 3:30   M Barr (McGill)
Tracking the snake to its lair
[Abstract]

 

Preview 2019-2020

10 Sept 2019
2:30-3:30   David Spivak (MIT)
Graphical presentations of abelian categories
[Abstract]

 

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

COOKIES AND BYO-COFFEE AFTER THE TALK, IN THE LOUNGE

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


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