Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!fas-news.harvard.edu!newspump.wustl.edu!news.ecn.bgu.edu!vixen.cso.uiuc.edu!howland.reston.ans.net!newsfeed.internetmci.com!in1.uu.net!allegra!alice!research!felty
From: felty@research.att.com (Amy Felty)
Subject: LICS'96 Final Call for Papers + Correction
X-Nntp-Posting-Host: lutece.research.att.com
Message-ID: <FELTY.95Dec6175444@lutece.research.att.com>
Followup-To: comp.ai
Sender: usenet@research.att.com (netnews <9149-80593> 0112740)
Reply-To: felty@research.att.com
Organization: AT&T Bell Laboratories
Date: Wed, 6 Dec 1995 22:54:44 GMT
Lines: 22


		  Eleventh Annual IEEE Symposium on
		      LOGIC IN COMPUTER SCIENCE
	   July 27-30, 1996, New Brunswick, New Jersey, USA


The complete call for papers is available from
  
  http://www.research.att.com/lics/     and
  ftp://research.att.com/dist/lics/


SUBMISSION DEADLINE: Papers must be received by December 13; late
submissions will not be considered.


CORRECTION: The postal code of the Program Chair in the original call
for papers is incorrect.  The correct address is
        Edmund M. Clarke
        Department of Computer Science
        Carnegie Mellon University
        Pittsburgh, PA 15213, USA
