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