McGill Seminar on Logic, Category Theory, and Computation
Upcoming seminars and related activities
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