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 cav@csd.uch.gr


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: lpnmr@fct.unl.pt   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: gianfr@dm.unibo.it. 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: d.pitt@mcs.surrey.ac.uk.
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 (129.79.254.191).  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
gasarch@cs.umd.edu.  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 
abstract92@cs.umd.edu, 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 abstract93@cs.umd.edu.