Subject: categories: CT2006 List of Talks and Call for Participation

From: [email-masked] (Peter Selinger)
Date: Mon, 10 Apr 2006 18:44:23 -0300 (ADT)

New in this announcement:
- list of accepted talks
- accommodations deadline reminder: April 20

			   LIST OF SPEAKERS
				 AND
			CALL FOR PARTICIPATION

	       International Category Theory Conference
			       CT 2006

	     including a special commemorative session on
		 the works of Mac Lane and Eilenberg

			June 25 - July 1, 2006
		       White Point, Nova Scotia

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

				* * *

 The International Category Theory Conference (CT) covers all areas of
 pure and applied category theory. CT 2006 will be held at White Point
 Beach Resort (http://www.whitepoint.com/), a seaside resort in Nova
 Scotia (Canada), about 100 minutes' drive from Halifax.  All those
 interested in category theory and its applications are welcome to
 attend the conference. Participants should register by April 20.

 The current list of speakers appears below.
 A preliminary program is posted on the conference website.

 Please book your accommodations by *** APRIL 20 ***.

INVITED SPEAKERS:

 Kathryn Hess (EPF Lausanne)
 Steve Lack (University of Western Sydney)
 Tom Leinster (University of Glasgow)
 Steve Schanuel (SUNY Buffalo)
 Peter Selinger (Dalhousie University)

SPECIAL SESSION ON THE WORKS OF MAC LANE AND EILENBERG:

 Peter Freyd, "New structures on old categories"
 Bill Lawvere, "TBA"
 Walter Tholen, "Mac Lane and Factorizations"

CONTRIBUTED TALKS:

 Jiri Adamek, "Iterative Algebras and Iterative Monads"
 Richard Blute, "Deep Inference and Probabilistic Coherence Spaces"
 Dominique Bourn, "Homological properties of the categories of
   Hausdorff groups and Hausdorff semi-abelian algebras"
 Ronnie Brown, "Applications of crossed complexes"
 Eugenia Cheng, "Towards an n-category of cobordisms"
 Jeff Egger, "The Frobenius relations meet linear distributivity"
 Josep Elgueta, "2-categories of representations of a 2-group"
 Thomas M. Fiore, "Double Categories and Pseudo Algebras"
 Stefan Forcey, "A categorification of the associahedra: combinatorics,
   realizations and weak enrichment"
 Emmanuel Galatoulas, "Towards an interpretation of Quantum Mechanics
   from a bicategorical point of view"
 Marino Gran, "Torsion theories and Galois coverings of topological groups"
 Marco Grandis, "Fundamental lax 2-categories in Directed Algebraic Topology"
 Nick Gurski, "Algebraifying tricategories"
 Michael J. Healy, "Applying Category Theory to Improve the Performance
   of a Neural Architecture"
 Michel Hebert, "A Completeness Theorem for Injectivity Logic"
 Dirk Hofmann, "Lax algebraic theories and closed objects"
 Pieter Hofstra, "The category of realizability toposes"
 John Iskra, "Smoothness in Zariski Categories"
 Mike Johnson, "Constant complements, reversibility and universal view
   updates"
 Toby Kenney, "Injective Power Objects and the Axiom Of Choice"
 Robert E. Kent, "The information flow framework: New architecture"
 Juergen Koslowski, "Simulations as a genuinely categorical concept"
 Bill Lawvere, "Axiomatic theory of cohesive space"
 Gabor Lukacs, "Non-commutative k-spaces"
 Michael Makkai, "Higher dimensional diagrams via computads"
 J. Martinez-Moreno, "The actor of a categorical crossed module"
 Matias Menni, "Combinatorial functional and differential equations
   applied to differential posets"
 Stefan Milius, "Recursive coalgebras"
 Jeffrey Morton, "Higher Dimensional Algebra and Quantum Mechanics"
 Susan Niefield, "Biexponentiability in Homotopy Slices of Top"
 Matt Noonan, "Differential Geometry on Categories"
 Thorsten Palm, "Categories with slicing"
 Elango Panchadcharam, "Mackey functors and Green functors"
 Simona Paoli, "Semistrict models of connected 3-types and Tamsamani's
   weak 3-groupoids"
 Robert Pare, "Spans for 2-categories"
 Claudio Pisani, "On the reflection and the coreflection of categories
   over a base in discrete fibrations"
 Dorette Pronk, "The Path-ology of Double Categories"
 Jiri Rosicky, "Homotopy varieties"
 Luigi Santocanale, "Properties of Free Sigma-Pi Categories"
 Robert Seely, "Differential Categories"
 Lurdes Sousa, "A complete orthogonality logic"
 Richard Steiner, "Omega-categories and chain homotopies"
 Isar Stubbe, "Q-modules are Q-suplattices"
 Paul Taylor, "On the Reaxiomatisation of General Topology"
 Myles Tierney, "Quasi-categories can model homotopy theories"
 Christine Vespa, "The functor category F_quad associated to quadratic
   spaces over F_2"
 Enrico Vitale, "Derivations of internal groupoids"
 Mark Weber, "2-toposes and higher dimensional algebra"
 Derek Wise, "Chain field theory"
 Richard Wood, "Cartesian Bicategories II"
 Joao J. Xarez, "Galois theories of internal groupoids via congruence
   relations for Maltsev varieties"
 Noson S. Yanofski, "Towards a Definition of an Algorithm"
 Marek Zawadowski, "Combinatorial description of positive multitopes"

REGISTRATION

 The registration fees for CT 2006 are as follows:

   $150 - regular
   $100 - reduced (students, postdocs, and researchers without grant)

 The early registration rates ($120/$75 for those who registered
 before March 1) have now expired.

 Please register by April 20 at:
 https://sigma.mathstat.dal.ca/~selinger/ct2006/registration.php

ARRIVAL AND DEPARTURE:

 Arrival date: Sunday, June 25
 Departure date: Saturday, July 1

 Opening reception: Sunday, June 25, 6:30-10:30pm.

 The normal check-in time is 2pm and check-out time is 11am. If you
 need to make special arrangements for early arrival or late
 departure, please make them by contacting White Point directly.

 Subject to availability, White Point Beach Resort has agreed to
 extend the conference rates to the weeks before and after the
 conference in case any guests wish to stay longer. If you would like
 to arrange this, please contact White Point directly.

AIRPORT TRANSPORTATION:

 We will arrange for shared transportation between Halifax
 International Airport and White Point Beach Resort on the days of
 arrival and departure (June 25 and July 1), at no extra charge to
 conference participants and their guests. To take advantage of this,
 please let us know, at [email-masked], your arrival and
 departure times, airline, and flight numbers, as soon as you have
 this information.

 Please note that White Point Beach Resort is 150km from the airport,
 and there is no convenient alternative transportation available
 except for renting a car.

ACCOMMODATIONS (deadline: April 20):

 The conference venue offers a choice of accommodation, both in
 comfortable finished cabins and in "hotel-style" rooms. All meals are
 included in the price of the rooms.

 For reservations, please contact White Point Beach Resort:

        Tel: 1-800-565-5068 (U.S. and Canada)
        Tel: +1-902-354-2711 (international)
        Fax: +1-902-354-7278
        Email reservations: [email-masked]

 Rooms must be booked by *** APRIL 20 *** to be guaranteed
 availability.

IMPORTANT DATES:

 Apr 20, 2006: room booking deadline
 Apr 20, 2006: cancellation of registrations
 Jun 25, 2006: arrival date, opening reception 6:30pm
 Jun 26, 2006: conference starts at 9am
 Jul 1, 2006: departure date, conference ends at 1pm

SCIENTIFIC COMMITTEE:

 Jiri Adamek
 John Baez
 Michael Barr
 Eugenia Cheng
 Maria Manuel Clementino
 Marcelo Fiore
 Peter Freyd
 Jonathon Funk
 Peter Johnstone
 Steve Lack
 Susan Niefield
 Phil Scott
 Ross Street
 Walter Tholen (chair)
 Enrico Vitale

ORGANIZERS:

 Robert Dawson ([email-masked])
 Dorette Pronk ([email-masked])
 Peter Selinger ([email-masked])

CONFERENCE EMAIL AND WEBSITE:

 [email-masked]
 http://www.mathstat.dal.ca/~selinger/ct2006/