rdv@cs.vu.nl (Roel de Vrijer) (05/25/91)
Archive-name: news/conferences/lics91/1991-05-22
Archive: b.gp.cs.cmu.edu:/usr/lics/public/lics91.ps [128.2.242.8]
Original-posting-by: rdv@cs.vu.nl (Roel de Vrijer)
Original-subject: Logic in Computer Science, July 15-18, Amsterdam
Reposted-by: emv@msen.com (Edward Vielmetti, MSEN)
LICS 91 REGISTRATION AND PROGRAM
Sixth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS'91)
July 15-18, 1991
Vrije Universiteit, Amsterdam, The Netherlands
Sponsored by the IEEETC on Mathematical Foundations of Computing; CWI
Amsterdam; and the Vrije Universiteit, Amsterdam; in cooperation with the
Association for Computing Machinery--SIGACT, the Association for Symbolic
Logic, and the European Association for Theoretical Computer Science.
GENERAL INFORMATION
===================
Register and reserve hotel rooms by sending the completed form below by
EMAIL to
lics91@cwi.nl <LICS'91 Secretariat>
or by REGULAR MAIL to:
LICS'91 Secretariat
c/o CWI
Kruislaan 413
P.O. Box 4079
1009 AB Amsterdam
The Netherlands
Phones: (country 31)(city 20) 592 4171, 592 4058
Fax: (31) (20) 592 4199
Telex: 12571 matctr.nl
Note, however, that no registration or reservation will be effective
UNTIL FULL PAYMENT IS RECEIVED, as explained below.
Participants may register at the Sunday reception, and then at the
conference site in the Free University, 8:00-17:00 Monday and 9:00-17:00
through Wednesday. The conference brochure with some additional
information will be mailed upon request by the Conference Secretariat.
The postscript source of the conference brochure is available by anonymous
ftp in file lics91.ps in the directory /usr/lics/public on
b.gp.cs.cmu.edu.
[289 lines deleted. --Ed]
-- comp.archives file verification
b.gp.cs.cmu.edu
-rw-r--r-- 1 lics csfac 97974 Apr 17 13:08 /usr/lics/public/lics91.ps
found lics91 ok
b.gp.cs.cmu.edu:/usr/lics/public/lics91.ps