Per Year

64 talks / 2000–2023 / Mirko Viroli

2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003

2018

Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani)
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain
(talk, 28/11/2018) GOODTECHS 2018 - 4th EAI International Conference on Smart Objects and Technologies for Social Good

(1 talk in 2018) [top] [bottom]

2017

Mirko Viroli (Mirko Viroli)
Aggregate Computing
(lecture, 17/02/2017) “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School

(1 talk in 2017) [top] [bottom]

2016

Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani)
Spatial Tuples: Augmenting Physical Reality with Tuple Spaces
(talk, 11/10/2016) 10th International Symposium on Intelligent Distributed Computing (IDC 2016)

Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli)
Towards a Foundational API for Resilient Distributed Systems Design
(talk, 18/09/2016) 2nd eCAS Workshop on Engineering Collective Adaptive Systems

Danilo Pianini (Danilo Pianini, Mirko Viroli, Roberto Casadei)
Simulating Large-scale Aggregate MASs with Alchemist and Scala
(talk, 14/09/2016) 10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16)

Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani)
Spatial Multi-Agent Systems
(tutorial, 28/07/2016) 18th European Agent Systems Summer School (EASSS 2016)

(4 talks in 2016) [top] [bottom]

2015

Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
Protelis: Practical Aggregate Programming
(talk, 16/04/2015) Coordination Models and Languages @ SAC 2015

(1 talk in 2015) [top] [bottom]

2014

Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
Agent-based and Chemical-inspired Approaches for Multicellular Models
(talk, 11/07/2014) Meeting CINI Laboratorio InfoLife

Mirko Viroli (Mirko Viroli)
Engineering Adaptive Service Ecosystems
(lecture, 12/02/2014) DISI PhD School in Computer Science and Engineering

(2 talks in 2014) [top] [bottom]

2013

Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
A core calculus of computational fields
(talk, 11/09/2013) Malaga, Spagna

Mirko Viroli (Mirko Viroli)
WP1 at M32: State and Plans
(project presentation, 18/06/2013) M32 Consortium Meeting

Mirko Viroli (Mirko Viroli)
Engineering Self-organising Coordination: A Computational Field Approach
(talk, 03/06/2013) Coordination 2013

Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
Engineering Pervasive Multiagent Systems in SAPERE
(talk, 07/05/2013) 1st Workshop "Engineering Multi-Agent Systems" (EMAS 2013)

Mirko Viroli (Mirko Viroli)
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
(talk, 06/05/2013) SCW 2013

Mirko Viroli (Mirko Viroli, Sara Montagna)
Composing gradients for a context-aware navigation of users in a smart-city
(talk, 06/05/2013) SCW 2013

Mirko Viroli (Mirko Viroli, Sara Montagna)
Spatial Computing with Chemistry
(internal talk, 26/03/2013) Bioinformatics LabMeeting

Mirko Viroli (Mirko Viroli)
SAPERE project (and relevance for CINA)
(project presentation, 06/02/2013) CINA kickoff meeting

Mirko Viroli (Mirko Viroli)
Glocality: emergent behaviours
(talk, 06/02/2013) CINA kickoff meeting

(9 talks in 2013) [top] [bottom]

2012

Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
(talk, 19/09/2012) 13th Workshop on Objects and Agents (WOA 2012)

Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
(talk, 19/09/2012) 13th Workshop on Objects and Agents (WOA 2012)

Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Gradient-based Self-organisation Patterns of Anticipative Adaptation
(talk, 11/09/2012) 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012)

Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(talk, 10/09/2012) ASENSIS @ SASO 2012

Mirko Viroli (Mirko Viroli)
WP1 @ M24 Progresses and Review
(project presentation, 10/09/2012) SAPERE Meeting, SASO 2012

Mirko Viroli (Mirko Viroli)
WP1 @ M21. Progresses and Plan
(talk, 11/06/2012) General SAPERE Meeting

Mirko Viroli (Andrea Omicini)
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
(poster presentation, 29/03/2012) 27th Annual ACM Symposium on Applied Computing (SAC 2012)

Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
(talk, 28/03/2012) 27th Annual ACM Symposium on Applied Computing (SAC 2012)

Mirko Viroli (Mirko Viroli)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(talk, 28/03/2012) 27th Annual ACM Symposium on Applied Computing (SAC 2012)

Mirko Viroli (Mirko Viroli)
Self-adaptive Service Ecosystems for Pervasive Computing
(seminar, 15/03/2012) DISI seminars

Mirko Viroli (Mirko Viroli)
WP1 @ M17. Progresses and Plan
(project presentation, 27/02/2012) General SAPERE Meeting

(11 talks in 2012) [top] [bottom]

