[TYPES/announce] MFCS 2014: Call for Participation

mfcs2014 at inf.u-szeged.hu mfcs2014 at inf.u-szeged.hu
Tue Jun 10 07:07:45 EDT 2014

                     CALL FOR PARTICIPATION

                 39th International Symposium on
          Mathematical Foundations of Computer Science
                            MFCS 2014

                  Budapest, August 25--29, 2014

The series of MFCS symposia, organized since 1972, has a long and
well-established tradition. The MFCS conferences 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.

Principal topics of interest include (but are not limited to):
algorithms and data structures (incl. sequential, parallel,
distributed, randomized, approximation, graph, network, on-line,
parameterized, optimization algorithms), algorithmic game theory,
algorithmic learning theory, computational complexity (structural and
model-related), computational geometry, models of computation, networks
(incl. wireless, sensor, ad-hoc networks),  parallel and distributed
computing, quantum computing, automata, grammars and formal languages,
combinatorics on words, trees, and other structures, bioinformatics,
computer-assisted reasoning, concurrency theory, cryptography and
security, databases and knowledge-based systems, formal specifications
and program development, foundations of computing, logic, algebra and
categories in computer science, types in computer science, mobile
computing, semantics and verification of programs, theoretical issues
in artificial intelligence.

The scientific program of MFCS 2014 contains 7 invited lectures and
presentations of 95 contributed papers.

*Invited speakers*
- Krishnendu Chatterjee (IST Austria, Klosterneuburg, Austria)
- Achim Jung (U. of Birmingham, UK)
- D\'aniel Marx (Hungarian Academy of Sciences, Budapest, Hungary)
- Peter Bro Miltersen (Aarhus U., Denmark)
- Cyril Nicaud (U. Paris-Est, Marne-la-Vall\'ee, France)
- Alexander Sherstov (UCLA, Los Angeles, USA)
- Christian Sohler (TU Dortmund, Germany)

The contributed papers have been selected by the Program Committee
from a total of 270 submitted papers.

*Accepted papers* http://www.inf.u-szeged.hu/mfcs2014/?page_id=522

*Program Committee*
- Albert Atserias (UPC, Barcelona, Spain)
- Giorgio Ausiello (U. "La Sapienza", Rome, Italy)
- Jos Baeten (CWI, Amsterdam, The Netherlands)
- Therese Biedl (U. of Waterloo, Canada)
- Miko{\l}aj Boja\'nczyk (Warsaw U., Poland)
- Gerth St{\o}lting Brodal (Aarhus U., Denmark)
- Christian Choffrut (U. Paris Diderot, France)
- Erzs\'ebet Csuhaj-Varj\'u (E\"otv\"os Lor\'and U., Budapest, Hungary,
- Rocco De Nicola (IMT Lucca, Italy)
- Martin Dietzfelbinger (TU Ilmenau, Germany, co-chair)
- Manfred Droste (U. of Leipzig, Germany)
- Robert Els\"asser (U. Salzburg, Austria)
- Zolt\'an \'Esik (U. of Szeged, Hungary, chair)
- Uli Fahrenberg (Irisa/INRIA Rennes, France)
- Fedor V. Fomin (U. of Bergen, Norway)
- Fabio Gadducci (U. of Pisa, Italy)
- Anna G\'al (U. of Texas, Austin, USA)
- Dora Giammarresi (U. "Tor Vergata", Rome, Italy)
- Roberto Grossi (U. of Pisa, Italy)
- Anupam Gupta (CMU, Pittsburgh, USA)
- Michel Habib (U. Paris Diderot, France)
- Kristoffer Arnsfelt Hansen (Aarhus U., Denmark)
- Edith Hemaspaandra (RIT, Rochester, USA)
- Kazuo Iwama (Kyoto U., Japan)
- Yoshihiko Kakutani (U. of Tokyo, Japan)
- Juhani Karhum\"aki (U. of Turku, Finland)
- Bakhadyr Khoussainov (U. of Auckland, New Zealand)
- Elias Koutsoupias (U. of Oxford, UK)
- Rastislav Kr\'alovi\v{c} (Comenius U., Bratislava, Slovakia)
- Jan Kratochvil (Charles U., Prague, Czech Republic)
- Stefan Kratsch (TU Berlin, Germany)
- Amit Kumar (IIT, New Delhi, India)
- Kim G. Larsen (Aalborg U., Denmark)
- Fr\'ed\'eric Magniez (U. Paris Diderot, France)
- Ralph Matthes (U. Paul Sabatier, Toulouse, France)
- Madhavan Mukund (CMI, Chennai, India)
- Jean-\'Eric Pin (LIAFA, U. Paris Diderot and CNRS, Paris, France)
- Alexander Rabinovich (Tel Aviv U., Israel)
- Peter Rossmanith (RWTH Aachen U., Germany)
- Jan Rutten (CWI, Amsterdam and Radboud U. Nijmegen, The Netherlands)
- Wojciech Rytter (Warsaw U., Poland)
- Luigi Santocanale (Aix-Marseille U., France)
- Christian Scheideler (U. of Paderborn, Germany)
- Thomas Schwentick (TU Dortmund, Germany)
- Alex Simpson (U. of Edinburgh, UK)
- Mohit Singh (Microsoft Research, Redmond, USA)
- Klaus Sutner (CMU, Pittsburgh, USA)
- G\'abor Tardos (Hungarian Academy of Sciences, Budapest, Hungary)
- Gy\"orgy Tur\'an (U. of Illinois, Chicago, USA)
- Peter Widmayer (ETH Zurich, Switzerland)
- Philipp Woelfel (U. of Calgary, Canada)

To register for MFCS 2014 or for any further information, please go to
*Early registration ends on June 22, 2014.*

We look forward to seeing you in Budapest.

The scientific part of the conference is organized by the Faculty of
Informatics, E\"otv\"os Lor\'and University, Budapest, and the
Department of Foundations of Computer Science, Faculty of Science
and Informatics, University of Szeged, in cooperation with EATCS.

More information about the Types-announce mailing list