Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings: 3618 (Lecture Notes in Computer Science, 3618) - Tapa blanda

Reseña del editor

This volume contains the papers presented at the 30th Symposium on Mat- matical Foundations of Computer Science (MFCS 2005)held in Gdansk, Poland fromAugust29thto September 2nd,2005.TakingplacealternatelyintheCzech Republic, Slovakia and Poland, this year the conference was organized by the Institute of Mathematics of Gdansk University. From the ?rst meeting in 1972 to this year's 30th event, the MFCS series has provided a basis for theoretical computer scientists to present their latest research results. The scope of the conference, consequently, covers all branches of theoretical computer science ranging from automata, algorithms, data str- tures, models of computation to complexity theory, also including arti?cial - telligence, computational biology, computational geometry and cryptography. The 137 submissions from 22 countries revealed a continued strong interest in the conference as well as the high-quality research results the MFCS series stands for. The Program Committee carefully selected 62 papers for presention at the conference complemented by 7 invited talks. The meeting took place at a conference hotel located on Sobieszewo Island, 15 km from Gdansk,o?ering both a beautiful landscapewith sandy beaches and forests and the possibility to explore the old Hanseatic city of Gdansk with its interesting history of over 1000 years.

Reseña del editor

This book constitutes the refereed proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science, MFCS 2005, held in Gdansk, Poland in August/September 2005.

The 62 revised full papers presented together with full papers or abstracts of 7 invited talks were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from quantum computing, approximation, automata, circuits, scheduling, games, languages, discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.