From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/532 Path: news.gmane.org!not-for-mail From: categories Newsgroups: gmane.science.mathematics.categories Subject: PSSL - Announcement Date: Thu, 20 Nov 1997 13:58:07 -0400 (AST) Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: ger.gmane.org 1241017020 26152 80.91.229.2 (29 Apr 2009 14:57:00 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 14:57:00 +0000 (UTC) To: categories Original-X-From: cat-dist Thu Nov 20 13:59:48 1997 Original-Received: (from cat-dist@localhost) by mailserv.mta.ca (8.8.8/8.8.8) id NAA18334; Thu, 20 Nov 1997 13:58:08 -0400 (AST) Original-Lines: 14 Xref: news.gmane.org gmane.science.mathematics.categories:532 Archived-At: Date: Thu, 20 Nov 1997 11:52:40 +0100 (MET) From: Jiri Rosicky PRELIMINARY ANNOUNCEMENT The Federated Conference Mathematical Foundations of Computer Science and Computer Science Logic will take place in Brno (Czech Republic) during August 23-28, 1998. In this connection, I am going to hold the meeting of the Peripatetic Seminar on Sheaves and Logic in Brno over the weekend of August 29-30, 1998. As usual, there will be welcomed talks on category theory, sheaves, logic and related areas (theoretical computer science in particular). Jiri Rosicky