Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the proceedings of the 32nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2007). The purpose of the MFCS symposia is to encourage high-quality researchin all ?elds of theoret- ? ical computer science. This year's conference was held in Cesky ´ Krumlov, Czech Republic, during August 26-31. The conference program of MFCS 2007 consisted of 61 contributed papers selectedby the ProgramCommittee froma totalof 167submissions.All subm- sionswerereadandevaluatedbyatleastfour referees,andthe resultingdecision was based on electronic discussion which often included help from outside - perts. A selection of contributed papers will appear in the journal Theoretical Computer Science. Complementing the contributed papers,the programof MFCS 2007included invitedlecturesbyVa? sekChv´ atal(Montreal,Canada),AnujDawar(Cambridge, UK), Kurt Mehlhorn (Saarbruc ¨ ken, Germany), Luke Ong (Oxford, UK), and Leslie Valiant (Cambridge, USA). We are grateful to the invited speakers for accepting our invitation and sharing their knowledge and skills with all MFCS 2007 participants. As the editors of these proceedings, we would like to thank everyone who contributed to the success of the symposium. First of all, we thank the authors ofallsubmittedpapersforconsideringMFCS2007asanappropriateplatformfor presentingtheirwork.Sincethenumberofsubmissionswasveryhigh,manygood papers could not be accepted. We also thank the Program Committee members for their demanding and responsible work, the referees for careful reading of all the submissions, and the sta? at Springer for the professional support in producing this volume.

Complex analysis --- Discrete mathematics --- Computer science --- discrete wiskunde --- complexe analyse (wiskunde) --- informatica --- programmeren (informatica) --- database management --- programmatielogica --- algoritmen