ThisvolumecontainsthepaperspresentedatICTAC2009: the6thInternational Colloquium on Theoretical Aspects of Computing held August 18-20, 2009 in Kuala Lumpur, Malaysia, hosted by Universiti Kebangsaan Malaysia. The ICTAC series was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST). It brings together practitionersandresearchersfromacademia, industryandgovernmenttopresent results and to exchange ideas and experience addressing challenges in both t- oretical aspects of computing and in the exploitation of theory through me- ods and tools...

Advances in wireless communication and computing technologies have prolif- ated ubiquitous infrastructure and ad hoc wireless networks, enabling a wide - riety of applications ranging from environment monitoring to health care, from critical infrastructure protection to wireless security, to name just a few. The complexity and rami?cations of the ever-growing number of mobile users and thevarietyofservicesintensifytheinterestindevelopingfundamentalprinciples, novel algorithms, rigorous and repeatable design methodologies, and systematic evaluation frameworks for the next generation of...

This volume is part of the two-volume proceedings of the 19th International Conf- ence on Artificial Neural Networks (ICANN 2009), which was held in Cyprus during September 14 17, 2009. The ICANN conference is an annual meeting sp- sored by the European Neural Network Society (ENNS), in cooperation with the - ternational Neural Network Society (INNS) and the Japanese Neural Network Society (JNNS). ICANN 2009 was technically sponsored by the IEEE Computational Intel- gence Society. This series of conferences has been held annually since 1991 in various European countries and covers the field...

This volume is part of the two-volume proceedings of the 19th International Conf- ence on Artificial Neural Networks (ICANN 2009), which was held in Cyprus during September 14-17, 2009. The ICANN conference is an annual meeting sp- sored by the European Neural Network Society (ENNS), in cooperation with the - ternational Neural Network Society (INNS) and the Japanese Neural Network Society (JNNS). ICANN 2009 was technically sponsored by the IEEE Computational Intel- gence Society. This series of conferences has been held annually since 1991 in various European countries and covers the field...

PeterMosses, renownedresearcherofSemanticsofProgrammingLanguagesand Algebraic Speci?cation Frameworks, turned 60 years old on November 3, 2008. To honor this event, many of Peter's coauthors, collaborators, close colleagues, and former students gathered in Udine, Italy on September 10, 2009 for a s- posium in his honor. The presentations were on subjects related to Peter's many technicalcontributionsand they were a tribute to his lasting impact onthe ?eld. Here is the program of the symposium: - Opening: Jens Palsberg - Session 1: (Chair: Jos e Luiz Fiadeiro) - David Watt, Action Semantics in...

This volume contains the papers presented at ESA 2009: The 17th Annual - ropean Symposium on Algorithms, September 7-9, 2009. ESA has been held annually since 1993, and seeks to cover both theoretical and engineering aspects of algorithms. The authors were asked to classify their paper under one or more categories as described in Fig. 1. Since 2001, ESA has been the core of the larger ALGO conference, which typically includes several satellite conferences. ALGO 2009 was held at the IT University of Copenhagen, Denmark. The ?ve members of the ALGO 2009 - ganizing Committee were chaired by...

The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging and challenging topics in artificial intelligence, machine learning, bioinformatics, and computational biology, etc. It aims to bring - gether researchers and practitioners from both academia and industry to share ideas, problems, and solutions related to the multifaceted aspects of intelligent computing. ICIC 2009, held in Ulsan, Korea, September 16-19, 2009, constituted the 5th - ternational Conference on Intelligent Computing. It built upon the success of ICIC 2008,...

The Symposium on Fundamentals of Computation Theory was established in 1977 for researchers interested in all aspects of theoretical computer science, in particular in algorithms, complexity, and formal and logical methods. It is a biennialconference, whichhaspreviouslybeenheldinPoznan (1977), Wendisch- Rietz (1979), Szeged (1981), Borgholm (1983), Cottbus (1985), Kazan (1987), Szeged (1989), Gosen-Berlin (1991), Szeged (1993), Dresden (1995), Krak ow (1997), Ia, si (1999), Riga (2001), Malmo ] (2003), Lu ]beck (2005) and Budapest (2007)....

This volume contains selected papers from WADT 2008, the 19th International WorkshoponAlgebraicDevelopmentTechniques. Afterhavingjoinedforceswith CMCS for CALCO 2007 in Bergen, WADT took place in 2008 as an individual workshop and in its traditional format. Like its predecessors, WADT 2008 focussed on the algebraic approach to the speci?cation and development of systems, which encompasses many aspects of formal design. Originally born around formal methods for reasoning about abstract data types, WADT now covers new speci?cation frameworks and p- gramming paradigms (such as object-oriented,...

This volume contains 33 15-page-long regular papers and 15 2-page-long brief announcements selected for the 23rd International Symposium on Distributed Computing (DISC 2009), held during September 23-25, 2009, in Elche, Spain. This volume also includes the citation of the 2009 Edsger W. Dijkstra Prize in Distributed Computing, which was awarded at DISC this year, as well as abstracts of talks delivered in a mini symposium honoring the 60th birthdays of Michel Raynal and Shmuel Zaks. There were 121 submissions to DISC this year, of which 116 were considered for regular presentations, and the...