McGill Seminar on Logic, Category Theory, and Computation
Upcoming seminars and related activities
Schedule of talks for 2015
Notice
The first seminar talk started with an organizational meeting concerning a
proposed mathematical logic seminar starting this fall, during which
we will try to see how to proceed during the semester. This was
followed by a talk by Marcin Sabok.
As a result of this meeting, the Category seminar merged with logic and
computing, as indicated by the new title.
We shall continue with the usual Tuesday time, but with
an additional time on Fridays, initially on an occasional basis.
The first Friday talk was in November - from then on,
the day of the week will be part of the listings (we may drop that if
people have no trouble reading a calendar!).
Friday talks are
held in BH1214, Tuesday talks continue in BH920.
The Friday location
will be indicated in the listings; the Tuesday location remains the default.
-
15 September 2015
-
2:30 - 3:00 Organizational meeting
3:00 - 4:00 M. Sabok (McGill)
Invitation to the descriptive set-theoretical complexity theory
-
22 September 2015
-
2:30 - 3:30 M. Sabok (McGill)
Invitation to the descriptive set-theoretical complexity theory II
-
29 September 2015
-
2:30 - 4:00 P. Panangaden (McGill)
Logical Characterization of Probabilistic Bisimulation for
Labelled Markov Processes
[Abstract]
-
6 October 2015
-
2:30 - 4:00 Michael Pawliuk (U of T)
Amenability and Unique Ergodicity of Automorphism Groups of
Homogeneous Directed Graphs
[Abstract]
-
13 October 2015
-
2:30 - 4:00 M. Makkai (McGill)
Isomorphism of countable structures and infinitary logic
[Abstract]
-
20 October 2015
-
2:30 - 4:00 Florence Clerc (McGill)
Presenting a Category Modulo a Rewriting System
[Abstract]
-
27 October 2015
-
2:30 - 4:00 M. Barr (McGill)
Two 30 minute talks
[Abstract]
[Slides]
-
31 October - 1 November 2015
-
Octoberfest, Ottawa
-
Tuesday, 3 November 2015
-
2:30 - 4:00 Brendan Fong
Decorated cospans, corelations, and electrical circuits
[Abstract]
-
Friday, 6 November 2015
-
2:30 - 4:00 David Bradley-Williams (University of Central Lancashire)
Location: BH 1214
Reducts of Tree-like structures
[Abstract]
-
Tuesday, 10 November 2015
-
2:30 - 4:00 R. Raphael (Concordia)
"By an easy induction..."
[Abstract]
-
Tuesday, 17 November 2015
-
2:30 - 4:00 Julien Melleray (Lyon)
The simplex of invariant measures of a minimal homeomorphism
[Abstract]
-
4 - 7 December 2015
-
2015 CMS Winter Meeting
in Montreal
Scientific sessions on
Descriptive
Set Theory and
Logic,
Category Theory and Computation, among other topics.
Note the new seminar timeslot!
Coffee and byo-coffee will be before the talk, at 3:30.
-
Tuesday, 2 February 2016
-
4:00 - 5:00 M. Barr (McGill)
Introduction to *-Autonomous categories
[Abstract]
-
Tuesday, 9 February 2016
-
4:00 - 5:00 M. Barr (McGill)
Introduction to *-Autonomous categories, continued
[Abstract]
-
Tuesday, 16 February 2016
-
4:00 - 5:00 M. Barr (McGill)
Introduction to *-Autonomous categories, continued
[Abstract]
-
Tuesday, 23 February 2016
-
4:00 - 5:00 M. Barr (McGill)
Introduction to *-Autonomous categories, continued
[Abstract]
Note regarding the revised paper on
which these talks were based.
-
Tuesday, 15 March 2016
-
4:00 - 5:00 Brigitte Pientka (McGill)
Mechanizing Meta-Theory in Beluga
[Abstract]
-
Tuesday, 22 March 2016
-
4:00 - 5:00 Florence Clerc (McGill)
The dual view of Markov Processes I
[Abstract]
-
Tuesday, 29 March 2016
-
4:00 - 5:00 Prakash Panangaden (McGill)
The dual view of Markov Processes II
[Abstract]
-
Tuesday, 5 April 2016
-
4:00 - 5:00 Prakash Panangaden (McGill)
The dual view of Markov Processes III
[Abstract]
-
Tuesday, 12 April 2016
-
4:00 - 5:00 Michel Vaquié (Toulouse)
System of points in saturated dg-categories
[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 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