From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8024 Path: news.gmane.org!not-for-mail From: mfcs2014@inf.u-szeged.hu Newsgroups: gmane.science.mathematics.categories Subject: MFCS 2014: Call for Papers Date: Mon, 24 Feb 2014 09:34:23 +0100 (CET) Message-ID: Reply-To: mfcs2014@inf.u-szeged.hu NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain;charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: ger.gmane.org 1393253972 6229 80.91.229.3 (24 Feb 2014 14:59:32 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 24 Feb 2014 14:59:32 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Mon Feb 24 15:59:39 2014 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WHx0M-0005jK-TI for gsmc-categories@m.gmane.org; Mon, 24 Feb 2014 15:59:39 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:54890) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1WHwzi-0003lQ-3N; Mon, 24 Feb 2014 10:58:58 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1WHwzg-0000Gg-8B for categories-list@mlist.mta.ca; Mon, 24 Feb 2014 10:58:56 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8024 Archived-At: 2nd Call for Papers 39th International Symposium on Mathematical Foundations of Computer Science MFCS 2014 Budapest, August 25--29, 2014 www.inf.u-szeged.hu/mfcs2014 *Announcement* 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. Quality papers presenting original research on theoretical aspects of computer science are solicited. *Topics* 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. *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). *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\laj Boja\'nczyk (Warsaw U., Poland), Gerth St\olting Brodal (Aarhus U., Denmark), Christian Choffrut (U. Paris Diderot, France), Erzs\'ebet Csuhaj-Varj\'u (E\"otv\"os Lor\'and U., Budapest, Hungary, co-chair), 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, Paris, 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). *Important dates* Paper submission deadline: *April 18, 2014.* Author notification: *June 3, 2014.* Camera-ready deadline: *June 16, 2014.* Conference: *August 25--29, 2014.* *Submission guidelines* Submissions to MFCS must not exceed 12 pages (in Springer-Verlag's Lecture Notes style and including bibliography). 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 submissions of papers to any other conference with published proceedings or simultaneous or previous submission of the same contribution to journals is not allowed. Only electronic submissions in PDF format are accepted. Information about the submission procedure is available on the conference web page. The proceedings will be published in the *ARCoSS subline of Lecture Notes in Computer Science by Springer-Verlag*. It is planned to have a special issue of*Information and Computation* to which journal versions of the best papers are invited. *Contact* Zolt\'an \'Esik: ze@inf.u-szeged.hu or Erzs\'ebet Csuhaj-Varj\'u: csuhaj@inf.elte.hu or Martin Dietzfelbinger: martin.dietzfelbinger@tu-ilmenau.de 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]