* Workshop on Categorical Logic
@ 2009-11-11 14:36 Jiri Rosicky
0 siblings, 0 replies; 2+ messages in thread
From: Jiri Rosicky @ 2009-11-11 14:36 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Workshop on Categorical Logic
@ 2010-04-12 13:18 Jiri Rosicky
0 siblings, 0 replies; 2+ messages in thread
From: Jiri Rosicky @ 2010-04-12 13:18 UTC (permalink / raw)
To: categories
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/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2010-04-12 13:18 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-11-11 14:36 Workshop on Categorical Logic Jiri Rosicky
2010-04-12 13:18 Jiri Rosicky
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).