LICS 91 REGISTRATION AND PROGRAM Sixth Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS'91) 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. (We apologize if you receive a bothersome number of copies of LICS announcements. We are trying to coordinate our broadcasts among the multiple mail lists and newsgroups reaching the LICS community, but these efforts may not be effective for a while.) 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. REGISTRATION FEE ================ Registration fee covers attendance in all sessions, a copy of the proceedings, lunches, refreshments, receptions, and the conference banquet. through June 10 from June 11 Regular NLG 475 ($ 270) NLG 610 ($ 350) Member/Author NLG 375 ($ 215) NLG 480 ($ 275) Student NLG 200 ($ 115) NLG 245 ($ 140) Companion NLG 150 ($ 85) NLG 175 ($ 100) The reduced member/author rate applies to authors of accepted papers, members of a sponsoring organization, members of institutional sponsors, and members of the organizing and program committees. The student rate applies to full time students, including PhD students and Dutch AIO's and OIO's. Full participation and privileges are extended to registrants paying reduced rates. The companion rate covers the social events only (two receptions and banquet). The LICS organizers have limited funds available for support of attendees unable to obtain travel grants. Persons desiring such subsidy should contact the Conference Secretariat, indicating their circumstances and the amount of subsidy desired.