CSL '97 Annual Conference of the European Association for Computer Science Logic August 23-29, 1997 Aarhus, Denmark First Announcement and Call for Papers 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. Scientific Program August 23-24, 1997: Tutorials on Games and Logic S. Abramsky (Edinburgh): Game Semantics A.E. Emerson (Austin): Games, -calculus, and program verification W. Thomas (Kiel), I. Walukiewicz (Warsaw): Determinacy, the Rabin Tree Theorem and its extensions August 25-29, 1997: Invited Lectures and Contributed Papers Local Organization and Accommodation BRICS, Department of Computer Science, University of Aarhus. Limited financial support for young researcher is available. Inquiries and applications should be sent to csl97@brics.dk. Further information can be found on http://www.brics.dk/CSL97. Submissions Authors are invited to submit five copies of a draft or full paper (up to 12 pages) together with a two page abstract to Prof. Mogens Nielsen CSL '97 Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540 DK-8000 Aarhus C, Denmark Phone: +45 8942 3260 Fax: +45 8942 3255 E-mail: csl97@brics.dk The cover page should include title, authors, and corresponding authors (name, address, phone/fax number, e-mail address). Electronic submissions (postscript) are welcome and should be sent to 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. Program Committee K. Compton (Ann Arbor), J. Flum (Freiburg), J.-Y. Girard (Paris), F. Honsell (Udine), J.W. Klop (Amsterdam), W. Marek (Lexington), M. Nielsen (Aarhus, Vice-chair), P. Pudlak (Prague), E. Robinson (London), A. Tarlecki (Warsaw), W. Thomas (Kiel, Chair), I. Walukiewicz (Warsaw) EACSL Board E. Börger, D. van Dalen, K. Ambos-Spies, K. Meinke, J.Y. Girard, C. Böhm, B. Buchberger, Y. Gurevich, L. Pacholski The conference is sponsored by BRICS (Basic Research in Computer Science), a centre of the Danish National Research Foundation -- ########### B R I C S | Uffe Henrik Engberg (UHE) ##### ##### Department of Computer Science | Project Manager, PhD ########### University of Aarhus | engberg@brics.dk ##### ##### Ny Munkegade, Building 540 | +45 8942 3365 UHE ##### ##### DK-8000 Aarhus C | +45 8942 3360 BRICS ##### ##### Denmark | +45 8942 3255 Fax BRICS WWW