2011

Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems
(talk, 19/09/2011) Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011)

Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Simulation Framework for Pervasive Service Ecosystems
(talk, 06/07/2011) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy - 05/07/2011

Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems
(talk, 06/07/2011) WOA 2011

Mirko Viroli (Mirko Viroli)
WP1 Activities: General state, details on the model, future plans
(project presentation, 24/06/2011) SAPERE M9 Meeting, University of St. Andrews, UK

Mirko Viroli (Mirko Viroli)
WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws
(project presentation, 20/01/2011) SAPERE M4 Meeting, Université de Genève, Suisse

Mirko Viroli (Mirko Viroli)
WP1 Activities. General state, details on the model, future plans
(project presentation, 19/01/2011) SAPERE M4 Meeting, Université de Genève, Suisse

(6 talks in 2011) [top] [bottom]

2010

Mirko Viroli (Mirko Viroli)
SAPERE: WP1 - Model & Methodology
(project presentation, 05/10/2010) SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010

Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli)
Self Organization in Coordination Systems using a WordNet-based Ontology
(talk, 30/09/2010)

Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Self-Organising Infrastructure for Chemical-Semantic Coordination
(talk, 07/09/2010) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010)

Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
(seminar, 25/05/2010) Course “Informatics System Design” (2009-2010)

Matteo Casadei (Mirko Viroli, Matteo Casadei)
Chemical-Inspired Self-Composition of Competing Services
(talk, 26/03/2010) 25th Annual ACM Symposium on Applied Computing (SAC 2010)

Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
(talk, 26/03/2010) Special Track on Coordination Models, Languages and Applications of the 25th ACM Symposium on Applied Computing (SAC 2010)

(6 talks in 2010) [top] [bottom]

2009

Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei)
Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems
(invited talk, 02/12/2009) Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain

Sara Montagna (Sara Montagna, Mirko Viroli)
A Computational Framework for Multilevel Morphologies
(talk, 19/06/2009) Morphogenetic Engineering Workshop

Mirko Viroli (Sara Montagna, Mirko Viroli)
A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry
(talk, 21/05/2009) Congress on Evolutionary Computation (CEC 2009)

Mirko Viroli (Mirko Viroli, Matteo Casadei)
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing
(talk, 20/05/2009) The 2009 IEEE Concress on Evolutionary Computation (CEC 2009)

Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Framework for Modelling and Implementing Self-Organising Coordination
(talk, 10/03/2009) 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA.

Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems
(talk, 09/01/2009) Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino

(6 talks in 2009) [top] [bottom]

2008

Matteo Casadei (Mirko Viroli, Matteo Casadei)
Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks
(talk, 23/10/2008) 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008)

Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli)
Experiment with Stochastic Prolog as Simulation Language
(talk, 10/07/2008) 23° Convegno Italiano di Logica Computazionale (CILC)

Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
(talk, 24/06/2008) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop

Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney)
Argumentation and Artifact for Dialogue Support
(talk, 12/05/2008) 5th International Workshop "Argumentation in Multi-Agent Systems" (ArgMAS 2008)

Matteo Casadei (Mirko Viroli, Matteo Casadei)
Self-Organising Approaches to Coordination
(seminar, 06/03/2008) Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena)

(5 talks in 2008) [top] [bottom]

2007

Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems
(talk, 12/09/2007) Second International Workshop on Self-Organizing Systems (IWSOS 2007)

Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli)
On the Problem of Over-clustering in Tuple-based Coordination Systems
(talk, 11/07/2007) First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007)

(2 talks in 2007) [top] [bottom]

2006

Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
(talk, 15/12/2006) Fourth European Workshop on Multi-Agent Systems, EUMAS 2006

Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
Collective Sorting Tuple Spaces
(talk, 27/09/2006) Workshops from Objects to Agents - WOA 2006

Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools
(talk, 22/09/2006) AICA: 2006 National Conference

Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case
(talk, 31/08/2006) FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)

(4 talks in 2006) [top] [bottom]

2005

Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli)
A Framework for Engineering Interactions in Java-based Component Systems
(talk, 28/08/2005) 4th International Workshop Foundation of Coordination Language and Software Architectures FOCLASA - San Francisco, USA

(1 talk in 2005) [top] [bottom]

2004

Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
A Conceptual Framework for Self-Organising MAS
(talk, 16/12/2004) 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain

Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
Coordination Artifacts: Environment-based Coordination for Intelligent Agents
(talk, 21/07/2004) AAMAS'04

(2 talks in 2004) [top] [bottom]

2003

Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(talk, 19/12/2003) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK

Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN
(talk, 19/12/2003) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK

Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli)
Objective Coordination for FIPA Agents
(talk, 10/09/2003) WOA 2003

(3 talks in 2003) [top] [bottom]

Tags:

Per Year

Per Year

Mirko Viroli

Talks / Viroli