Mathematical Theory of Computation

Theidea ofa refereedconferencefor the mathematicalprogrammingcommunity was proposed by Ravi Kannan and William Pulleyblank to the Mathematical Prog...

The 7th International Conference on Large-Scale Scienti?c Computations (LSSC 2009) was held in Sozopol, Bulgaria, June 4-8, 2009. The conference wa...

We are very pleased to present to you this LNCS volume, the proceedings of the 11th International Conference on Parallel Problem Solving from Natur...

These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during S...

We are pleased to present the proceedings of the 10th Workshop on Algorithms in Bioinformatics (WABI 2010) which took place in Liverpool, UK, Sept-...

This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (...

ANTS-IX was the ninth edition of the biennial International Symposium on Algorithmic Number Theory. The ?rst edition of this symposium was held at ...

CiE 2010: Programs, Proofs, Processes Ponta Delgada, Azores, Portugal, June 30-July 4 2010 The last few years, starting in 2005 with out inaugural ...

ThisvolumecontainsthepaperspresentedatThe11thPaci?cRimInternational Conference on Arti?cial Intelligence (PRICAI 2010) held during August 30- Septe...

Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pionee...

This volume contains the accepted full papers and extended abstracts of the 5th Brazilian Symposium on Bioinformatics held in Bu 'zios, Rio de Jane...

This book contains the proceedings of the 6th International Workshop on OpenMP held in Tsukuba City, Japan, in June 2010. The International Wo- sho...

The 14th International Conference on Developments in Language Theory (DLT 2010) was held in London, Ontario, Canada on the beautiful campus of the ...

This book constitutes the refereed proceedings of the 8th International Workshop on the Finite-State-Methods and Natural Language Processing, FSMNL...

This volume contains the proceedings of TAP 2010, the 4th International C- ference on Tests and Proofs held during July 12 in M´ alaga, Spain as pa...

Thepapers inthis volumewereselectedfor presentationatthe 4thInternational FrontiersofAlgorithmicsWorkshop(FAW2010),heldduringAugust11-13,2010 at Wu...

This volume contains the papers that were presented at the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2...

This book contains the papers of the 12th Advances in Computer Games C- ference (ACG 2009) held in Pamplona, Spain. The conference took place durin...

While the areas of information management and management science are full of algorithmic challenges, the proliferation of data has called for the d...

The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, duri...

In 2010 the internationalfederated conferenceson Distributed Computing Te- niques (DisCoTec) took place in Amsterdam, during June 7-9. It was hoste...

th The 5 International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010) has become a unique, established and broad interdisciplinar...

It is our great pleasure to present the proceedings of the second RussiaTaiwan Symposium on Methods and Tools of Parallel Programming (MTPP 2010). ...

This volume contains the papers presented at the International GI/ITG C- ference on Measurement, Modelling and Evaluation of Computing Systems and ...