ERCIM News No.44 - January 2001 [contents]

MFCS 2000 - Mathematical Foundations of Computer Science

by Branislav Rovan

The international symposium Mathematical Foundations of Computer Science (MFCS) is one of the top yearly events in theoretical computer science in Europe. The silver jubilee 25th MFCS took place on August 28 - September 1, 2000 in Bratislava, Slovakia. It was organized under the auspices of the Minister of Education of the Slovak Republic Milan Ftacnik by the Slovak Society for Computer Science and the Faculty of Mathematics, Physics, and Informatics of the Comenius University in Bratislava.

This series of symposia was initiated in 1972 in Poland and they are held alternatly in Poland, Slovakia, and the Czech Republic. The main goal of the series of symposia is to stimulate research in all branches of theoretical computer science. Its broad scope facilitates interaction among researchers who do not usually meet at specialized conferences.

The scientific program of MFCS 2000 consisted of invited talks by 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) and of 57 contributed talks selected from the 147 submitted contributions by the 25 members of the Program Committee. Five ERCIM institutes were represented on the Program Committee together with many other leading research institutions in Europe and Northern America. The Proceedings of the symposium were published by the Springer-Verlag ( as Vol. 1893 of the Lecture Notes in Computer Science series. Three specialized workshops were organized on the days preceeding and following the MFCS: Algorithmic Foundations of Communication Networks coordinated by Marios Mavronicolas (Nicosia), New Trends in Formal Languages vs. Complexity coordinated by Klaus W. Wagner (Wuerzburg), and Prague Stringology Club Workshop coordinated by Borivoj Melichar (Prague). Please visit the symposium web page at for more details on the program and attached workshops.

Over 120 participants from 20 countries (USA, Canada, Israel, South Africa, and most European countries) took part at MFCS 2000. The symposium was supported by the European Association for Theoretical Computer Science (EATCS, ERCIM, and the Slovak Research Consortium for Informatics and Mathematics (SRCIM Telenor Slovakia supported the symposium by providing the Internet connection to the conference site and by hosting the symposium web page.

Symposium web page

Please contact:
Branislav Rovan - SRCIM
Tel: +421 7 6542 6635