Search

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Fundamentals of Software Engineering, FSEN 2023, held Tehran, Iran in May 4-5, 2023.The 9 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 19 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

This book constitutes revised and selected papers of the First International Conference on Computational Sciences - Modelling, Computing and Soft Computing, held in Kozhikode, Kerala, India, in September 2020. The 15 full papers and 6 short papers presented were thoroughly reviewed and selected from the 150 submissions. They are organized in the topical secions on computing; soft computing; general computing; modelling.

This book constitutes the revised post-conference proceedings of the 18th European Conference on Multi-Agent Systems, EUMAS 2021. The conference was held online in June, 2021. 16 full papers are presented in this volume, each of which carefully reviewed and selected from a total of 51 submissions. The papers report on both early and mature research and cover a wide range of topics in the field of multi-agent systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Fundamentals of Software Engineering, FSEN 2021, held virtually and hosted by IPM in May 2021.The 12 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 38 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. The papers are organized in topical sections on coordination, logic, networks, parallel computation, and testing.

This book constitutesselected, revised and extended papers of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2019, held in Heraklion, Crete, Greece, in May 2019.The 19 revised full papers presented were carefully reviewed and selected from 102 submissions. The papers included in this book contribute to the understanding of relevant trends of current research on novel approaches to software engineering for the development and maintenance of systems and applications, specically with relation to: model-driven software engineering, requirements engineering, empirical software engineering, service-oriented software engineering, business process management and engineering, knowledge management and engineering, reverse software engineering, software process improvement, software change and configuration management, software metrics, software patterns and refactoring, application integration, software architecture, cloudcomputing, and formal methods.

This book constitutes extended, revised and selected papers from the 11th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2019. It was held in November 2019 in Yokohama, Japan.The 26 papers were carefully selected from 46 submissions and deal with topics of AI research and are organized into 4 sections, according to the 4 workshops: JURISIN 2019, AI-Biz 2019, LENLS 16, and Kansei-AI 2019.

This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017. The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.

This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016. The 9 revised papers presented were carefully reviewed and selected from 13 submissions.The 2nd International Workshop on Conflict Resolution in Decision Making (COREDEMA 2016) focuses on theoretical and practical computational approaches for solving and understanding conflict resolution.

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2015, held in Hyderabad, India, in December 2015.The 23 full papers presented in this volume were carefully reviewed and selected from 40 submissions for inclusion in the proceedings. The papers cover a wide range of topics in swarm, evolutionary, memetic and other intelligent computing algorithms and their real world applications in problems selected from diverse domains of science and engineering.

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures.

This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015. The workshops were co-located with AAMAS 2015, held in Istanbul, Turkey, in May 2015, and with IJCAI 2015, held in Buenos Aires, Argentina, in July 2015. The 23 full papers were carefully reviewed and selected from 46 initial submissions for inclusion in this volume. The papers cover a wide range of topics from work on formal aspects of normative and team based systems, to software engineering with organizational concepts, to applications of COIN based systems, and to philosophical issues surrounding socio-technical systems. They highlight not only the richness of existing work in the field, but also point out the challenges and exciting research that remains to be done in the area.

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods as well as finite element methods and their various applications in physics, chemistry, biology and finance.

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug and profile OpenSHMEM programs, experience porting applications to the OpenSHMEM programming model, and changes to the OpenSHMEM specification to address the needs of programming exascale systems.

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2014, held in Bhubaneswar, India, in December 2014.The total of 96 papers presented in this volume was carefully reviewed and selected from 250 submissions for inclusion in the proceedings. The papers cover a wide range of topics in swarm, evolutionary, memetic and other intelligent computing algorithms and their real world applications in problems selected from diverse domains of science and engineering.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Joint Conference in Signal Processing and Information Technology, SPIT 2012, held in Dubai, UAE, in September 2012. The 32 papers included in this volume were carefully reviewed and selected from 330 submissions. The papers cover research and development activities in computer science, information technology, computational engineering, image and signal processing, and communication.

