************************************************************************** ************************************************************************** ************************************************************************** ************* CSL'97 Deadline for Submissions ************* ************* ************* ************* April 15, 1997 ************* ************* ************* ************* LAST REMINDER ************* ************************************************************************** ************************************************************************** ************************************************************************** CSL '97 Annual Conference of the European Association for Computer Science Logic August 23-29, 1997 7 Aarhus, Denmark CSL is the annual conference of the European Association for Computer Science Logic (EACSL). The conference is intended for computer scientists whose research activities involve logic, as well as for logicians working on topics significant for computer science. Submissions =========== Authors are invited to submit a draft or full paper (up to 12 pages). The cover page should include title, authors, and corresponding authors (name, address, phone/fax number, e-mail address). Electronic submissions are encouraged. Submission forms can be obtained from http://www.brics.dk/CSL97/subm.html or by sending an empty message with Subject: CSL submission form to: csl97-subm@brics.dk. Alternatively, five hardcopies should be sent to: Prof. Mogens Nielsen, CSL '97 Department of Computer Science University of Aarhus Phone: +45 8942 3260 Ny Munkegade, Bldg. 540 Fax: +45 8942 3255 DK-8000 Aarhus C, Denmark E-mail: csl97@brics.dk Deadline of Submission: April 15, 1997 Authors will be notified of acceptance for presentation at the conference by June 15, 1997. A preliminary version of the full paper to be submitted to the Proceedings volume (LNCS Springer-Verlag) should be available at the conference. Authors will be notified of acceptance of their paper by December 15, 1997. Students Grants =============== A limited number of grants to attend the Conference and the Tutorials are available for students. The grants will cover local expenses (accomodation at the nearby Youth Hostel and conference fee, including lunches and coffes during the conference, excursion and conference dinner). They will not cover travel expenses. The deadline for application is June 22, 1997. More informations about the meeting, the students grants, the EACSL Association as well as a full copy of the Call for Papers can be found at the conference URL: http://www.brics.dk/CSL97.