Octoberfest schedule

Octoberfest schedule

[Richard Blute]

The final schedule for Octoberfest '05 is now available, and
can be found on the website:

http://aix1.uottawa.ca/~scpsg/Octoberfest05/Octoberfest.final1.htm

As you can see, we have a busy schedule. Rather than having a
banquet, we will provide lunch on both Saturday and Sunday.
Ottawa has many fine restaurants for dinner, and a dining guide
will be provided.

As is traditional for Octoberfest, we have managed to keep costs to
a minimum. Registration will be 25 dollars, and students may attend
for free.

We remind you that if you need parking for the weekend, you must
contact us right away.

Look forward to seeing you all soon,
Rick Blute
Phil Scott

-- 

Octoberfest schedule

[Peter Selinger]

Dear colleagues,

titles, abstracts, and a tentative program for this weekend's
Octoberfest are now available at the website:
http://www.mathstat.dal.ca/~selinger/ofest2010/

The schedule (subject to minor changes) also appears below. -- Peter

                                 * * *

             2010 Category Theory "Octoberfest" Workshop
                Dalhousie University, Halifax, Canada
                         October 23-24, 2010

           http://www.mathstat.dal.ca/~selinger/ofest2010/

Draft Program

Friday, October 22
   
    5:30 -  8:00:  Welcome reception, 319 Chase Building  
   
Saturday, October 23
   
    8:30 -  9:00:  Coffee and Breakfast  
   
    9:00 -  9:45:  André Joyal (UQAM): 
                   The Koszul sign rule in Feynman diagrams  
    9:45 - 10:15:  Michael A. Warren (Dalhousie): 
                   Combinatorial realizability models of type theory  
   
   10:20 - 10:40:  Coffee Break  
   
   10:40 - 11:10:  Steve Awodey (CMU): 
                   Sketch of the homotopy interpretation of intensional
                   type theory
   11:15 - 11:45:  Chris Kapulkin (Pittsburgh): 
                   Pi- and Sigma-types in homotopy theoretic models of
                   type theory
   11:50 - 12:20:  Peter LeFanu Lumsdaine (Dalhousie): 
                   Conservativity principles in dependent type theory: a
                   homotopy-theoretic approach
   
   12:25 -  2:00:  Lunch  
   
    2:00 -  2:30:  Jonathan Gallagher (Calgary): 
                   Differential Join Restriction Categories  
    2:35 -  3:05:  Geoff Cruttwell (Calgary): 
                   Differential and tangent structure for restriction
                   categories
    3:10 -  3:40:  Robin Cockett (Calgary): 
                   Integral categories  
   
    3:45 -  4:15:  Coffee Break  
   
    4:15 -  4:45:  Fred Linton (Wesleyan): 
                   How to see the reals as compact Hausdorff space, and
                   why you'd want to
    4:50 -  5:20:  Susan Niefield (Union): 
                   A Double Category of Topological Spaces  
   
Sunday, October 24
   
    8:15 -  8:45:  Coffee and Breakfast  
   
    8:45 -  9:15:  Alex Hoffnung (Ottawa): 
                   Groupoidification and the Hecke Bicategory  
    9:20 -  9:50:  Aleks Kissinger (Oxford): 
                   Frobenius States and a Graphical Language for
                   Multipartite Entanglement
    9:55 - 10:25:  Gábor Lukács (Manitoba): 
                   Solving problems in topological groups (and number
                   theory) using category theory
   
   10:30 - 10:45:  Coffee Break  
   
   10:45 - 11:15:  Toby Kenney (Dalhousie): 
                   Generalised Sup Arrows and the Totally Below Relation  
   11:20 - 11:50:  Rory Lucyshyn-Wright (York): 
                   Totally Distributive Toposes, Continuous Categories,
                   and Injective Toposes
   11:55 - 12:25:  Nathan Bowler (Cambridge): 
                   Unwirings and exponentiability for multicategories  
   12:30 -  1:00:  Michael Makkai (McGill): 
                   Semi-Strict Omega Categories


Location

  The workshop will take place in the Chase building on Dalhousie's
  main campus. Maps are available on the website.

Sponsors:

  We gratefully acknowledge financial support from:

  * The Atlantic Association for Research in Mathematical Sciences (AARMS)
  * The Administration of Dalhousie University
  * The Faculty of Science of Dalhousie University

Organizers:

  Dorette Pronk (Dalhousie), pronk@mathstat.dal.ca
  Peter Selinger (Dalhousie), selinger@mathstat.dal.ca

                                  *


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]

Octoberfest schedule

[Richard Blute]

Hi everyone,

Here is the schedule for Octoberfest 06.
Abstracts will appear on the website
shortly, which can be found at
http://www.site.uottawa.ca/~phil/lfc/

cheers
Rick Blute


Saturday, October 21st

8:45-9:15      Registration and Welcome
9:15-9:45      Robin Cockett (Calgary)
9:50-10:20     Pieter Hofstra (Calgary)

10:20-10:50    Break

10:50-11:20    Derek Wise (UC Riverside)
11:25-11:55    Eric Paquette (UQAM)
12:00-12:30    Benoit Valiron (Dalhousie)

12:30-2:00     Lunch

2:00-3:00  Plenary Speaker-Ben Steinberg (Carleton)

3:00-3:30     Break

3:30-4:00  Jonathan Scott (Ottawa)
4:05-4:35  Paul-Eugene Parent (Ottawa)
4:40-5:20  Nick Gurski (Yale)
5:25-5:55  Gabor Lukacs (Manitoba)

Sunday, October 22nd

9:00-9:30  Bob Rosebrugh (Mount Allison)
9:35-10:05 Marta Bunge (McGill)
10:10-10:40 Brian Redmond (Ottawa)

10:40-11:10  Break

11:10-11:40  Michael Winter (Brock)
11:45-12:15  Fred Linton (Wesleyan)
12:20-12:50  Jim Lambek (McGill)


Titles (abstracts will appear on website)
++++++

Robin Cockett-Seely categories revisited
Pieter Hofstra-Models of more than the lambda calculus
Derek Wise-Volumetric Field Theory
Eric Paquette-The classical world from quantum theory
Benoit Valiron-On a fully abstract model for a quantum linear lambda calculus
Ben Steinberg-Ordered 2-complexes and inverse semigroups
Jonathan Scott-Operads and iterated loop spaces
Paul-Eugene Parent-Towards an adjoint to a Connes-Moscovici construction
Nick Gurski-Eckman-Hilton arguments in dimensions 1 and 2
Gabor Lukacs-Duality theory of locally precompact groups
Bob Rosebrugh-Implementing database design categorically (System demonstration)
Marta Bunge-Locally quasiconnected toposes
Brian Redmond-Soft linear logic
Michael Winter-Cardinality in allegories
Fred Linton-On Algebras over the Banach unit disc monad
Jim Lambek-Towards a Feynman category for the standard model.


--