MFCS 2013 - 38 International Symposium on Mathematical Foundations of Computer Science

The series of MFCS symposia, organized 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.
Topics of interest
Principal topics of interest include (but are not limited to):
algorithmic game theory,
algorithmic learning theory,
algorithms and data structures (incl. sequential, parallel, distributed, approximation, graph, network, on-line, parameterized, 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
Sam Buss (UC San Diego)
Leah Epstein (U. Haifa)
Jean Goubault-Larrecq (ENS-Cachan)
Martin Grohe (Humboldt U. Berlin)
Elias Koutsoupias (U. Athens)
Nir Piterman (U. Leicester)
Program Committee
Parosh Abdulla (Uppsala U., Sweden)
Eli Ben-Sasson (Technion, Israel)
Nathalie Bertrand (INRIA Rennes, France)
Markus Bläser (U. des Saarlandes, Germany)
Tomáš Brázdil (Masaryk U., Czech Republic)
Ioannis Caragiannis (U. Patras, Greece)
Krishnendu Chatterjee (IST Austria, Austria - Chair)
Thomas Colcombet (LIAFA-CNRS, France)
Anuj Dawar (U. Cambridge, UK)
Giorgio Delzanno (U. Genova, Italy)
Martin Dietzfelbinger (TU Ilmenau, Germany)
Krzysztof Diks (U. Warsaw, Poland)
Zoltan Esik (U. Szeged, Hungary)
Sándor Fekete (TU Braunschweig, Germany)
Eldar Fischer (Technion, Israel)
Dmitry Gavinsky (NEC Labs, Princeton, USA)
Andrew Goldberg (Microsoft Research, USA)
Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
Tao Jiang (UC Riverside, USA)
Barbara König (U. Duisburg-Essen (UDE), Germany)
Pascal Koiran (Ecole Normale Supérieure de Lyon, France)
Rastislav Královič (Comenius U., Slovakia)
Erik Jan van Leeuwen (MPI, Saarbrücken, Germany)
Stefano Leonardi (Sapienza U. Rome, Italy)
Christof Löding (RWTH Aachen U., Germany)
Zvi Lotker (Ben Gurion U., Israel)
Jerzy Marcinkowski (U.Wrocław, Poland)
Dániel Marx (Hungarian Academy of Sciences, Hungary)
Peter Bro Miltersen (Aarhus U., Denmark)
Madhavan Mukund (CMI, India)
Rasmus Pagh (IT U. Copenhagen, Denmark)
Madhusudan Parthasarathy (UI Urbana-Champaign, USA)
Daniel Paulusma (Durham U., UK)
Holger Petersen (msg systems ag, Germany)
Alex Rabinovich (Tel Aviv U., Israel)
Rahul Santhanam (U. Edinburgh, UK)
Jiří Sgall (Charles U., Czech Republic - Chair)
Martin J. Strauss (U. Michigan, USA)
Ola Svensson (EPFL, Switzerland)
Maxim Sviridenko (U. Warwick, UK)
Pavel Valtr (Charles U., Czech Republic)
Peter Widmayer (ETH, Switzerland)
Gerhard Woeginger (Eindhoven U. Technology, Netherlands)
James Worrell (U. Oxford, UK)