[Prev][Next][Index][Thread]

LICS'96 Final Call for Papers + Correction


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]



		  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