Logic List Mailing Archive
Mathematical Foundations of Computer Science (MFCS 2007), Cesky Krumlov (Czech Republic), 27-31 Aug 2007
**********************************************************************
* *
* 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 2, 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 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.
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.
Conference 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