MFCS 2001

26th International Symposium on
Mathematical Foundations of Computer Science

August 27 - 31, 2001
Marianske Lazne, Czech Republic


Call for Papers

The series of MFCS symposia, organized alternately in Poland, Slovakia, and the Czech Republic since 1972, has a long and well-established tradition. The MFCS symposia encourage high-quality research in all branches of theoretical computer science. Their broad scope provides an opportunity to bring together specialists who do not usually meet at specialized conferences. 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 (including sequential, parallel, distributed, approximation, graph, network, number theory, and on-line algorithms), automata, grammars and formal languages, complexity theory (structural and computational), computational biology, computational geometry, concurrency theory, cryptography and security, databases and knowledge-based systems, foundations of programming, formal specifications and program development, machine learning, models of computation (parallel and distributed computing, quantum computing, molecular computing, and other), semantics and logics of programs, theoretical issues in artificial intelligence.


Dana Scott (Carnegie-Mellon, Pittsburgh), Peter Buergisser (Univ. Paderborn), Erik Demaine (Univ. of Waterloo), Amos Fiat (Tel-Aviv Univ.), Georg Gottlob (TU Wien), Martin Hofmann (Univ. of Edinburgh), Peter Hoyer (BRICS, Univ. of Aarhus), Dana Randall (Georgia Tech, Atlanta), Uwe Schoening (univ. Ulm), Thomas Wilke (Univ. Kiel).


The submission must not exceed ten pages (preferably in Springer-Verlag Lecture Notes [La]TeX style). If the authors believe that more details are essential to substantiate the main claims, they may include a clearly marked appendix that will be read at the discretion of the program committee. Simultaneous submission of papers to any other conference with published proceedings or submitting previously published papers is not allowed; including the case when the main part of the submission overlaps with some other paper. Electronic submission is strongly preferred; for details see the www  page. If electronic submission is not possible, 5 hard copies must be submitted and received by the deadline. The deadline is Monday, April 2, 2001.


Invited papers and accepted contributions will be published in the proceedings in Lecture Notes in Computer Science,  Springer-Verlag. These will be distributed at the symposium.


Manfred Broy (TU Munich), Harry Buhrman (CWI, Amsterdam), Anne Condon (Univ. of British Columbia, Vancouver), Peter van Emde Boas (Amsterdam Univ.), Martin Grohe (Univ. of Illinois, Chicago), Petr Hajek (Academy of Sciences, Prague), Juraj Hromkovic (RWTH Aachen), Russell Impagliazzo (UC San Diego), Achim Jung (Univ. of Birmingham), Juhani Karhumaki (Univ. of Turku), Matthias Krause (Univ. Mannheim), J. A. Makowsky (Technion, Haifa), Tadeusz Morzy (Poznan Univ. of Technology), Ales Pultr (Charles Univ., Prague, co-chair), Giuseppe Rosolini (Univ. of Genova), Branislav Rovan (Comenius Univ., Bratislava), Don Sannella (Univ. of Edinburgh), Jiri Sgall (Academy of Sciences, Prague, chair), Gabor Tardos (Academy of Sciences, Budapest), Igor Walukiewicz (Warsaw Univ.), Ingo Wegener (Univ. Dortmund), Peter Widmayer (ETH, Zurich), Gerhard Woeginger (Technical Univ. Graz), Moti Yung (Columbia Univ., New York).


Mathematical Institute of the Academy of Sciences of the Czech Republic
Institute for Theoretical Computer Science, Charles University, Faculty of Mathematics and Physics
Institute of Computer Science of the Academy of Sciences of the Czech Republic
Action M Agency


European Research Consortium for Informatics and Mathematics
Czech Research Consortium for Informatics and Mathematics
European Association for Theoretical Computer Science


Hotel Cristal Palace, Hlavni 61, in the very center of town Marianske Lazne. Marianske Lazne (Marienbad) is a part of the West Bohemia Spa Triangle. The town is endowed with more than 100 mineral springs and surrounded by beautiful highlands. It is very close to Czech - German border.


Submission deadline:   Monday, April 2, 2001
Acceptance notification:  Monday, May 14, 2001
Final version due:   Thursday, June 7, 2001
Early registration:   Friday, June 15, 2001
Symposium:   Monday to Friday, August 27-31, 2001


Submissions, program committee:
MFCS 2001 (Jiri Sgall)
Mathematical Institute, AS CR
Zitna 25
115 67 Praha 1
Czech Republic
Phone:  +420-2-2209 0780
Fax:   +420-2-2221 1638

Registration, accommodation:
Action M Agency (Milena Zeithamlova, Lucie Vachova)
Vrsovicka 68
101 00 Praha 10
Czech Republic
Phone:  +420-2-6731 2333-4
Fax:  +420-2-6731 0503


Last changed March 13, 2001.