FoCAS. ASSISIbf. ALLOW Ensembles. QUANTICOL. QUANTICOL is a European research initiative involving the University of Edinburgh, Scotland; Istituto di Scienza e Tecnologie della Informazione “A. Faedo”, Italy; Ludwig-Maximilians-Universität München, Germany; Ecole Polytechnique Fédérale de Lausanne, Switzerland; IMT Lucca, Italy and the University of Southampton. The QUANTICOL project is a member of Fundamentals of Collective Adaptive Systems (FOCAS), a Future and Emerging Technologies Proactive Initiative funded by the European Commission under FP7. The main objective of the QUANTICOL project is the development of an innovative formal design framework that provides a specification language for collective adaptive systems (CAS) and a large variety of tool-supported, scalable analysis and verification techniques.
These techniques will be based on the original combination of recent breakthroughs in stochastic process algebras and associated verification techniques, and mean field/continuous approximation and control theory. ASCENS Project. Cassting. Organic Computing Initiative. DIVERSIFY - FET. SwarmOrgan. SmartSociety Project.