[C8] ================================================ AMAST Links 02 08

 Eleventh Annual IEEE Symposium on Logic In Computer Science, LICS'96
            New Brunswick, New Jersey, USA, July 27-30, 1996

  *Update* of the information in [AL0206C1]

  The final call for papers is available at:
   WWW : http://www.research.att.com/lics/ 
   FTP : ftp://research.att.com/dist/lics/ 

  The *Submission Deadline* is expired.
  
  *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