Lucca, Italy 23 - 27 March, 2015
www.ascens-ist.eu/springschool
The ASCENS Spring School (ECAS 2015) will give attendees a comprehensive overview on engineering approaches for collective autonomic systems developed within the ASCENS EU project.
The school program will include keynotes by Marco Dorigo and Joseph Sifakis, industry talks and presentations by ASCENS experts in the field of engineering collective autonomic systems. Special emphasis will be on student projects applying languages, techniques and tools developed in the ASCENS project to different case studies.
The School is hosted in Lucca, Italy. It is organised by IMT Lucca in coordination with the ASCENS partners (www.ascens-ist.eu/)
Lecturers:
-------------
Keynote speakers
Marco Dorigo - Swarm Intelligence in the Natural and Artificial Worlds
Joseph Sifakis - Concurrent Systems Specification and Verification using BIP
Industry Talks
Henry Bensler - Volkswagen AG - E-Mobility
Max Ahrens - Zimory GmbH - Deutsche Börse Cloud Exchange - A new Era of flexible Infrastructure Sourcing
Presentations by ASCENS experts on
Martin Wirsing - Engineering Collective Autonomic Systems
Rocco De Nicola & Rosario Pugliese - Programming Collective Autonomic Systems with SCEL
Franco Zambonelli - Engineering Self-organization and Emergence
Matthias Hölzl - Reasoning and Learning for Awareness and Adaptation
Saddek Bensalem - Quantitative Verification Techniques
Petr Tuma - Methods for Performance Monitoring and Prediction
Tomas Bures - The Invariant Refinement Method
Ugo Montanari - From Local to Global Knowledge and Back
Emil Vassev - Knowledge Representation for Adaptive and Self-Aware Systems
Roberto Bruni - A Formal Approach to Adaptation, Awareness and Self-Expression
Nora Koch - Best Practices for Engineering Collective Adaptive Systems
Case Studies
Carlo Pinciroli - Swarm Robotics
Philip Mayer - Autonomic Cloud
Nicklas Hoch - E-Mobility
Team Work
Student projects on ASCENS languages, methods and tools, and using scenarios of the ASCENS case studies. These projects will be supervised by Lenz Belzner, Nicola Bicocchi, Jacques Combaz, Michele Loreti, Carlo Pinciroli and Francesco Tiezzi. Presentations of participants work and feedback
Important dates:
----------------
Registration deadline: 28 February 2015
Notification of acceptance (not later than) 7 March, 2015
ECAS Spring School: 23-27 March, 2015
Grants:
-------
Grants will be available for a limited number of students. Please note that available funding mostly enables to reduce registration fees, while travel expenses can be compensated in exceptional cases.
You can apply for grants during (early) registration.