Logic List Mailing Archive

MFCS: extension of deadline, Bratislava (Slovakia), Aug 2009

EXTENDED DEADLINES

            Submission of abstracts        April 15, 2009
            Submission of papers            April 19, 2009


                           CALL FOR PAPERS

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 Qubec en Outaouais)
     * Stephane Demri (ENS Cachan)
     * Pierre Fraigniaud (U. Paris 7)
     * Giuseppe F. Italiano (U. di Roma "Tor Vergata")
     * Juhani Karhumki (U. Turku)
     * Ralf Klasing (LaBRI Bordeaux)
     * Michal Kouck (Academy of Sciences, Prague)
     * Rastislav Krlovi? (co-chair, Comenius U., Bratislava)
     * Stephan Kreutzer (U. Oxford)
     * Antonn 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)
     * Jrg Rothe (U. Dsseldorf)

Submission of abstracts         April 15, 2009
Submission of papers            April 19, 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 Krlovi?, 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.