Thisvolumecontainsthepapersofthe20thInternationalConferenceonRewr- ing Techniques and Applications (RTA 2009), which was held from June 29 to July 1, 2009, in Bras ?lia, Brazil as part of the 5th International Conference on Rewriting, Deduction, and Programming (RDP 2009) together with the Int- national Conference on Typed Lambda Calculi and Applications (TLCA 2009), the International School on Rewriting (ISR 2009), the 4th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2009), the 10th Inter- tional Workshop on Rule-Based Programming (RULE 2009), the 8th Inter- tional...

th These proceedings contain refereed papers presented at the 7 WSOM held at the Casa Monica Hotel, St. Augustine, Florida, June 8-10, 2009. We designed the wo- shop to serve as a regular forum for researchers in academia and industry who are interested in the exciting field of self-organizing maps (SOM). The program includes excellent examples of the use of SOM in many areas of social sciences, economics, computational biology, engineering, time series analysis, data visualization and c- puter science as well a vibrant set of theoretical papers that keep pushing the envelope of the original...

This volume consists of the proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2009). The Petri Net conferences serve as annual meeting places to discuss the progress in the ?eld of Petri nets and related models of conc- rency. They provide a forum for researchers to present and discuss both app- cations and theoretical developments in this area. Novel tools and substantial enhancements to existing tools can also be presented. The satellite program of the conference comprised four workshops and seven tutorials....

It is our great pleasure to introduce the proceedings of the 20th anniversary edition of the Annual Symposium on Combinatorial Pattern Matching (CPM). The meeting was held in Lille, France, hosted by the Laboratoired'Informatique Fondamentale de Lille (LIFL) a?liated with the Universit e de Lille 1 and the French Centre National de Recherche Scienti?que (CNRS), as well as by INRIA Lille - Nord Europe. Started in 1990as a summer school with about 30 invited participants, CPM quicklyevolvedintoarepresentativeannualinternationalconference.Principally motivated by combinatorial algorithms for...

These proceedings contain a selection of refereed papers presented at or - lated to the Annual Workshop of the TYPES project (EU coordination action 510996), which was held during March 26-29, 2008 in Turin, Italy. The topic of this workshop, and of all previous workshops of the same project, was f- mal reasoning and computer programming based on type theory: languages and computerized tools for reasoning, and applications in several domains such as analysis of programming languages, certi?ed software, mobile code, formali- tion of mathematics, mathematics education. The workshop was attended...

These multiple volumes (LNCS volumes 5592 and 5593) consist of the pe- reviewed papers from the 2009 International Conference on Computational S- ence and Its Applications (ICCSA 2009) held in Seoul (South Korea) from June 29 to July 2, 2009. ICCSA 2009 was a successful event in the International Conferences on Computational Science and Its Applications (ICCSA) series, previously held in Perugia, Italy (2008), Kuala Lumpur, Malaysia (2007), Glasgow, UK (2006), Singapore (2005), Assisi, Italy (2004), Montreal, Canada (2003), and (as ICCS) Amsterdam, The Netherlands (2002) and San Francisco,...

These multiple volumes (LNCS volumes 5592 and 5593) consist of the pe- reviewed papers from the 2009 International Conference on Computational S- ence and Its Applications (ICCSA 2009) held in Seoul (South Korea) from June 29 to July 2, 2009. ICCSA 2009 was a successful event in the International Conferences on Computational Science and Its Applications (ICCSA) series, previously held in Perugia, Italy (2008), Kuala Lumpur, Malaysia (2007), Glasgow, UK (2006), Singapore (2005), Assisi, Italy (2004), Montreal, Canada (2003), and (as ICCS) Amsterdam, The Netherlands (2002) and San Francisco,...

This volume presents the set of final accepted papers for the tenth edition of the IWANN conference International Work-Conference on Artificial neural Networks held in Salamanca (Spain) during June 10 12, 2009. IWANN is a biennial conference focusing on the foundations, theory, models and applications of systems inspired by nature (mainly, neural networks, evolutionary and soft-computing systems). Since the first edition in Granada (LNCS 540, 1991), the conference has evolved and matured. The list of topics in the successive Call for - pers has also evolved, resulting in the following list...

This volume (II) contains all publications accepted for the symposiums and workshops held in parallel with the 10th International Work-Conference on Artificial Neural Networks (IWANN 2009), covering a wide spectrum of technological areas such as distributed computing, artificial intelligence, bioinformatics, soft computing and ambient-assisted living: DCAI 2009 (International Symposium on Distributed Computing and Artificial Intelligence), covering artificial intelligence and its applications in distributed environments, such as the Internet, electronic commerce, mobile communi- tions,...

The two volume set LNCS 5506 and LNCS 5507 constitutes the thoroughly refereed post-conference proceedings of the 15th International Conference on Neural Information Processing, ICONIP 2008, held in Auckland, New Zealand, in November 2008. The 260 revised full papers presented were carefully reviewed and selected from numerous ordinary paper submissions and 15 special organized sessions. 116 papers are published in the first volume and 112 in the second volume. The contributions deal with topics in the areas of data mining methods for cybersecurity, computational models and their applications...