This book constitutes the refereed post-proceedings of the First International Workshop on Eternal Systems, EternalS 2011, held in Budapest, Hungary, in May 2011. The workshop aimed at creating the conditions for mutual awareness and cross-fertilization among broad ICT areas such as learning systems for knowledge management and representation, software systems, networked systems and secure systems, by focusing on their shared objectives such as adaptation, evolvability and flexibility for the development of long living and versatile systems. The 6 revised full papers and 4 short papers presented were carefully reviewed and selected from 15 submissions. They are organized in topical sections on software and secure systems, machine learning for software systems, and ontology and knowledge representations.

This book constitutes the thoroughly refereed proceedings of the Second International Workshop on Trustworthy Eternal Systems via Evolving Software, Data and Knowledge, EternalS, held in Montpellier, France, in August 2012 and co-located with the 20th European Conference on Artificial Intelligence (ECAI 2012). The 10 revised full papers presented were carefully reviewed and selected from various submissions. The papers are organized into three main sections: natural language processing (NLP) for software systems, machine learning for software systems, roadmap for future research.

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

The citizens of the United States are being held hostage by international banking cartels, the Federal Reserve System, and fundamentalist Christian views. In American Serfdom vs. Eternal Vigilance is the Price of Liberty, author Bridger Daquan searches for the truth and explores this topic by examining the history and the issues that have led to this serfdom. In this serious discussion, Daquan advocates disbanding the Federal Reserve System, which was established in 1913. He recommends that the United States, its leaders, and its citizens remain true to the countrys original founding documents including the Declaration of Independence, the Constitution, and the Bill of Rights. American Serfdom vs. Eternal Vigilance is the Price of Liberty strongly urges United States citizens and its leaders to oppose a one world banking and currency system that will destroy the Constitution and the principles identified in the nations founding documents. Daquan seeks to avoid the enslavement of the American people.