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

Contacts

General questions and workshop proposals should be sent to

mfcsl2010@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.

Invited speaker

Important Dates

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

Program Committee