International Workshop on Categorical Logic

August 28–29, 2010. Masaryk University, Brno, Czech republic.

Aim

The aim of the workshop is to bring together researchers with a common interest in categorical logic and its applications. Prospective speakers are invited to submit a 1-2 pages abstract which provides sufficient detail to allow the program committee to assess the merits of the proposal.

Invited speaker

• Martin Hyland (Cambridge)

Important Dates

• Abstract submission deadline: April 15, 2010
• Acceptance notification: May 15, 2010
• Registration: June 2010
• Workshop: August 28–29, 2010

Program Committee

• Jiri Rosicky, Brno
• Jiri Adamek, Braunschweig
• Steve Awodey, Pittsburgh
• Bob Coecke, Oxford
• Pierre-Louis Curien, Paris
• Nicola Gambino, Palermo
• Alexander Kurz, Leicester
• Giuseppe Rosolini, Genova
• Thomas Streicher, Darmstadt