Talks by Mirko Viroli (2000—2013)

Below, the talks given by Mirko Viroli between 2000 and 2013, ordered by year.

---

---

2013

• Engineering Pervasive Multiagent Systems in SAPERE (07/05/2013), Talk — Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli / Mirko Viroli
  
• SAPERE project (and relevance for CINA) (06/02/2013), Talk — Mirko Viroli / Mirko Viroli
  
• Glocality: emergent behaviours (06/02/2013), Talk — Mirko Viroli / Mirko Viroli
  

2012

• Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (19/09/2012), Talk — Danilo Pianini, Mirko Viroli, Sara Montagna, Jose Luis Fernandez Marquez / Danilo Pianini
  
• A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (19/09/2012), Talk — Matteo Casadei, Mirko Viroli / Danilo Pianini
  
• Gradient-based Self-organisation Patterns of Anticipative Adaptation (11/09/2012), Talk — Danilo Pianini, Mirko Viroli, Sara Montagna / Danilo Pianini
  
• Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (10/09/2012), Talk — Matteo Casadei, Mirko Viroli / Mirko Viroli
  
• WP1 @ M24 Progresses and Review (10/09/2012), Project Presentation — Mirko Viroli / Mirko Viroli
  
• WP1 @ M21. Progresses and Plan (11/06/2012), Talk — Mirko Viroli / Mirko Viroli
  
• Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (28/03/2012), Talk — Mirko Viroli / Mirko Viroli
  
• Self-adaptive Service Ecosystems for Pervasive Computing (15/03/2012), Seminar — Mirko Viroli / Mirko Viroli
  
• WP1 @ M17. Progresses and Plan (27/02/2012), Project Presentation — Mirko Viroli / Mirko Viroli
  

2011

• A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (19/09/2011), Talk — Sara Montagna, Mirko Viroli, Danilo Pianini / Danilo Pianini
  
• A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (06/07/2011), Talk — Elena Nardini, Mirko Viroli, Gabriella Castelli, Marco Mamei, Franco Zambonelli / Danilo Pianini
  
• A Simulation Framework for Pervasive Service Ecosystems (06/07/2011), Talk — Sara Montagna, Mirko Viroli, Danilo Pianini / Danilo Pianini
  
• WP1 Activities: General state, details on the model, future plans (24/06/2011), Project Presentation — Mirko Viroli / Mirko Viroli
  
• WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (20/01/2011), Project Presentation — Mirko Viroli / Mirko Viroli
  
• WP1 Activities. General state, details on the model, future plans (19/01/2011), Project Presentation — Mirko Viroli / Mirko Viroli
  

2010

• Self Organization in Coordination Systems using a WordNet-based Ontology (30/09/2010), Talk — Andrea Omicini, Mirko Viroli, Sascia Virruso, Danilo Pianini, Ronaldo Menezes / Sascia Virruso, Danilo Pianini
  
• A Self-Organising Infrastructure for Chemical-Semantic Coordination (07/09/2010), Talk — Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei / Elena Nardini
  
• Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (25/05/2010), Seminar — Elena Nardini, Mirko Viroli, Emanuele Panzavolta / Elena Nardini
  
• Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (26/03/2010), Talk — Elena Nardini, Mirko Viroli, Emanuele Panzavolta / Elena Nardini
  
• Chemical-Inspired Self-Composition of Competing Services (26/03/2010), Talk — Mirko Viroli, Matteo Casadei / Matteo Casadei
  

2009

• Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (02/12/2009), Invited Talk — Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei / Andrea Omicini
  
• A Computational Framework for Multilevel Morphologies (19/06/2009), Talk — Sara Montagna, Mirko Viroli / Sara Montagna
  
• A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (21/05/2009), Talk — Sara Montagna, Mirko Viroli / Mirko Viroli
  
• An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (20/05/2009), Talk — Mirko Viroli, Matteo Casadei / Mirko Viroli
  
• A Framework for Modelling and Implementing Self-Organising Coordination (10/03/2009), Talk — Andrea Omicini, Mirko Viroli, Matteo Casadei / Matteo Casadei
  

2008

• Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (23/10/2008), Talk — Mirko Viroli, Matteo Casadei / Matteo Casadei
  
• Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (24/06/2008), Talk — Mirko Viroli, Matteo Casadei, Marco Santarelli / Matteo Casadei
  
• Self-Organising Approaches to Coordination (06/03/2008), Seminar — Mirko Viroli, Matteo Casadei / Matteo Casadei
  

2007

• A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (12/09/2007), Talk — Mirko Viroli, Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf / Matteo Casadei
  
• On the Problem of Over-clustering in Tuple-based Coordination Systems (11/07/2007), Talk — Mirko Viroli, Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf / Matteo Casadei
  

2006

• A Case of Self-Organising Environment for MAS: the Collective Sort Problem (15/12/2006), Talk — Mirko Viroli, Matteo Casadei, Luca Gardelli / Matteo Casadei
  
• Collective Sorting Tuple Spaces (27/09/2006), Talk — Mirko Viroli, Matteo Casadei, Luca Gardelli / Matteo Casadei
  
• Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (22/09/2006), Talk — Mirko Viroli, Matteo Casadei, Luca Gardelli / Matteo Casadei
  
• Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (31/08/2006), Talk — Mirko Viroli, Matteo Casadei, Luca Gardelli / Matteo Casadei
  

2004

• A Conceptual Framework for Self-Organising MAS (16/12/2004), Talk — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini / Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini
  

2003

• Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (19/12/2003), Talk — Alessandro Ricci, Andrea Omicini, Mirko Viroli, Giovanni Rimassa / Alessandro Ricci, Andrea Omicini, Mirko Viroli, Giovanni Rimassa
  
• Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (19/12/2003), Talk — Alessandro Ricci, Andrea Omicini, Mirko Viroli / Alessandro Ricci, Andrea Omicini, Mirko Viroli