This book constitutes the refereed proceedings of the International RuleML Symposium, RuleML 2011-America, held in Fort Lauderdale, FL, USA, in November 2011 - collocated with the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011. It is the second of two RuleML events that take place in 2011. The first RuleML Symposium, RuleML 2011-Europe, has been held in Barcelona, Spain, in July 2011. The 12 full papers, 5 short papers and 5 invited track and position papers presented together with 3 keynote speeches were carefully reviewed and selected from numerous submissions....

This state-of-the-art survey presents the outcome of the 9th Symposium on Formal Methods for Components and Objects, held in Graz, Austria, in November/December 2010. It contains 20 revised contributions submitted after the symposium by the speakers.

Constitutes the refereed post-workshop proceedings of the 7th International Workshop Radio Frequency Identification: Security and Privacy Issues (RFIDSec) 2011, held in Amherst, Massachusetts, USA, in June 2011.

Constitutes the refereed proceedings of the 9th Asian Symposium on Programming Languages and Systems, APLAS 2011, held in Kenting, Taiwan, in December 2011. This book features the papers that are organized in topical sections on program analysis; functional programming; compiler; concurrency; semantics; as well as, certification and logic.

This book constitutes the refereed proceedings of the 7th Conference of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2011, in Graz, Austria, in November 2011.
The 18 revised full papers together with 29 revised short papers and 2 posters presented were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections on cognitive approaches to clinical data management for decision support, human-computer interaction and knowledge discovery in databases (hci-kdd), information usability and...

This book constitutes the refereed proceedings of the Third International Conference on Social Robotics, ICSR 2011, held in Amsterdam, The Netherlands, in November 2011. The 23 revised full papers were carefully selected during two rounds of reviewing and improvement from 51 submissions. The papers are organized in topical sections on social interaction with robots; nonverbal interaction with social robots; robots in society; social robots in education; affective interaction with social robots; robots in the home.

This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimaraes, 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 refereed proceedings of the 18th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2012, held in Essen, Germany, in March 2012. The papers are organized in 10 topical sections on contractual requirements, quality requirements, collaboration, complexity and creativity, requirements analysis, templates and heuristics, requirements traceability, tools and quality, services and clouds, self-adaptivity, and industrial case studies.

This book constitutes the refereed proceedings of the 21st European Symposium on Programming, ESOP 2012, held in Tallinn, Estonia, as part of ETAPS 2012, in March/April 2012. The 28 full papers, presented together with one full length invited talk, were carefully reviewed and selected from 92 submissions. Papers were invited on all aspects of programming language research, including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book collects a set of chapters of the multi-disciplinary project "Games, actions and Social software" which was carried out at the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS) in Wassenaar, from September 2006 through January 2007. The chapters focus on social software and the social sciences, knowledge, belief and action, perception, communication, and cooperation.