32nd International Symposium on
Mathematical Foundations of Computer Science
August 26 – August 31, 2007
Call for Papers
********************************************************************** * * * MFCS 2007 * * * * 32nd International Symposium * * on Mathematical Foundation of COmputer Science * * * * Cesky Krumlov, Czech Republic * * * * August 27 - August 31, 2007 * * * ********************************************************************** Important dates: Submission deadline: April 10, 2007 Acceptance notification: May 28, 2007 Final version due: June 18, 2007 Symposium: August 27 - August 31, 2007 The symposium will take place in Cesky Krumlov, a beautifull small town in Southern Bohemia (see, e.g., http://www.ckrumlov.cz, a Unesco World Heritage Center since 1992, see http://whc.unesco.org/en/list/617). A conference bus from (Sunday Aug 26) and to (Friday Aug.31) Prague as well as convenient pre- and post-conference accommodation in Prague will be available for interested participants. The MFCS is organized by Faculty of Mathematics and Physics, Charles University, Prague in cooperation with European Association for Theoretical Computer Science. 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 specialists 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): * design and analysis of algorithms and data structures (including sequential, parallel, distributed, approximation, graph, network, on-line, optimization) * structural and computational complexity * foundations of computing * automata, grammars and formal languages * semantics and verification of programs * logic in computer science * formal specifications and program development * models of computation * concurrency theory * computational geometry * parallel and distributed computing * mobile computing * networks (including wireless, sensor, ad-hoc) * bioinformatics * quantum computing * cryptography and security * databases and knowledge-based systems * algorithmic learning theory * algorithmic game theory * computer-assisted reasoning * theoretical issues in artificial intelligence The scientific program will include a number of invited lectures covering the areas of current interest. Invited Speakers: Vasek Chvatal (Montreal, CA) Anuj Dawar (Cambridge, UK) Kurt Mehlhorn (Saarbruecken, DE) Luke Ong (Oxford, UK) Leslie Valiant (Cambridge, US) Program Committee: Kucera Ludek, co-chair Karlova Universita, Praha, CZ Kucera Antonin, co-chair Masarykova Universita, Brno, CZ Abdulla Parosh Uppsala Universitet Baeten Jos Eindhoven University of Technology, NL Deo Narsingh University of Central Florida, Orlando, US Diaz Josep Universitat Politecnica de Catalunya, Barcelona, SP Dinitz Yefim Ben Gurion University, Beer-Sheva, IL Esparza Javier Universitat Stuttgart, DE Fomin Fedor University of Bergen, NO Fraigniaud Pierre Universite Paris-Sud, Orsay, FR Hromkovic Juraj ETH Zurich, CH Italiano Giuseppe F. Universita degli Studi di Roma "Tor Vergata", IT Iwama Kazuo Kyoto University, JP Kaufmann Michael Eberhard Karls Universitat, T?bingen, DE K?nig Barbara Universitat Duisburg-Essen Kolman Petr Karlova Universita, Praha, CZ Kralovic Rastislav Universita Komenskeho, Bratislava, SK Marchetti-Spacamella Alberto Universita degli Studi di Roma "La Sapienza", IT Mares Martin Karlova Universita, Praha, CZ Meyer-auf-der-Heide Friedhelm Universitat Paderborn, DE Mukund Madhavan Chennai Mathematical Institute, IN Nielsen Mogens Aarhus Universitet, DK Pichler Reinhard Technische Universitat Wien, AT Raman Rajeev University of Leicester, GB Rolim Jose Universite Geneve, CH Sangiorgi Davide Universita di Bologna, IT Schnoebelen Philippe Ecole Normale Superieure de Cachan, FR Jerzy Tyszkievicz Warszaw University, PL Vishkin Uzi University of Maryland, US Widmayer Peter ETH Zurich, CH Worrell James Oxford University, GB Zaroliagis Christos University of Patras, GR The submission must not exceed 10 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. 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. Program committee address: Ludek Kucera MFCS 2007 Department of Applied Mathematics Faculty of Mathematics and Physics Charles University Malostranske namesti 25 118 00 Prague, Czech Republic Phone: (+420) 221 914 233 Fax: (+420) 257 531 014 E-mail: mfcs07@kam.mff.cuni.cz WWW: http://kam.mff.cuni.cz/~mfcs07