This book constitutes the refereed conference proceedings of the 15th International Conference, ACG 2017, held in Leiden, The Netherlands, in July 2017.The 19 revised full papers were selected from 23 submissions and cover a wide range of computer games. They are grouped in four classes according to the order of publication: games and puzzles, go and chess, machine learning and MCTS, and gaming.

This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.The 21 full papers presented were carefully reviewed and selected from 26 submissions. They cover many diverse topics, such as coupling methods and strategies in Computational Fluid Dynamics (CFD), performance portability and applications in HPC, as well as provenance tracking for large-scale simulations.

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2012, held in Essen, Germany, in September 2012. The 7 revised full papers presented together with 1 short papers were carefully reviewed and selected from 16 submissions. The papers cover a large spectrum of topics including model-driven engineering, model analysis, runtime verification, modeling of reactive systems, variability modeling, and domain-specific languages.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling, software components, software effort and processes, and socio-technical aspects of software development.

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães, Portugal, in October 2010. The 13 full papers and 4 short papers presented together with 1 panel discussion and 2 invited talks were carefully reviewed and selected from 37 submissions. The workshop seeks to develop a better understanding on how formal methods can or should be used for component-based software development to succeed.

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues.

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2011, held in Lednice, Czech Republic, on October 14-16, 2011. The 13 revised full papers presented together with 6 invited talks were carefully reviewed and selected from 38 submissions. The papers address all current issues of mathematical and engineering methods in computer science, especially: software and hardware dependability, computer security, computer-aided analysis and verification, testing and diagnostics, simulation, parallel and distributed computing, grid computing, computer networks, modern hardware and its design, non-traditional computing architectures, software engineering, computational intelligence, quantum information processing, computer graphics and multimedia, signal, text, speech, and image processing, and theoretical computer science.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010. The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.

This volume constitutes the thoroughly refereed post-conference proceedings of the 10th International Workshop on Agent-Oriented Software Engineering, AOSE 2009, held in Budapest, Hungary, in May 2009 as part of AAMAS 2009, the 8th International Conference on Autonomous Agents and Multiagent Systems. The 10 revised full papers presented were carefully selected from numerous initial submissions during two rounds of reviewing and improvement. The papers have been organized into three sections on multi-agent organizations, concrete development techniques, and - one step higher - going beyond the concrete technique and proposing a development method for designing concrete types of systems. This state-of-the-art survey is rounded off by five additional lectures addressing key areas in development: agent-oriented modelling languages, implementation of MAS, testing of MAS, software processes, and formal methods for the development of MAS. They permit analysis of the current state in the generation of specifications of MAS, the way these specifications can be implemented, how they can be validated, and what steps are necessary to do so.

This book constitutes the thoroughly refereed post-conference proceedings of the 15th International SDL Forum, SDL 2011, held in Toulouse, France, in July 2011. The 16 revised full papers presented together were carefully reviewed and selected for inclusion in the book. The papers cover a wide range of topics such as SDL and related languages; testing; and services and components to a wide range presentations of domain specific languages and applications, going from use maps to train station models or user interfaces for scientific dataset editors for high performance computing.

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.

Since the mid 1980s, software agents and multi-agent systems have grown into a very active area of research and also commercial development activity. One of the limiting factors in industry take-up of agent-technology, however, is the lack of adequate software engineering support. The Agent-Oriented Software Engineering Workshop, AOSE, focuses on the synergies and cross fertilization between software engineering and agent research.This volume presents both thoroughly revised selected papers from the AOSE 2010 workshop held at AAMAS 2010 in Toronto, Canada in May 2010 as well as invited articles by leading researchers in the field. The papers cover a broad range of topics related to software engineering and agent-based systems, with particular attention to the integration of concepts and techniques from multi-agent systems with conventional engineering approaches on the one hand, and to the integration of agent-oriented software engineering and methodologies with conventional engineering processes on the other hand.

This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Declarative Agent Languages and Technologies, DALT 2009, held in Budapest, Hungary, on May 11, 2009, as a satellite workshop of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009. The 11 revised full papers presented together with 1 invited lecture and 3 invited papers from the AAMAS main conference - substantially enhanced after the workshop - were carefully selected from 17 initial submissions. The papers combine declarative and formal approaches with engineering and technology aspects of agents and multiagent systems and focus especially on areas such as the semantic web, service-oriented computing, web services, security, and electronic contracting.

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.

This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.

The2009InternationalWorkshoponAgentsandDataMiningInteraction(ADMI 2009) was a joint event with AAMAS2009. In recentyears,agents and data mining interaction (ADMI), or agent mining forshort,hasemergedasaverypromisingresearch?eld. Followingthesuccessof ADMI 2006 in Hong Kong, ADMI 2007 in San Jose, and ADMI 2008 in Sydney, the ADMI 2009 workshop in Budapest provided a premier forum for sharing research and engineering results, as well as potential challenges and prospects encountered in the synergy between agents and data mining. As usual, the ADMI workshop encouraged and promoted theoretical and applied research and development, which aims at: – Exploitingagent-drivendatamininganddemonstratinghowintelligentagent technology can contribute to critical data mining problems in theory and practice – Improving data mining-driven agents and showing how data mining can strengthen agent intelligence in research and practical applications – Exploring the integration of agents and data mining toward a super-intelligent information processing and systems – Identifying challenges and directions for future research on the synergy between agents and data mining ADMI 2009 featured two invited talks and twelve selected papers. The?rst invited talk was on “Agents and Data Mining in Bioinformatics,” with the s- ond focusing on “Knowledge-Based Reinforcement Learning. ” The ten accepted papers are from seven countries. A majority of submissions came from Eu- pean countries, indicating the boom of ADMI research in Europe. In addition the two invited papers, addressed fundamental issues related to agent-driven data mining, data mining-driven agents, and agent mining applications. The proceedings of the ADMI workshops will be published as part of the LNAIseriesbySpringer.WeappreciatethesupportofSpringer,andinparticular Alfred Hofmann.

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems, COIN 2008, held as two events at AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems in Estoril, Portugal, in May 2008 and at AAAI 2008, the 23rd AAAI Conference on Artificial Intelligence in Chicago, IL, USA, in July 2008. This volume is the 4th in a series focussing on issues in Coordination, Organizations, Institutions and Norms (COIN) in multi-agent systems. The 17 papers contained in this volume are the revised and extended versions of a selection of papers presented and discussed in these two workshops. The papers are organized in the following topical sections: from coordination to organization, from organization to coordination, formalization of norms and institutions, design of norms and institutions, as well as applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th Pacific Rim International Workshop on Multi-Agents, PRIMA 2005, held in Kuala Lumpur, Malaysia, in September 2005. The 29 revised full papers and 2 keynote papers presented were carefully reviewed and selected from numerous submissions. The papers address many current topics in multi-agent research and development, ranging from theoretical and methodological issues to various applications in different fields.

This book constitutes the thoroughly refereed post-workshop proceedings of the 10th Pacific Rim International Workshop on Multi-Agents, PRIMA 2007, held in Bankok, Thailand, in November 2007. The 22 revised full papers and 16 revised short papers presented together with 11 application papers were carefully reviewed and selected from 102 submissions. Ranging from theoretical and methodological issues to various applications in different fields, the papers address many current subjects in multi-agent research and development,

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.

