MFCS 2000
25th International Symposium on
Mathematical Foundations of Computer Science
August 28 - September 1, 2000
Bratislava, Slovak Republic, Europe

Call for Papers

[HTML Version] [ASCII Version]

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. 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 solicited.

Principal topics of interest include (but are not limited to): design and analysis of algorithms (sequential, parallel, distributed, approximation, computational biology, computational geometry, graph, network, on-line, optimisation) and data structures, algorithmic learning theory, automata, grammars and formal languages, structural and computational complexity, concurrency theory, cryptography and security, databases and knowledge-based systems, foundations of programming, formal specifications and program development, models of computation, parallel and distributed computing, quantum computing, molecular computing, mobile computing, net computing, semantics and logics of programs, theoretical issues in artificial intelligence.

The scientific program will include invited lectures covering the areas of current interest, short communications describing original research, and a number of 1-2 day workshops immediately preceding or following the conference. So far, the following workshops were confirmed:

(See the conference Web page for current information.)


A. Gordon (Cambridge), J. Davenport (Bath), R. Grosu (Philadelphia), L. Hemaspaandra (Rochester), G. Italiano (Rome), J. van Leeuwen (Utrecht), M. Vardi (Houston), S. Zaks (Haifa).


M. Broy (Munich), J. Diaz (Barcelona), R. Freivalds (Riga), Z. Fulop (Szeged), G. Gottlob (Vienna), B. Jonsson (Uppsala), J. Karhumaki (Turku), L. Kari (London, Ontario), D. Kozen (Ithaca), M. Kretinsky (Brno), C. Marche (Orsay), A. Marchetti-Spaccamela (Rome), M. Mavronicolas (Nicosia), B. Monien (Paderborn), M. Nielsen (Aarhus) co-chair, L. Pacholski (Wroclaw), J.-E. Pin (Paris), B. Rovan (Bratislava) chair, J. Rutten (Amsterdam), P. Ruzicka (Bratislava), V. Sassone (Catania), J. Sgall (Prague), A. Simpson (Edinburgh), K. Wagner (Wurzburg), I. Walukiewicz (Warsaw)

Authors are invited to submit a self contained PostScript version of their paper in English and an abstract of up to 20 lines (in a separate mail) by e-mail to

The submission must not exceed ten pages (preferably in Springer-Verlag Lecture Notes [La]Tex style) and must be received by March 24, 2000. An e-mail address and the fax number for the contact author should be included. Simultaneous submission of papers to any other conference with published proceedings is not allowed. Accepted papers will be published in the proceedings (Lecture Notes in Computer Science, Springer-Verlag) and distributed at the conference.


Submission deadline: March 24, 2000
Acceptance notification: May 22, 2000
Final version due: June 9, 2000
Symposium: August 28 - September 1, 2000
Attached workshops: August (26) 27, and September 2 (3), 2000


Branislav Rovan
MFCS 2000
Department of Computer Science
Comenius University
Mlynska dolina, MFF UK
842 48 BRATISLAVA, Slovak Republic

Phone: (+421 7) 654 26 635
Fax: (+421 7) 654 27 041
E-mail (submissions):
WWW: (Please, visit often for current information.)

The symposium is organized by the Slovak Society for Computer Science and the Comenius University, in cooperation with other institutions in Slovakia. It is supported by the European Association for Theoretical Computer Science, the European Research Consortium for Informatics and Mathematics, and the Slovak Research Consortium for Informatics and Mathematics.

Further information about symposium is available

Back to MFCS 2000 Home Page

Department of Computer Science, Faculty of Mathematics and Physics, Comenius University, Bratislava
All rights reserved. © 1999, 2000
Last modified: February 24, 2000