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