This volume contains the papers presented at the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), held during 14-16 September in Budapest, Hungary. Timing aspects of systems from a variety of computer science domains have been treated independently by di?erent communities. Researchers interested in semantics, veri?cation and performance analysis study models such as timed automata and timed Petri nets, the digital design community focuses on pr- agation and switching delays, while designers of embedded controllers have to take account of the time...

The Third International Workshop on Reachability Problems, RP 2009 was held in Ecole Polytechnique, September 23-25, 2009, in Palaiseau, near to Paris, France. Reachability Problems 2009 was hosted as an edition of the annual LIX Fall Colloquium. The LIX Fall Colloquium is the annual colloquium organized by the computer science laboratory of Ecole Polytechnique. The topics of this c- loquiumchange everyyear. Previouseditions includeEmerging Trends in Visual Computing (ETVC 2008) in 2008, Complex Industrial Systems: Modeling, Ve- ?cationandOptimization in2007, and Emerging...

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...

The 14th international meeting on DNA computation took place in the Czech Republic in Prague, June 2 9, 2008. During the last 14 years the DNA C- puting meetings have been the key forum at the boundary between computer science, biochemistry and nanotechnology where the most recent results have been presented and their authors have met. Their scienti?c program includes mathematical foundations and theoretical study of DNA computing or b- computing in general and recent experimental results in DNA nanotechnology, nanoscience and nanocomputing. It continues to be one of the most exciting...

This volume contains the revised lecture notes corresponding to the lectures given at the 6th International School on Advanced Functional Programming, AFP 2008, held in Heijen, a little village in the woodlands near the city of Nijmegen, The Netherlands, May 19-24, 2008. AFP 2008 was co-located with TFP 2008, the 9th Symposium on Trends in Functional Programming see P. Achten, P.Koopman, M.Marazan Trends in Functional Programming volume 9, ISBN 978-1-84150-277-9, Intellect]. The school attracted 62 participants from 19 countries, a record, including the lecturers and organizers. This event...

Computer vision research has taken great strides over the past decade. To - ploy researchresults in large-scale, real-worldapplications, progress on scienti?c frontiersmustbecomplementedbycorrespondingresearchanddevelopmentc- cerning issues such as systems integration, scalable architectures and repres- tations, automated con?guration, adaptation and recovery, closing percepti- action-loops, real-time and embedded implementations, benchmarking, etc. The InternationalConferenceonComputerVisionSystems(ICVS)isaregularforum with this perspective on systems. It brings together researchers and...

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6-10, 2009. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games) and track B (focusing on logic, automata, semantics and theory of programming), and of the recently introduced track C (in 2009 focusing on foundations of networked computation). In response to...

ICALP 2009, the 36th edition of the International Colloquium on Automata, Languages and Programming, was held on the island of Rhodes, July 6 10, 2009. ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which ?rst took place in 1972. This year, the ICALP program consisted of the established track A (focusing on algorithms, complexity and games) and track B (focusing on logic, automata, semantics and theory of programming), and of the recently introduced track C (in 2009 focusing on foundations of networked computation). In response to...