categories - Category Theory list
 help / color / mirror / Atom feed
* Octoberfest schedule
@ 2006-10-11 17:02 Richard Blute
  0 siblings, 0 replies; 3+ messages in thread
From: Richard Blute @ 2006-10-11 17:02 UTC (permalink / raw)
  To: categories


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.


-- 





^ permalink raw reply	[flat|nested] 3+ messages in thread

* Octoberfest schedule
@ 2010-10-18 12:21 Peter Selinger
  0 siblings, 0 replies; 3+ messages in thread
From: Peter Selinger @ 2010-10-18 12:21 UTC (permalink / raw)
  To: Categories List

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/ ]


^ permalink raw reply	[flat|nested] 3+ messages in thread

* Octoberfest schedule
@ 2005-10-11 15:30 Richard Blute
  0 siblings, 0 replies; 3+ messages in thread
From: Richard Blute @ 2005-10-11 15:30 UTC (permalink / raw)
  To: categories



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

-- 






^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, other threads:[~2010-10-18 12:21 UTC | newest]

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-10-11 17:02 Octoberfest schedule Richard Blute
  -- strict thread matches above, loose matches on Subject: below --
2010-10-18 12:21 Peter Selinger
2005-10-11 15:30 Richard Blute

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).