_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_ _/ _/ _/_/_/_/ _/_/_/_/ _/_/_/_/ _/ _/_/_/_/ _/_/_/_/ _/_/ _/_/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/_/_/_/ _/ _/ _/_/_/_/ _/_/_/_/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/ _/_/_/_/ _/ _/_/_/ _/_/_/_/ _/_/_/_/ _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_ CALL FOR PAPERS Mathematical Foundations of Computer Science August 28 - September 1, 1995 Prague, Czech Republic The International Symposium on Mathematical Foundations of Computer Science is the 20th - annual - symposium in the series of MFCS symposia organized alternately in the Czech Republic, Poland, and Slovak Republic, respectively. MFCS'95 will be held in Prague, capital of the Czech Republic. The purpose of the symposia is to encourage high-quality research in all branches of Theoretical Computer Science, and to provide an opportunity to bring together specialists active in the field. Papers presenting original research on theoretical aspects of computer science are sought. PRINCIPAL TOPICS of interest include (but are not limited to): algorithms and data structures, automata and formal languages, complexity and computability, computational geometry, cryptography, data bases and knowledge-based systems, declarative programming, formal specifications and program development, models of computation, parallel and distributed computing, semantics and logics of programs, theoretical issues in artificial intelligence, VLSI systems. THE SCIENTIFIC PROGRAM will include invited lectures covering the areas of current interest and short communications describing original research. INVITED SPEAKERS: S. Arnborg (Stockholm), V. Geffert (Kosice), G. Gottlob (Vienna), J. Hartmanis - key note address (Cornell), R. Karp (Berkeley), D. Lehmann (Jerusalem), D. Perrin (Paris), A.A. Razborov (Moscow), J. van Leeuwen (Utrecht), P. Vitanyi (Amsterdam). INSTRUCTIONS FOR AUTHORS: AUTHORS are invited to submit 6 copies of a draft paper (no e-mail submissions accepted) and an abstract of up to 20 lines (preferably by e-mail), in English, to be received by JANUARY 9, 1995 by JIRI WIEDERMANN tel: +42 2 6605 3520 MFCS'95, Institute of Computer Science fax: +42 2 8585 789 Academy of Sciences of the Czech Republic e-mail: wieder@uivt.cas.cz Pod vodarenskou vezi 2 182 07 Prague, Czech Republic Papers should start with a succinct statement of the problem, the results achieved, their significance and a comparison with previous work. The length, including cover page and bibliography, should not exceed 10 pages (roughly 4500 words total). If available, an e-mail address and the fax number for the contact author should be included. A paper deviating significantly from these guidelines will be rejected without consideration of its merits. Notification of acceptance will follow by APRIL 3, 1995. Accepted papers will be published in the proceedings (Lecture Notes in Computer Science, Springer-Verlag) and distributed to all participants at the conference. Camera-ready copy is due before MAY 15, 1995. PROGRAM COMMITTEE: Giorgio Ausiello (Rome), Dines Bjorner (Macau), Manfred Broy (Munich), Peter Clote (Munich), Bruno Courcelle (Bordeaux), Josep Diaz (Barcelona), Jerry Feldman (Berkeley), Petr Hajek (co-chair, Prague), Juhani Karhumaki (Turku), Vaclav Koubek (Prague), Mogens Nielsen (Aarhus), Wojciech Penczek (Warsaw), Igor Privara (Bratislava), Pavel Pudlak (Prague), Branislav Rovan (Bratislava), Grzegorz Rozenberg (Leiden), Eli Shamir (Jerusalem), Colin Stirling (Edinburg), Peter van Emde Boas (Amsterdam), Gerd Wechsung (Jena), Ingo Wegener (Dortmund), Avi Widgerson (Jerusalem), Jiri Wiedermann (co-chair, Prague), Derek Wood (London), Jiri Zlatuska (Brno). ORGANIZING COMMITTEE: T. Bedanova, H. Beran (co-chair), K. Hlavackova, R. Neruda, R. Jirousek, J. Sima, A. Stedry, L. Vachova, J. Wiedermann (chair), M. Zeithamlova (co-chair) INFORMATION about local arrangements may be obtained from M. Zeithamlova, ACTION M Agency, Vrsovicka 68, 101 00 Prague 10, Czech Republic, phone: +42 2 6731 2333-4, fax: 6731 0503, e-mail actionm@cuni.cz, or from H. Beran, at the above mentioned address of the Institute of Computer Science, Prague, e-mail: hynek@uivt.cas.cz. The symposium is organized by the Institute of Computer Science, Prague, in cooperation with Charles University, the Prague School of Economics, Action M Agency, and the Czech Society for Computer Science. MFCS'95 is supported by the European Association for Theoretical Computer Science (EATCS). _/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_/_ REPLY FORM MFCS'95 To be sent by by January 9,1995, Please fill in and return as early as possible via e-mail: ACTIONM@CUNI.CZ or fax to: +42 2 6731 0503 or send to: Action M Agency Milena Zeithamlova Vrsovicka 68 101 00 Prague 10 Czech Republic First name: Family name: Mr/Ms: Institute/Organization: Address: E-mail: Phone: Fax: I am likely to attend (yes/no): I expect to be accompanied by persons: I intend to submit a paper (yes/no): Provisional title or subject: I would also suggest sending this message to: Additional requests: