Talks  /  2000–2021  /  Mirko Viroli

2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012  |  2011  |  2010  |  2009  |  2008  |  2007  |  2006  |  2005  |  2004  |  2003  |  2002  |  2001  |  2000

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) GOODTECHS 2018 - 4th EAI International Conference on Smart Objects and Technologies for Social Good, 28/11/2018
(1 talks in 2018) [top]  [bottom]
2017
Mirko Viroli (Mirko Viroli)
Aggregate Computing
(lecture) “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 17/02/2017
(1 talks 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) 10th International Symposium on Intelligent Distributed Computing (IDC 2016), 11/10/2016
Danilo Pianini (Danilo Pianini, Matteo Francia, Mirko Viroli, Jacob Beal)
Towards a Foundational API for Resilient Distributed Systems Design
(talk) 2nd eCAS Workshop on Engineering Collective Adaptive Systems, 18/09/2016
Danilo Pianini (Danilo Pianini, Mirko Viroli, Roberto Casadei)
Simulating Large-scale Aggregate MASs with Alchemist and Scala
(talk) 10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16), 14/09/2016
Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani)
Spatial Multi-Agent Systems
(tutorial) 18th European Agent Systems Summer School (EASSS 2016), 28/07/2016
(4 talks in 2016) [top]  [bottom]
2015
Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
Protelis: Practical Aggregate Programming
(talk) Coordination Models and Languages @ SAC 2015, 16/04/2015
(1 talks in 2015) [top]  [bottom]
2014
Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna)
Agent-based and Chemical-inspired Approaches for Multicellular Models
(talk) Meeting CINI Laboratorio InfoLife, 11/07/2014
Mirko Viroli (Mirko Viroli)
Engineering Adaptive Service Ecosystems
(lecture) DISI PhD School in Computer Science and Engineering, 12/02/2014
(2 talks in 2014) [top]  [bottom]
2013
Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal)
A core calculus of computational fields
(talk) Malaga, Spagna, 11/09/2013
Mirko Viroli (Mirko Viroli)
WP1 at M32: State and Plans
(project presentation) M32 Consortium Meeting, 18/06/2013
Mirko Viroli (Mirko Viroli)
Engineering Self-organising Coordination: A Computational Field Approach
(talk) Coordination 2013, 03/06/2013
Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli)
Engineering Pervasive Multiagent Systems in SAPERE
(talk) 1st Workshop "Engineering Multi-Agent Systems" (EMAS 2013), 07/05/2013
Mirko Viroli (Mirko Viroli)
Engineering Confluent Computational Fields: from Functions to Rewrite Rules
(talk) SCW 2013, 06/05/2013
Mirko Viroli (Mirko Viroli, Sara Montagna)
Composing gradients for a context-aware navigation of users in a smart-city
(talk) SCW 2013, 06/05/2013
Mirko Viroli (Mirko Viroli, Sara Montagna)
Spatial Computing with Chemistry
(internal talk) Bioinformatics LabMeeting, 26/03/2013
Mirko Viroli (Mirko Viroli)
SAPERE project (and relevance for CINA)
(project presentation) CINA kickoff meeting, 06/02/2013
Mirko Viroli (Mirko Viroli)
Glocality: emergent behaviours
(talk) CINA kickoff meeting, 06/02/2013
(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) 13th Workshop on Objects and Agents (WOA 2012), 19/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna, Jose Luis Fernandez Marquez)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
(talk) 13th Workshop on Objects and Agents (WOA 2012), 19/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Gradient-based Self-organisation Patterns of Anticipative Adaptation
(talk) 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M24 Progresses and Review
(project presentation) SAPERE Meeting, SASO 2012, 10/09/2012
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(talk) ASENSIS @ SASO 2012, 10/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M21. Progresses and Plan
(talk) General SAPERE Meeting, 11/06/2012
Mirko Viroli (Andrea Omicini)
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
(poster presentation) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 29/03/2012
Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
(talk) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Mirko Viroli (Mirko Viroli)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(talk) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Mirko Viroli (Mirko Viroli)
Self-adaptive Service Ecosystems for Pervasive Computing
(seminar) DISI seminars, 15/03/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M17. Progresses and Plan 
(project presentation) General SAPERE Meeting, 27/02/2012
(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) Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011
Danilo Pianini (Elena Nardini, Mirko Viroli, Gabriella Castelli, Marco Mamei, Franco Zambonelli)
A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems
(talk) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy - 05/07/2011, 06/07/2011
Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini)
A Simulation Framework for Pervasive Service Ecosystems
(talk) XII Workshop "Dagli Oggetti agli Agenti" (WOA 2011), Università della Calabria, Rende, CS, Italy - 05/07/2011, 06/07/2011
Mirko Viroli (Mirko Viroli)
WP1 Activities: General state, details on the model, future plans
(project presentation) SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011
Mirko Viroli (Mirko Viroli)
WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws
(project presentation) SAPERE M4 Meeting, Université de Genève, Suisse, 20/01/2011
Mirko Viroli (Mirko Viroli)
WP1 Activities. General state, details on the model, future plans
(project presentation) SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011
(6 talks in 2011) [top]  [bottom]
2010
Mirko Viroli
SAPERE: WP1 - Model & Methodology
(project presentation) SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010
Sascia Virruso, Danilo Pianini (Andrea Omicini, Mirko Viroli, Sascia Virruso, Danilo Pianini, Ronaldo Menezes)
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) The 11th National Workshop "Dagli Oggetti agli Agenti" (WOA 2010), 07/09/2010
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
(seminar) Course “Informatics System Design” (2009-2010), 25/05/2010
Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta)
Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres
(talk) Special Track on Coordination Models, Languages and Applications of the 25th ACM Symposium on Applied Computing (SAC 2010), 26/03/2010
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Chemical-Inspired Self-Composition of Competing Services
(talk) 25th Annual ACM Symposium on Applied Computing (SAC 2010), 26/03/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) Invited Lectures on Semantics Self-Organisation and Self-Aware Autonomous Systems, CETINIA, Universidad Rey Juan Carlos, Madrid, Spain, 02/12/2009
Sara Montagna (Sara Montagna, Mirko Viroli)
A Computational Framework for Multilevel Morphologies 
(talk) Morphogenetic Engineering Workshop, 19/06/2009
Mirko Viroli (Sara Montagna, Mirko Viroli)
A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry
(talk) Congress on Evolutionary Computation (CEC 2009), 21/05/2009
Mirko Viroli (Mirko Viroli, Matteo Casadei)
An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing
(talk) The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009
Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei)
A Framework for Modelling and Implementing Self-Organising Coordination
(talk) 2009 Symposium of Applied Computing (SAC'09), Waikiki beach, Honolulu, HI, USA., 10/03/2009
Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli)
From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems
(talk) Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009
(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) 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO2008), 23/10/2008
Matteo Casadei (Mirko Viroli, Matteo Casadei, Marco Santarelli)
Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks
(talk) 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE) - CoMA 2008 Workshop, 24/06/2008
Matteo Casadei (Mirko Viroli, Matteo Casadei)
Self-Organising Approaches to Coordination
(seminar) Informatics System Design LS  - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008
(3 talks in 2008) [top]  [bottom]
2007
Matteo Casadei (Mirko Viroli, Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf)
A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems
(talk) Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007
Matteo Casadei (Mirko Viroli, Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf)
On the Problem of Over-clustering in Tuple-based Coordination Systems
(talk) First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007
(2 talks in 2007) [top]  [bottom]
2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
A Case of Self-Organising Environment for MAS: the Collective Sort Problem
(talk) Fourth European Workshop on Multi-Agent Systems, EUMAS 2006, 15/12/2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
Collective Sorting Tuple Spaces
(talk) Workshops from Objects to Agents - WOA 2006, 27/09/2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools
(talk)  AICA: 2006 National Conference, 22/09/2006
Matteo Casadei (Mirko Viroli, Matteo Casadei, Luca Gardelli)
Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case
(talk) FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006), 31/08/2006
(4 talks in 2006) [top]  [bottom]
2004
Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini)
A Conceptual Framework for Self-Organising MAS
(talk) 2nd European Workshop on Multiagent Systems (EUMAS 2004), Barcelona, Cataluña, Spain, 16/12/2004
(1 talks in 2004) [top]  [bottom]
2003
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Giovanni Rimassa)
Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN
(talk) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK, 19/12/2003
Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli)
Formal Specification and Enactment of Security Policies through Agent Coordination Contexts
(talk) 1st European Workshop on Multiagent Systems (EUMAS 2003), Oxford, UK, 19/12/2003
(2 talks in 2003) [top]  [bottom]
(59 talks)  [top]  [bottom]

Tags:
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY