From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/5227 Path: news.gmane.org!not-for-mail From: Jiri Rosicky Newsgroups: gmane.science.mathematics.categories Subject: Workshop on Categorical Logic Date: Wed, 11 Nov 2009 15:36:09 +0100 Message-ID: Reply-To: Jiri Rosicky NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1257953439 29063 80.91.229.12 (11 Nov 2009 15:30:39 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 11 Nov 2009 15:30:39 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Wed Nov 11 16:30:32 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1N8F9Q-0007e7-1y for gsmc-categories@m.gmane.org; Wed, 11 Nov 2009 16:30:28 +0100 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1N8EkB-0005sn-Ch for categories-list@mta.ca; Wed, 11 Nov 2009 11:04:23 -0400 Content-Disposition: inline Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:5227 Archived-At: Announcement of a workshop on CATEGORICAL LOGIC August 28-29, 2010 Masaryk University Brno Czech republic Invited speaker: Martin Hyland (Cambridge) Abstract submission deadline: April 15, 2010 Acceptance notification: May 15, 2010 Registration: June 2010 This workshop is a satellite to the joint MFCS & CSL 2010 conference which takes place August 23-27, 2010. More details can be obtained from: http://mfcsl2010.fi.muni.cz/catlog 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. 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]