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. Abstracts can be sent to any member of the program committee.

Invited speaker

• Martin Hyland (Cambridge)

Important Dates

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

Program

• Saturday, August 28

09.15 – 09.30	Opening
09.30 – 10.30	M. Hyland, Sorts of algebraic theories
10.30 – 11.00	Coffee break
11.00 – 11.30	A. Labella, Computations as terms in more-than-coherent logic
11.30 – 12.00	H. Forssell, Subgroupoids, subtoposes, and quotient theories
12.00 – 14.00	Lunch
14.00 – 14.30	T. Streicher, A model of intensional type theory in SSet
14.30 – 15.00	B. van den Berg, Homotopy-theoretic models of type theory
15.00 – 15.30	C. Kapulkin, Higher-categorical aspects of Martin-Lof type theory
15.30 – 16.00	Coffee break
16.00 – 16.30	T. Hirschowitz, An algebraic approach to higher-order theories and rewriting
16.30 – 17.00	A. Kurz, Coalgebraic logic over posets

• Sunday, August 29

09.00 – 09.30	B. Coecke, Causal categories
09.30 – 10.00	C. Heunen, Classical and quantum logic in dagger kernel categories
10.00 – 10.30	D. Duval, States and exceptions are dual effects
10.30 – 11.00	Coffee break
11.00 – 11.30	C. Pisani, Temporal and mixed doctrines as logic for categories
11.30 – 12.00	L. Nentvich, The generalized Goldblatt-Thomason heorem
12.00 – 12.30	Y. Maruyama, Categorical dualities for pointfree convex geometry

Program Committee

• Jiří Rosický, Brno
• Jiří Adámek, Braunschweig
• Steve Awodey, Pittsburgh
• Bob Coecke, Oxford
• Pierre-Louis Curien, Paris
• Nicola Gambino, Palermo
• Alexander Kurz, Leicester
• Giuseppe Rosolini, Genova
• Thomas Streicher, Darmstadt