Article: 1866 of cmu.cs.theory Newsgroups: cmu.cs.theory Path: cantaloupe.srv.cs.cmu.edu!crabapple.srv.cs.cmu.edu!penczek@IPIPAN.Waw.PL From: penczek@IPIPAN.Waw.PL ( Wojciech Penczek) Subject: MFCS'96: Call for papers Status: O Message-ID: <199510100939.KAA26523@Wars.IPIPAN.Waw.PL> X-Mozilla-Status: 0001 X-Sun-Charset: US-ASCII Sender: news+@cs.cmu.edu Original-To: Local Distribution Reply-To: Theory-A - TheoryNet World-Wide Events , Wojciech Penczek Approved-By: Theory-A - TheoryNet World-Wide Events Organization: Unavailable Original-Sender: TheoryNet List Date: Fri, 13 Oct 1995 02:07:14 GMT Approved: bboard-news_gateway Comments: To: Multiple recipients of list THEORY-A Lines: 161 CALL FOR PAPERS The 21st International Symposium on Mathematical Foundations of Computer Science (MFCS'96) September 2 - 6, 1996 Cracow, Poland The series of MFCS symposia, organized alternately in the Czech Republic, Poland and Slovakia since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science and provide an opportunity to bring together specialists working in the area. 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, concurrency theory, data bases and knowledge-based systems, declarative programming, formal specifications and programd evelopment, models of computation, parallel and distributed computing, semantics and logics of programs, theoretical issues in artificial intelligence, type theory, VLSI systems. The scientific program will include invited lectures covering the areas of main interest and short original communications. Invited Speakers E. Clarke (USA), V. Diekert (Germany), A. Gibbons (UK), P. Mosses (Denmark), D. Peled (USA), P.S. Thiagarajan (India), J. Tiuryn (Poland), J. Remmel (USA), D. Sannella (UK), V. Uspensky (Russia). Authors are invited to submit four (4) hard copies of a draft paper and an abstract of up to 20 lines (preferably by e-mail), in English, to the address indicated below: Wojciech Penczek tel: +48 22 36 28 41 MFCS'96 Program Chair Institute of Computer Science fax: +48 22 37 65 64 Polish Academy of Sciences e--mail: penczek@ipipan.waw.pl ul. Ordona 21, 01-237 Warsaw, Poland Authors are also strongly encouraged (whenever possible) to mail electronically a self contained PostScript version of the submitted paper to the address: penczek@ipipan.waw.pl or mfcs96@ipipan.waw.pl. Electronic submissions for which hard copies are not received will not be considered. The submissions must not exceed 12 pages (A4 with 12pt font sizes and single line spacing) and must be received by January 5, 1996. Papers should start with a succinct statement of the problem, the results achieved, their significance and a comparison with previous work. If authors feel that the page limit imposed is inadequate and that further background or full details of a proof may be necessary, then they may attach an appendix containing the extra material. 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. The authors will be notified of acceptance by April 2, 1996. Final version should not exceed 12 pages, including the title page and the bibliography and should be sent in by May 10, 1996. The accepted papers will be published in the proceedings in the LNCS series (Lecture Notes in Computer Science, Springer-Verlag) and distributed to all participants at the conference. Program Committee K.R. Apt (The Netherlands), R. Back (Finland), J.C.M. Baeten (The Netherlands), M. Crochemore (France), D. Gabbay (UK), M.C. Gaudel (France), U. Goltz (Germany), W. Forys (Poland), R. Kurshan (USA), W. Marek (USA), I. Nemeti (Hungary), R. De Nicola (Italy), M. Nielsen (Denmark), E.R. Olderog (Germany), E. Orlowska (Poland), Z. Pawlak (Poland), W. Penczek (chair, Poland), A. Pnueli (Israel), G. Rozenberg (The Netherlands), P. Ruzicka (Slovak Republic), W. Rytter (Poland), C. Stirling (UK), A. Szalas (co-chair, Poland), A. Tarlecki (Poland), I. Wegener (Germany), J. Zlatuska (Czech Republik). Organizing Committee S. Ambroszkiewicz, M. Bialasik, W. Forys (local arrangements), E.Gasiorowska, B. Konikowska (chair), W. Penczek, M. Srebrny, A. Szalas, A. Tarlecki. Information about local arrangements: All enquiries should be sent to Beata Konikowska, Institute of Computer Science, Polish Academy of Sciences, ul. Ordona 21, 01-237 Warsaw, Poland; e-mail: beatak@ipipan.waw.pl or mfcs96@ipipan.waw.pl, tel. +48 22 36 28 41, fax: +48 22 37 65 64. Further information can be ftp'ed from 'anonymous' ftp.ipipan.waw.pl, from the directory pub\conferences\mfcs96. It is also available at http:\\www.ipipan.waw.pl\conferences\mfcs96. The symposium is organized by the Institute of Computer Science, Polish Academy of Sciences in co-operation with the Institute of Informatics, Warsaw University. Location Cracow is the old capital of Poland. It attracts numerous tourists from all over the world who are eager to see its magnificent art treasures. The symposium will be organized in the Polonia Institute of the Jagiellonian University, situated in a very picturesque part of Cracow. REPLY FORM If you are interested in MFCS'96, please return the following information (preferably by e-mail) to: Beata Konikowska MFCS'96 Institute of Computer Science Polish Academy of Sciences ul. Ordona 21, 01-237 Warsaw, Poland e--mail: beatak@ipipan.waw.pl or mfcs96@ipipan.waw.pl First and Last Name: .................................................... Title (Prof., Dr., Mr., Ms.):............................................ Affiliation:............................................................. Address:................................................................. Tel:................. Fax:..................E-mail:...................... [ ] I am likely to attend the conference [ ] I would like to receive further information about MFCS'96 [ ] I intend to submit a paper to MFCS'96. The provisional title is :........................................... The provisional list of authors is:.................................. MFCS'96 is supported by the European Association for Theoretical Computer Science (EATCS).