From mboxrd@z Thu Jan  1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2515
Path: news.gmane.org!not-for-mail
From: Steve Awodey <awodey@cmu.edu>
Newsgroups: gmane.science.mathematics.categories
Subject: CORRECTION: MFPS XX
Date: Wed, 10 Dec 2003 16:59:31 -0500
Message-ID: <f06002003bbfd46f47b81@[128.2.62.109]>
NNTP-Posting-Host: main.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii" ; format="flowed"
X-Trace: ger.gmane.org 1241018719 4549 80.91.229.2 (29 Apr 2009 15:25:19 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 29 Apr 2009 15:25:19 +0000 (UTC)
To: categories@mta.ca
Original-X-From: rrosebru@mta.ca Wed Dec 17 17:40:39 2003 -0400
Return-path: <cat-dist@mta.ca>
Envelope-to: categories-list@mta.ca
Delivery-date: Wed, 17 Dec 2003 17:40:39 -0400
Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10)
	id 1AWjK7-0003yV-00
	for categories-list@mta.ca; Wed, 17 Dec 2003 17:35:15 -0400
X-Sender: awodey@cyrus.andrew.cmu.edu
Original-Sender: cat-dist@mta.ca
Precedence: bulk
X-Keywords: 
X-UID: 9
Original-Lines: 30
Xref: news.gmane.org gmane.science.mathematics.categories:2515
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.categories/2515>

In this announcement:

>
>=======================================================
>
>                  FIRST ANNOUNCEMENT
>                      MFPS 20
>              Twentieth Workshop on the
>     Mathematical Foundations of Programming Semantics
>              Carnegie Mellon University
>                  May 23 - 26, 2004
>
>     Co-located with Annual Association of Symbolic Logic Meeting

the session:

>
>   Domain Theory - organized by Steve Awodey (CMU)
>

should read:

   Logical Foundations of Programming Semantics (joint session with ASL)
     - organized by Steve Awodey (CMU)

thanks,

Steve