LICSNEWS 3 CONFERENCE ON COMPUTER-AIDED VERIFICATION (CAV'93) Elounda, Crete, GREECE, June 28-July 1, 1993 Invited speakers: Bob Brayton, Mike Gordon, Pravin Varaiya Tutorials: Specification & verification of real-time systems; Partial order methods. For full information about program, registration and accommodations, send email to firstname.lastname@example.org SECOND INTRNTNL WORKSHOP ON LOGIC PROGRAMMING & NON-MONOTONIC REASONING Lisbon, Portugal, June 28-30. INVITED SPEAKERS: G. Gottlob, R. Kowalski, W. Kohn, G. Metakides, R. Reiter, & Y. Sagiv. 46 contributed and poster papers will be presented. PROCEEDINGS (MIT Press) will be available. DEADLINES: Early registration: June 1. Student scholarships: May 1. FURTHER INFORMATION: LPNMR93, Departamento de Informatica, Universidade Nova de Lisboa, 2825 Monte da Caparica, Portugal E-mail: email@example.com Fax: 351-1-295.5641 Phone: 351-1-295.3220 (Mrs. Filipa Reis). Full information by anonymous ftp: directory /pub/lpnmr on ftp.fct.unl.pt RELATED EVENTS (same venue): COMPULOG-NET KRR Area Meeting (July 1st), and Compulog Network General Meeting (July 2nd). POST-ICLP'93 WORKSHOP ON LOGIC PROGRAMMING WITH SETS Budapest, Hungary, June 25, 1993 Submit a 2 page abstract (hard copy or email) of proposed contribution by April 1, 1993 to Gianfranco Rossi, Dipartimento di Matematica, Universita di Bologna, Porta S. Donato 5, 40127 Bologna, ITALY Email: firstname.lastname@example.org. Phone: 39-51-354.496. Fax: 39-51-354.490 CATEGORY THEORY & COMPUTER SCIENCE (Fifth biennial meeting) CWI, Amsterdam, September 7-10, 1993. Topics of interest include semantics of computation, program logics & specification, type theory, domain theory, linear logic, and categorical programming. Deadline for abstracts: May 25. For submittal and conference information contact: Dr. David Pitt, Department of Mathematics, University of Surrey, Guildford, Surrey GU2 XH, England. Email: email@example.com. ORGANIZING AND PROGRAM COMMITTEE: S. Abramsky, P.-L. Curien, P. Dybjer, G. Longo, G. Mints, J. Mitchell, E. Moggi, D. Pitt, A.Pitts, A. Poigne, D. Rydeheard, F-J. de Vries, E. Wagner. INDIANA UNIVERSITY LOGIC GROUP FTP ARCHIVE Logic preprints are available for public ftp from directory pub/logic on cs.indiana.edu (18.104.22.168). Abstracts of posted papers are in directory pub/logic/ABSTRACTS, and archive information in file pub/logic/README. Presently available preprints are (co-)authored by Gerard Allwein, Jon Barwise, Michael Dunn, Joseph Goguen, Yuri Gurevich, Daniel Leivant, Jean-Yves Marion, Jose Meseguer, Alice ter Meulen, Lawrence Moss, Jerry Seligman, and Satish Thatte. 1993 STRUCTURES CONFERENCE RESEARCH ABSTRACTS, William Gasarch, Editor. An annual collection of research abstracts, prepared in advance of the Structure in Complexity conference. To include an (un-refereed) abstract in the 1993 issue, it must be received by 5pm EST on Tuesday before the conference. For information about format and conditions, and for electronic submittals, send email to firstname.lastname@example.org. Mail hard-copy abstracts to William Gasarch, Structures Abstracts, Computer Sciences Dept, University of Maryland, College Park, MD 20742. The 1992 collection is available electronically: send email to email@example.com, and the LaTeX will be emailed to you. The 1993 collection will be available two days after the deadline, and emailed to anyone sending email to firstname.lastname@example.org.