SECOND AND FINAL CALL FOR PAPERS 18th International Symposium on MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE Gdansk, Poland 30 August - 3 September 1993 SUBMISSION DEADLINE IS CLOSE ! 15 January 1993 The purpose of the symposia is to encourage high-quality research in all branches of Theoretical Computer Science and to provide an opportunity of bringing together specialists working actively in the area. The MFCS'93 symposium will be organized by the Institute of Computer Science of the Polish Academy of Sciences in Gdansk, Poland. Principal areas of interest of the symposium include: * software specification and development, * parallel and distributed computing, * semantics and logics of programs, * algorithms, complexity and computability, * database theory, * logic programming, * functional programming, * other related topics. The scientific programme will include invited lectures by - Krzysztof R. Apt (Amsterdam), - Andre Arnold (Bordeaux) - Rod M. Burstall (Edinburgh), - Volker Diekert (Stuttgart), - Matthew Hennessy (Brighton), - Furio Honsel (Udine), - Robin Milner (Edinburgh), - Andrew Pitts (Cambridge), - Vaughan Pratt (Stanford), - Grzegorz Rozenberg (Leiden), - Arto Salomaa (Turku), - Phil Wadler (Glasgow). The Programme Committee: J.Adamek (Prague), M.Bednarczyk (Gdansk), J.A.Bergstra (Amsterdam), A.Borzyszkowski (Gdansk), B.Courcelle (Bordeaux), H.-D.Ehrich (Braunschweig), I.Havel (Prague), G.Huet (Paris), N.Jones (Copenhagen), E.Moggi (Genova), V.Nepomniaschy (Novosibirsk), E.-R.Olderog (Oldenburg), F.Orejas (Barcelona), A.Poigne (St.Augustin), I.Sain (Budapest), D.Schmidt (Manhattan, Kansas), S.Sokolowski (Gdansk) and M.Wirsing (Munich). Authors are invited to submit 5 copies of a draft paper to S.Sokolowski The length of the final paper should not exceed 10 pages, size A4, at 12pt. Each contribution accompanied by a cover sheet containing eight-line abstract and detailed author's affiliation and address (fax, telex and e-mail are welcome). All the received contributions will be carefully refereed. The authors will be notified immediately. The accepted papers will be published in proceedings distributed at the conference. The publisher is Springer-Verlag, as usual for MFCS symposia. Submission deadline: 15 January 1993 Notification of the decision: 5 April 1993 Final versions due: 10 May 1993 The symposium is intended to be low budget. The organizers attempt to raise some financial support to partly cover the cost of attendance by the researchers from Central/Eastern Europe and from the former USSR. Any further information about the symposium may be obtained from Marek Bednarczyk, the Organizing Committee chairman, or from Stefan Sokolowski, the Programme Committee chairman, under the address: MFCS'93 Institute of Computer Science of the Polish Academy of Sciences ul. Jaskowa Dolina 31, P.O.Box 562, 80--252 Gdansk, Poland tel. ++48 58 419015 ext.26 or ++48 58 419034 ext.26 telex: 512233 pan pl, fax: ++48 58 416912 The organizers may also be contacted by e-mail under SSokolow@plearn.bitnet. Please DO NOT send contributions by e-mail!