Mathematical Foundations of Computer Science 2004

29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004. Proceedings

  • Jiří Fiala
  • Václav Koubek
  • Jan Kratochvíl
Conference proceedings MFCS 2004

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3153)

Table of contents

  1. Front Matter
  2. Invited Lectures

    1. Jerzy Tiuryn, Ryszard Rudnicki, Damian Wójtowicz
      Pages 1-24
    2. Magnús M. Halldórsson, Guy Kortsarz
      Pages 25-41
    3. Matthew Brand, Sarah Frisken, Neal Lesh, Joe Marks, Daniel Nikovski, Ron Perry et al.
      Pages 106-118
    4. Eduardo Bonelli, Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Pablo Garralda
      Pages 119-148
    5. Pascal Weil
      Pages 149-175
    6. Elias Koutsoupias
      Pages 177-179
  3. Graph Algorithms

    1. Hans L. Bodlaender, Fedor V. Fomin
      Pages 180-190
    2. Erik D. Demaine, MohammadTaghi Hajiaghayi, Dimitrios M. Thilikos
      Pages 191-203
    3. Hajo Broersma, Fedor V. Fomin, Gerhard J. Woeginger
      Pages 204-214
    4. Ioannis Caragiannis, Aleksei Fishkin, Christos Kaklamanis, Evi Papaioannou
      Pages 215-226
  4. Approximations

    1. Hans-Joachim Böckenhauer, Dirk Bongartz
      Pages 227-238
    2. Hubie Chen, Martin Pál
      Pages 239-250
    3. Andre Gronemeier
      Pages 251-262
    4. Miroslav Chlebík, Janka Chlebíková
      Pages 263-273
  5. Graphs and Complexity

    1. Daniel Král’, Pavel Nejedlý
      Pages 274-286

About these proceedings


This volume contains the papers presented at the 29th Symposium on Mat- matical Foundations of Computer Science, MFCS 2004, held in Prague, Czech Republic, August 22–27, 2004. The conference was organized by the Institute for Theoretical Computer Science (ITI) and the Department of Theoretical Com- terScienceandMathematicalLogic(KTIML)oftheFacultyofMathematicsand Physics of Charles University in Prague. It was supported in part by the Eu- pean Association for Theoretical Computer Science (EATCS) and the European Research Consortium for Informatics and Mathematics (ERCIM). Traditionally, the MFCS symposia encourage high-quality research in all branches of theoretical computer science. Ranging in scope from automata, f- mal languages, data structures, algorithms and computational geometry to c- plexitytheory,modelsofcomputation,andapplicationsincludingcomputational biology, cryptography, security and arti?cial intelligence, the conference o?ers a unique opportunity to researchers from diverse areas to meet and present their results to a general audience. The scienti?c program of this year’s MFCS took place in the lecture halls of the recently reconstructed building of the Faculty of Mathematics and P- sics in the historical center of Prague, with the famous Prague Castle and other celebratedhistoricalmonumentsinsight.Theviewfromthewindowswasach- lengingcompetitionforthespeakersinthe?ghtfortheattentionoftheaudience. But we did not fear the result: Due to the unusually tough competition for this year’s MFCS, the admitted presentations certainly attracted considerable in- rest. The conference program (and the proceedings) consisted of 60 contributed papers selected by the Program Committee from a total of 167 submissions.


Automat XML algorithms automata complexity computer computer science

Editors and affiliations

  • Jiří Fiala
    • 1
  • Václav Koubek
    • 2
  • Jan Kratochvíl
    • 1
  1. 1.Institute for Theoretical Computer Science and Department of Applied MathematicsCharles UniversityPragueCzech Republic
  2. 2.Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and PhysicsCharles UniversityPraha1Czech Republic

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22823-3
  • Online ISBN 978-3-540-28629-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book