This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.
This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuress...
This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2005, held in Hawthorne, NY, USA in October 2005. The 26 revised full papers and eight short papers presented were carefully selected during two rounds of reviewing and improvement. The papers are organized in topical sections.
This book constitutes the thoroughly refereed post-proceedings of the 18th International Workshop on Languages and Compilers for Parallel Computing...
This book constitutes the thoroughly refereed post workshop proceedings of the 5th International Workshop on Approximation and Online Algorithms, WAOA 2007, held in Eilat, Israel, in October 2007 as part of the ALGO 2007 conference event. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design,...
This book constitutes the thoroughly refereed post workshop proceedings of the 5th International Workshop on Approximation and Online Algorithms, WAOA...
This book constitutes the refereed proceedings of the 9th International Workshop on Architectures, Modeling, and Simulation, SAMOS 2009, held on Samos, Greece, on July 20-23, 2009.
The 18 regular papers presented were carefully reviewed and selected from 52 submissions. The papers are organized in topical sections on architectures for multimedia, multi/many cores architectures, VLSI architectures design, architecture modeling and exploration tools.
In addition there are 14 papers from three special sessions which were organized on topics of current interest: instruction-set...
This book constitutes the refereed proceedings of the 9th International Workshop on Architectures, Modeling, and Simulation, SAMOS 2009, held on Sa...
After a pause taken in 2008 (owed to the political situation in the Caucasus region where CASC 2008 was supposed to take place), CASC 2009 continued the series of international workshops on the latest advances and trends both in the methods of computer algebra and in applications of computer algebra systems (CASs) to the solution of various problems in scienti?c computing. The ten earlier CASC conferences, CASC 1998, CASC 1999, CASC 2000, CASC2001, CASC2002, CASC2003, CASC2004, CASC2005, CASC2006, and CASC 2007 were held, respectively, in St. Petersburg (Russia), in Munich (G- many),...
After a pause taken in 2008 (owed to the political situation in the Caucasus region where CASC 2008 was supposed to take place), CASC 2009 continued t...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S- ence and Technology, University of Coimbra. In response to the call for papers, a total of 122 abstracts were submitted to CSL 2009of which 89...
The annual conference of the European Association for Computer Science Logic (EACSL), CSL 2009, was held in Coimbra (Portugal), September 7 11, 2009. ...
th Thisvolumecontainsthepaperspresentedatthe14 workshoponJobSched- ing Strategies for ParallelProcessing.The workshop was held in Rome, Italy, on May 29, 2009, in conjunction with the IEEE International Parallel Processing Symposium 2009. This year 25 papers were submitted to the workshop. All submitted - pers went through a complete review process, with the full version being read and evaluated by an average of four reviewers. We would like to especially thank the program committee members and additional referees for their wi- ingness to participate in this e?ort and their excellent,...
th Thisvolumecontainsthepaperspresentedatthe14 workshoponJobSched- ing Strategies for ParallelProcessing.The workshop was held in Rome, Italy, on May ...
This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Conference on Applications of Kleene Algebra (AKA 6). The joint conference took place in Doha, Quatar, November 1-5, 2009. Its purpose was to bring - gether researchersfrom various subdisciplines of computer science, mathematics and related ?elds who use the calculus of relations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of...
This volume contains the proceedings of the 11th International Conference on RelationalMethodsinComputerScience(RelMiCS11)andthe6thInternational Confe...
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009. The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009...
"E?ziente Algorithmen" was the title of the ?rst book by Kurt Mehlhorn in 1977. It was meant as a text for graduate students and published in German by Teubner-Verlag. We decided to adopt this title 32 years later for this Festschrift in honor of Kurt on the occasion of his 60th birthday. It contains contributions by his former PhD students, many of whom are now university teachers themselves, and colleagues with whom he cooperated closely within his career. It is our pleasure that even Kurt's former PhD advisor, Bob Constable from Cornell University,...
"E?ziente Algorithmen" was the title of the ?rst book by Kurt Mehlhorn in 1977. It was meant as a text for graduate students and published in German b...
