MFCS 2003
28th International Symposium on
Mathematical Foundations of Computer Science
August 25 - 29, 2003
Bratislava, Slovak Republic, Europe


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. See the conference Web page for current information.

Invited Speakers (confirmed up to now):Harry Buhrmann (Amsterdam), Roberto Gorrieri (Bologna), Giancarlo Mauri (Milano), Burkhard Monien (Paderborn), Don Sannella (Edinburgh), Wolfgang Thomas (Aachen), Ingo Wegener (Dortmund).

Program Committee: Julian Bradfield (Edinburgh), Janos Csirik (Szeged), Pierpaolo Degano (Pisa), Mariangiola Dezani-Ciancaglini (Torino), Krzysztof Diks (Warsaw), Juhani Karhumaki (Turku), Marek Karpinski (Bonn), Mojmir Kretínsky (Brno), Werner Kuich (Vienna), Jan van Leeuwen (Utrecht), Christoph Meinel (Trier), Leszek Pacholski (Wroclaw), David Peleg (Rehovot), Jose Rolim (Geneve), Branislav Rovan - chair (Bratislava), Jan Rutten (Amsterdam), Paul Spirakis (Patras), Jiŕí Šíma (Prague), Ulrich Ultes-Nitsche (Fribourg), Peter Vojtáš - vice-chair (Košice), Igor Walukiewicz (Bordeaux).

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 28, 2003. 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.

Important dates:
Workshop proposals: February 28, 2003
Submission deadline: March 28, 2003
Acceptance notification: May 12, 2003
Final version due: May 30, 2003
Symposium: August 25 - 29, 2003

Conference address:
Branislav Rovan
MFCS 2003
Department of Computer Science
Comenius University
Mlynská dolina, FMFI UK
842 48 BRATISLAVA, Slovak Republic
Phone: (+421 2) 654 26 635
Fax: (+421 2) 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, and the Slovak Research Consortium for Informatics and Mathematics.

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