MFCS 2000 - Call for Participation

       Note that the early registration deadline is JULY 15, 2000.

                                 MFCS 2000

                      25th International Symposium on
              Mathematical Foundations of Computer Science

                       August 28 - September 1, 2000
                     Bratislava, Slovak Republic, Europe


                            CALL FOR PARTICIPATION

The Silver Jubilee 25th Symposium on Mathematical Foundations of Computer
Science - MFCS 2000 will take place in Bratislava, Slovakia, 
August 28 - September 1, 2000.

The series of MFCS symposia, organized alternately in the Czech Republic,
Poland and Slovakia since 1972, has a well-established tradition. The MFCS
symposia encourage high-quality research in all branches of theoretical
computer science. Their broad scope provides an opportunity of bringing
together specialists who do not usually meet at specialized conferences.

MFCS 2000 is organized under the auspices of the Minister of Education of
the Slovak Republic, Milan Ftacnik, by the Slovak Society for Computer
Science and the Comenius University in Bratislava, 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.

The scientific program of MFCS 2000 consists of 8 invited talks and 57
contributed talks. The latter have been selected by the Program Committee
from a total of 147 submitted papers. The program committee of MFCS 2000
consists of 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 (Wuerzburg), 
I. Walukiewicz (Warsaw).

The invited speakers at MFCS 2000 are 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).

The MFCS 2000 conference is accompanied by three satellite workshops taking
place at the weekends preceding and following MFCS 2000. These are
Algorithmic Foundations of Communication Networks, coordinated by 
M. Mavronicolas; New Developments in Formal Languages versus Complexity,
coordinated by K.W. Wagner; and Prague Stringology Club Workshop 2000,
coordinated by B. Melichar.

Please, consult the MFCS 2000 web page at http://www.mfcs.sk/
for the complete program and further details.

Branislav Rovan
MFCS 2000 PC Chair