MFCS & CSL 2010
Petrov - Cathedral of St. Peter, Brno

Contacts

General questions about organization, registration, accomodation, etc., should be sent to

xrebok@fi.muni.cz

Program-related questions should be directed to program committee chairs.

More details

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

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