Contributed talks in all aspects of Category Theory are welcome and we especially encourage submission of work on applications, as well as on foundations.

The scientific programme consists of 50mn invited talks and 25mn contributed talks.

Lecture Rooms

Invited talks

• Marcelo Aguiar
  Species on hyperplane arrangements
  (Slides)

• Richard Garner
  Lex colimits

• André Joyal
  A new approach to the bar-cobar duality

• F. William Lawvere
  Categorical Dynamics

• Sandra Mantovani
  Butterflies, profunctors and fractions
  (Slides)

• Robert Paré
  Yoneda Theory for Double Categories
  (Slides)

Plenary contributed talks

• Michael Barr
  Countable meets of opens in coherent spaces
  (Slides)

• Terrence Bisson
  Some homotopy methods in the category of graphs
  (Slides)

• Richard Blute
  Von Neumann Categories
  (Slides)

• Eugenia Cheng
  Distributive laws for Lawvere theories
  (Slides)

• Maria Manuel Clementino
  Fibrewise injectivity and Kock-Zöberlein monads

• Robin Cockett
  Differential categories to tangential structure
  (Slides)

• Andreas Döring
  Towards Noncommutative Gel'fand Duality
  (Slides)

• Dirk Hofmann
  On the Isbell conjugation adjunction for monad-quantale-enriched categories
  (Slides)

• Peter Johnstone
  What is a Gros Topos?

• Jürgen Koslowski
  Relating Chomsky Normal Form and Greibach Normal Form by exponential transposition: towards the categorification of the theory of context-free languages
  (Slides)

• Steve Lack
  Grothendieck quasitoposes

• Tom Leinster
  Notions of Möbius inversion
  (Slides)

• Fred Linton
  For want of awareness of the Yoneda Lemma, ...
  (Slides)

• Ignacio Lopez Franco
  Pseudo-commutativity of lax idempotent 2-monads
  (Slides)

• Rory Lucyshyn-Wright
  Algebraic theory of vector-valued integration

• Peter LeFanu Lumsdaine
  Classifying ω-categories of dependent type theories
  (Slides)

• John MacDonald
  Two-dimensional adjunctions and distributive laws

• Micah McCurdy
  Graphically Factoring the Tannaka Construction
  (Slides)

• Francisco Marmolejo
  (Co-)lax idempotent pseudomonads and Kan pseudomonads
  (Slides)

• Matias Menni
  Bimonadic adjunctions and the Explicit Basis property
  (Slides)

• Susan Niefield
  Exponentiability via double categories

• David Oury
  A model structure whose fibrant objects are quasi-2-categories
  (Slides)

• Jorge Picado
  On (binary) localic products and localic groups
  (Slides)

• Vaughan Pratt
  Structure from sorts, properties, and composition: a minimalist approach to topoalgebraic structure
  (Slides)

• Emily Riehl
  Cellularity, composition, and morphisms of algebraic weak factorization systems
  (Slides)

• Diana Rodelo
  Higher central extensions and cohomology
  (Slides)

• Giuseppe Rosolini
  Quotients in hyperdoctrines
  (Slides)

• Gavin Seal
  Exponential objects as Eilenberg-Moore algebras

• Michael Shulman
  Exact completion and small sheaves
  (Slides)

• Walter Tholen
  Topology in Categories of (T,V)-Categories
  (Slides)

• Miles Tierney
  Classifying fiber bundles with fiber K(pi,n)
  (Slides)

• Mark Weber
  2-bicategories of polynomials
  (Slides)

Parallel contributed talks

• Tom Booker
  Commutative algebras in Fibonacci categories
  (Slides)

• Kuerak Chung
  Generators and relations in generalized Lawvere theories

• Zinovy Diskin
  The Multi-dimensional World of Model-Driven Engineering: From MDE to CT and Back Again
  (Slides)

• Jeff Egger
  On unitary representations of certain quantum groups

• Jonathan Gallagher
  Dierential Turing categories
  (Slides)

• Toby Kenney
  The Generalised Span Construction on Bicategories
  (Slides)

• Hoil Kim
  The Category of generalized complex structures(Lie Algebroids)

• Ryszard Kostecki
  Categories of quantum theoretic models

• Dany Majard
  N-tuple categories and their degeneracies
  (Slides)

• Nicolas Michel
  Categorical foundations for K-theory
  (Slides)

• David Sallach
  A Complex Categorical Decision Application
  (Slides)

• Daniel Schäppi
  Generalized Tannaka Duality
  (Slides)

• Laura Scull
  Twisted equivariant cohomology and orbifolds
  (Slides)

• Serdar Sozubek
  A Topological Theory of (T,V)-Categories
  (Slides)

• Art Stone
  Consequences of Lax Naturality

• Joao Xarez
  Generalising connected components

Abstract submission

In addition to invited one-hour talks there will be 30 minute contributed talks (25 min talk duration / 5 min questions resp. break).

Name your file in the format lastname_f.tex where "lastname" is the author's last name and "f" is the first letter of the author's first name.
Please create the corresponding .pdf file lastname_f.pdf and send both files to Stephen Lack (steve.lack@mq.edu.au) with subject "CT2011 Abstract".

Deadline for abstract submission: June 01, 2011.