🚀 go-pugleaf

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