Maths for computer scientists

I wish to welcome all of you to the International Symposium on High Perf- mance Computing 2002 (ISHPC2002) and to Kansai Science City, which is not farfromtheancientcapitalsofJapan:NaraandKyoto.

This book constitutes the refereed proceedings of the 5th International Symposium, Latin American Theoretical Informatics, LATIN 2002, held in Cancun, Mexico, in April 2002.

This volume continues the tradition established in 2001 of publishing the c- tributions presented at the Cryptographers' Track (CT-RSA) of the yearly RSA Security Conference in Springer-Verlag's Lecture Notes in Computer Science series.

Joseph Goguen is one of the most prominent computer scientists worldwide.

The International Conference on Computational Science (ICCS 2004) held in Krak' ow, Poland, June 6-9, 2004, was a follow-up to the highly successful ICCS 2003 held at two locations, in Melbourne, Australia and St.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe.

This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science, WTCS 2012, held in Auckland, New Zealand, in February 2012.

The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false.

The origins of the Asiacrypt series of conferences can be traced back to 1990, when the ?

This volume contains the papers presented at the 5th International Workshop on Advanced Parallel Processing Technologies, APPT 2003.

How can one exchange information e?

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.

This volume contains all papers presented at SSPR 2002 and SPR 2002 hosted by the University of Windsor, Windsor, Ontario, Canada, August 6-9, 2002.

These proceedings contain papers presented at the 8th Discrete Geometry for Computer Imagery conference, held 17-19, March 1999 at ESIEE, Marne-la- Vall ee.

This book presents a selection of revised full papers accepted for presentation at the First International Conference on Biology, Informatics, and Mathematics, JOBIM 2000, held in Montpellier, France, in May 2000.

This book constitutes the refereed proceedings of the Second International Conference Diagrams 2002, held in Callaway Gardens, Georgia, USA, in April 2002.

The AAECC Symposia Series was started in 1983 by Alain Poli (Toulouse), who, together with R.

This book constitutes the refereed proceedings of the 5th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2001, held in Hong Kong, China in April 2001.

Computers arechanging the way wethink.

This Festschrift volume, published in honor of Jean-Jaques Quisquater on the occasion of his 65th Birthday, contains 33 papers from colleagues all over the world and deals with all the fields to which Jean-Jaques dedicated his work during his academic career.

Asiacrypt'99 was held in Singapore on 14-18 November 1999.

This volume contains the proceedings from the workshops held in conjunction with the IEEE International Parallel and Distributed Processing Symposium, IPDPS 2000, on 1-5 May 2000 in Cancun, Mexico.

This volume contains the proceedings of the 14th Annual International S- posium on Algorithms and Computation (ISAAC 2003), held in Kyoto, Japan, 15-17 December 2003.

The 14th issue of the Transactions on Computational Science journal contains nine papers, all revised and extended versions of papers presented at the International Symposium on Voronoi Diagrams 2010, held in Quebec City, Canada, in June 2010.

This volume contains the key contributions to workshops and meetings that were held within the context of the PRELUDE project.

Integer Optimization addresses a wide spectrum of practically important optimization problems and represents a major challenge for algorithmics.

This book constitutes the refereed proceedings of the 12th International Symposium on Fundamentals of Computation Theory, FCT '99, held in Iasi, Romania in August/September 1999.

This book constitutes the refereed proceedings of the Third European Conference on Principles and Practice of Knowledge Discovery in Databases, PKDD'99, held in Prague, Czech Republic in September 1999.

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist.

Computational Science is the scientific discipline that aims at the development and understanding of new computational methods and techniques to model and simulate complex systems.