Andrea Omicini, Mirko Viroli, Alessandro Ricci, Andrea Roli ([email protected]) Alma Mater Studiorum – Università di Bologna, Italy (Ongoing) research context as far as ICT-FY is concerned: Agents & Artifacts: a paradigm for engineering complex and adaptive systems .. composing autonomous/intelligent/adaptive parts .. with service-oriented/functional/adaptable parts Building a language and infrastructure on top of Java Formal approaches to adative systems engineering Stochastic process algebras + logic programming Formal analysis and verification (where feasible) Deployment over tuple-based systems (see A&A) Goal here (being a partner of an IP on Eternal Systems): Providing an infrastructure and/or specific components for building eternal systems Conceiving/implementing stochastic algorithms for adaptation Mirko Viroli