(tentative)

Monday March 23

• Morning 9:00 - 12:30
• Talk 1: Introduction to Engineering Collective Autonomic Systems (Martin Wirsing)
• Talk 2: SCEL: A Language for Programming Autonomic Component Ensembles  (Rocco de Nicola)
• Talk 3: Reasoning and Learning for Awareness and Adaptation (Matthias Hölzl)  
• Talk 4: From Local to Global Knowledge and Back (Ugo Montanari)
• Afternoon 14:00-18:00
  • Session 1: Case studies (Carlo Pinciroli, Philip Mayer and Nicklas Hoch)
  • Session 2: Project intros + team building
    

Tuesday March 24

• Morning 9:00 - 12:30
  • Talk 1: Policies for Access Control in SCEL (Rosario Pugliese)
  • Talk 2: A Formal Approach to Adaptation, Awareness and Self-Expression (Roberto Bruni)
  • Talk 3: Quantitative Verification Techniques (Saddek Bensalem)
  • Talk 4: Methods for Performance Monitoring and Prediction (Petr Tuma)
• Afternoon 14:00-18:00
• Session 1: Student projects
• Session 2: Student projects
• Visit to Puccini Museum (18:00)
  

Wednesday March 25

• Morning 9:00 - 12:30
  • Talk 1: Industry Talk: E-Mobility (Henry Bensler)
  • Talk 2: The Invariant Refinement Method (Tomas Bures)
  • Talk 3: Best Practices for Engineering Collective Adaptive Systems (Nora Koch)   
  • Talk 4: Knowledge Representation for Adaptive and Self-Aware Systems (Emil Vassev)
• Afternoon 14:00-18:00
• Student projects
• Student projects
• School dinner 20:00
  

Thursday March 26

• Morning 9:00 - 12:30
  • Student projects
  • Student projects
• Afternoon 14:00-18:00
  • Talk 1: Keynote: Concurrent Systems Specification and Verification using BIP (Joseph Sifakis)
  • Talk 2: Engineering Self-organization and Emergence (Franco Zambonelli)          
  • Talk 3: Industry Talk: Cloud (Maximilian Ahrens)
  • Talk 4: Keynote: Swarm Intelligence in the Natural and Artificial Worlds (Marco Dorigo)

Friday March 27

• Morning 9:00 - 12:30
  • Talk 1:  Student project + preparation of presentations
    
  • Talk 2:  Student project + preparation of presentations
  • Talk 3:  Student project + preparation of presentations
  • Talk 4:  Student project + preparation of presentations
• Afternoon 14:00-18:00
• Session 1: Student presentations
  
• Session 2: Student presentations
  
• Closing 18:00