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:

  * Algorithmic Foundations of Communication Networks
  * New Developments in Formal Languages versus Complexity
  * Prague Stringology Club Workshop 2000

(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):
(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

Further information about symposium is available at

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