(Apr 10) 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 ct06@mathstat.dal.ca, 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: greatday@whitepoint.com 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 Andre Joyal Steve Lack Susan Niefield Phil Scott Ross Street Walter Tholen (chair) Enrico Vitale ORGANIZERS: Robert Dawson (rdawson@cs.stmarys.ca) Dorette Pronk (pronk@mathstat.dal.ca) Peter Selinger (selinger@mathstat.dal.ca) CONFERENCE EMAIL AND WEBSITE: ct06@mathstat.dal.ca http://www.mathstat.dal.ca/~selinger/ct2006/