This book contains selected and revised papers of the European Symposium on Adaptive and Learning Agents and Multi-Agent Systems (ALAMAS), editions 2005, 2006 and 2007, held in Paris, Brussels and Maastricht. The goal of the ALAMAS symposia, and this associated book, is to increase awareness and interest in adaptation and learning for single agents and mul- agent systems, and encourage collaboration between machine learning experts, softwareengineeringexperts,mathematicians,biologistsandphysicists,andgive a representative overviewof current state of a?airs in this area. It is an inclusive forum where researchers can present recent work and discuss their newest ideas for a?rst time with their peers. Thesymposiaseriesfocusesonallaspectsofadaptiveandlearningagentsand multi-agent systems, with a particular emphasis on how to modify established learning techniques and/or create new learning paradigms to address the many challenges presented by complex real-world problems. These symposia were a great success and provided a forum for the pres- tation of new ideas and results bearing on the conception of adaptation and learning for single agents and multi-agent systems. Over these three editions we received 51 submissions, of which 17 were carefully selected, including one invited paper of this year's invited speaker Simon Parsons. This is a very c- petitive acceptance rate of approximately 31%, which, together with two review cycles, has led to a high-quality LNAI volume. We hope that our readers will be inspired by the papers included in this volume.

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007. It was an associated event of AAMAS 2007, the conference on autonomous agents and multi-agent systems. The 11 full papers, together with 1 keynote lecture and 2 invited papers from the AAMAS main conference were carefully selected and substantially enhanced after the workshop.

This book constitutes the refereed proceedings of the 20th International Conference on Integrated Circuit and System Design, PATMOS 2010, held in Grenoble, France, in September 2010. The 24 revised full papers presented and the 9 extended abstracts were carefully reviewed and are organized in topical sections on design flows; circuit techniques; low power circuits; self-timed circuits; process variation; high-level modeling of poweraware heterogeneous designs in SystemC-AMS; and minalogic.

This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on High Performance Computing for Computational Science, VECPAR 2006, held in Rio de Janeiro, Brazil, in June 2006. The 44 revised full papers presented together with one invited paper and 12 revised workshop papers cover Grid computing, cluster computing, numerical methods, large-scale simulations in Physics, and computing in Biosciences.

We are proud to present the TAMODIA 2006 proceedings. In 2006, the TA- MODIA workshop celebrated its?fth anniversary. TAMODIA is an obscure acronym that stands for TAsk MOdels and DIAgrams for user interface - sign. The?rst edition of TAMODIA was organized in Bucharest (Romania) by Costin Pribeanu and Jean Vanderdonckt. The fact that?ve years later the TAMODIAseriesofworkshopsstillcontinuessuccessfullyprovestheimportance of this research area for the human–computer interaction community! The?rst workshopaimed at examining how multiple forms of task expressionscan sign- icantly increase or decrease the quality of user interface design. This is still the scope of the current edition; we tried to assemble papers that discuss how the complexity of HCI design and development can be managed with tasks, models and diagrams. Much like the previous editions, the selection of papers from the 2006 edition re?ects the broad scope of this?eld, which cannot be labeled with a single title or term. The invited paper is by Jo¨ elle Coutaz and discusses meta-user interfaces for ambient spaces. Finding appropriate ways to design and develop user interfaces for interactive spaces is becoming an important challenge for the creation of future usable applications. This exciting work gives a good feel of the new type of user interfaces and the required new approaches we are evolving toward when we want to realize the vision of ambient intelligent environments and create systems that can be used and controlled by the end-users.

OnbehalfoftheOrganizingCommitteewearepleasedtopresenttheproceedings ofthe2007SymposiumonSoftwareComposition(SC2007).ThegoalofSC2007 wastobringtogethertheresearchandindustrialcommunitiesinordertoaddress the challenges of the component-based softwaredevelopment approach. SC 2007 was the sixth symposium on software composition in the SC series that seeks to develop a better understanding of how software components may be used to build and maintain large software systems. This LNCS volume contains the revised versions of the papers presented at SC 2007, which was held as a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS) in Braga, Portugal, March 24–25, 2007. The symposium began with a keynote on “Composition by Anonymous Parties” by Farhad Arbab (CWI and Leiden University). The main program consisted of six technical sessions related to speci?c aspects of component-based software development. In response to the call for papers, we received 59 submissions from over 20 countries and 6 continents. Each paper was reviewed by at least three Program Committeemembers.TheentirereviewingprocesswassupportedbyMicrosoft's Conference Management Toolkit. In total, 15 submissions were accepted as full papers and 5 submissions were accepted as short papers.