From: Jiri Rosicky <rosicky@math.muni.cz>
To: categories@mta.ca
Subject: Workshop on Categorical Logic
Date: Mon, 12 Apr 2010 15:18:25 +0200 [thread overview]
Message-ID: <E1O1LEQ-0003s2-NI@mailserv.mta.ca> (raw)
Second Announcement of a Workshop on
CATEGORICAL LOGIC
August 28-29, 2010
Masaryk University
Brno
Czech republic
Invited speaker:
Martin Hyland (Cambridge)
Abstract submission deadline extension: May 15, 2010
Acceptance notification: May 30, 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. Abstracts can be sent to any member
of the program committee.
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/ ]
next reply other threads:[~2010-04-12 13:18 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-12 13:18 Jiri Rosicky [this message]
-- strict thread matches above, loose matches on Subject: below --
2009-11-11 14:36 Jiri Rosicky
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1O1LEQ-0003s2-NI@mailserv.mta.ca \
--to=rosicky@math.muni.cz \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).