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 researchers who do not usually meet at specialized conferences. Quality papers presenting original research on theoretical aspects of computer science are solicited.

Principal topics of interest include (but are not limited to):

* algorithmic game theory
* algorithmic tearning theory
* algorithms and data structures (incl. sequential, parallel, distributed, approximation, graph, network, on-line, optimization)
* automata
* grammars and formal languages
* bioinformatics
* complexity (structural and computational)
* computational geometry
* computer-assisted reasoning
* concurrency theory
* cryptography and security
* databases and knowledge-based systems
* formal specifications and program development
* foundations of computing
* logic in computer science
* mobile computing
* models of computation
* networks (incl. wireless, sensor, ad-hoc)
* parallel and distributed computing
* quantum computing
* semantics and verification of programs
* theoretical issues in artificial intelligence

Invited Speakers:

* Albert Atserias (UPC Barcelona)
* Didier Caucal (U. Marne-la-vallee)
* Javier Esparza (TU Munich)
* Thomas Henzinger (EPFL Lausanne)
* Muthu Muthukrishnan (Google)
* Pavlos Spirakis (U. Patras)
* Peter Widmayer (ETH Zurich)

Program Committee:

* Marcelo Arenas (U. Santiago)
* Luca Becchetti (U. di Roma "La Sapienza")
* Mikolaj Bojańczyk (U. Warsaw)
* Balder ten Cate (U. Amsterdam)
* Thomas Colcombet (U. Paris 7)
* Jurek Czyzowicz (U. du Québec en Outaouais)
* Stephane Demri (ENS Cachan)
* Pierre Fraigniaud (U. Paris 7)
* Giuseppe F. Italiano (U. di Roma "Tor Vergata")
* Juhani Karhumäki (U. Turku)
* Ralf Klasing (LaBRI Bordeaux)
* Michal Koucký (Academy of Sciences, Prague)
* Rastislav Královič (co-chair, Comenius U., Bratislava)
* Stephan Kreutzer (U. Oxford)
* Antonín Kučera (U. Brno)
* Luděk Kučera (Charles U. Prague)
* Salvatore La Torre (U. Salerno)
* Jan van Leeuwen (U. Utrecht)
* Friedhelm Meyer auf der Heide (U. Paderborn)
* Anca Muscholl (U. Bordeaux)
* Damian Niwiński (co-chair, U. Warsaw)
* Alexander Okhotin (U. Turku)
* Leszek Pacholski (U. Wrocław)
* David Peleg (Weizmann Institute, Rehovot)
* Nir Piterman (Imperial College London)
* Jean-Éric Pin (U. Paris 7)
* Michel Raynal (U. Rennes 1)
* Simona Ronchi Della Rocca (U. Torino)
* Jörg Rothe (U. Düsseldorf)

Submission of abstracts April 10, 2009
Submission of papers April 15, 2009
Acceptance notification May 27, 2009
Symposium August 24 - 28, 2009

The submission must not exceed 12 pages (preferably in Springer-Verlag Lecture Notes 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. Detailed information about the submission procedure will be available on the conference web page www.mfcs.sk in due time. The proceedings will be published in Lecture Notes in Computer Science, Springer-Verlag. These will be distributed during the conference.

Conference address: Rastislav Královič, MFCS 2009, Department of Computer Science, Comenius University, FMFI UK, Mlynská dolina, 842 48 Bratislava, Slovak Republic

Phone: (+421 2) 602 95 470, Fax: (+421 2) 654 27 041, E-mail: mfcs@informatika.sk

The conference is organized by Slovak Society for Computer Science and Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava. For further information, please contact the conference web page

www.mfcs.sk