Location: The conference will take place in the historical building of
the Faculty of Mathematics and Physics of Charles University, located in
the attractive Lesser Town in downtown Prague, walking distance to the
Prague Castle. The building has been recently restored and MFCS will be
one of the first international conferences to be held in the beautiful halls
of this venue.
Scope: 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 and provide an opportunity to
bring together specialists working in the area. Papers presenting original
research on theoretical aspects of computer science are sought. The
scientific program will include invited lectures covering the areas of main
interest and original contributing talks.
The topics include (but are not restricted to) algorithms and data structures
(including sequential, parallel, distributed, approximation, graph,
network, number theory, and on-line algorithms), automata, grammars
and formal languages, complexity theory (structural and computational),
computational biology, computational geometry, concurrency theory, cryptography
and security, databases and knowledge-based systems, foundations
of programming, formal specifications and program development,
machine learning, models of computation (parallel and distributed computed,
fixed parameter tractability, quantum computing, and other), semantics
and logics of programs, and theoretical issues in artificial intelligence.
Submissions: The submission must not exceed 12 pages (preferably in
Springer-Verlag Lecture Notes LaTeX style). If the authors believe that
more details are essential to substantiate the main claims, they may include
a clearly marked appendix that will be read at the discretion of
the program committee. Simultaneous submission of papers to any other
conference with published proceedings or submitting previously published
papers is not allowed. Only electronic submissions in postscript or pdf
formats are accepted. Follow the instructions on the conference web page.
In case of any problems during the process of electronic submissions please
contact the organizers.
Proceedings: Invited papers and accepted contributions will be published
in the conference proceedings in Lecture Notes in Computer Science,
Springer-Verlag. These will be distributed during the conference.
The camera-ready copy as well as electronic files of the final version are
due shortly after the notification of acceptance.
Program Committee:
M. Broy (M¨unchen)
B. Chazelle (Princeton)
B. Codenotti (Pisa, Iowa City)
J. Diaz (Barcelona)
P. van Emde Boas (Amsterdam)
M. Fellows (Newcastle)
I. Guessarian (Paris)
J. Karhum¨aki (Turku)
V. Koubek (Praha, co-chair)
D. Kozen (Ithaca)
D. Kratsch (Metz)
J. Kratochv´ıl (Praha, chair)
A. Kuˇcera (Brno)
J. Pach (New York, Budapest)
B. Rovan (Bratislava)
G. Schnitger (Frankfurt)
P. Spirakis (Patras)
O. S´ykora (Loughborough)
J.A. Telle (Bergen)
P. Vit´anyi (Amsterdam)
P. Widmayer (Z¨urich)
Invited Speakers: (Preliminary)
M. Dezani-Ciancaglini (Torino)
R. Downey (Wellington)
M. Halld´orson (Reykjavik)
E. Koutsoupias (Los Angeles)
J. Marks (Cambridge)
R. Niedermeier (T¨ubingen)
J. Tiuryn (Warszawa)
U. Vishkin (College Park)
P. Weil (Bordeaux)
E. Welzl (Z¨urich)
Organizing Committee:
R. Caha
O. ˇCepek
J. Fiala
V. Koubek
A. Kuˇcera
F. Mr´az
P. ˇStˇep´anek (chair)
Important Dates:
Submission of papers April 1, 2004
Notification of acceptance May 21, 2004
Final version due June 6, 2004
Early registration June 15, 2004
Late registration August 13, 2004
|
