Spring School 2015 - Program Print

(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






Last Updated on Sunday, 22 March 2015 12:19