Per Sort


Per Sort

64 talks  /  2000–2023  /  Mirko Viroli

talks
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
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)
Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal)
Protelis: Practical Aggregate Programming
(talk, 16/04/2015) Coordination Models and Languages @ SAC 2015
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, Ferruccio Damiani, Jacob Beal)
A core calculus of computational fields
(talk, 11/09/2013) Malaga, Spagna
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)
Glocality: emergent behaviours
(talk, 06/02/2013) CINA kickoff meeting
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 @ M21. Progresses and Plan
(talk, 11/06/2012) General SAPERE Meeting
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)
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 (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
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
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)
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)
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 
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 (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)
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)
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
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
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 (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)
Objective Coordination for FIPA Agents
(talk, 10/09/2003) WOA 2003
(47 talks / 2000–2023)  [top]  [bottom]
invited talks
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
(1 invited talk / 2000–2023)  [top]  [bottom]
seminars
Mirko Viroli (Mirko Viroli)
Self-adaptive Service Ecosystems for Pervasive Computing
(seminar, 15/03/2012) DISI seminars
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)
Self-Organising Approaches to Coordination
(seminar, 06/03/2008) Informatics System Design LS  - Second Faculty of Engineering at Università di Bologna (Cesena)
(3 seminars / 2000–2023)  [top]  [bottom]
lectures
Mirko Viroli (Mirko Viroli)
Aggregate Computing
(lecture, 17/02/2017) “Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School
Mirko Viroli (Mirko Viroli)
Engineering Adaptive Service Ecosystems
(lecture, 12/02/2014) DISI PhD School in Computer Science and Engineering
(2 lectures / 2000–2023)  [top]  [bottom]
tutorials
Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani)
Spatial Multi-Agent Systems
(tutorial, 28/07/2016) 18th European Agent Systems Summer School (EASSS 2016)
(1 tutorial / 2000–2023)  [top]  [bottom]
project presentations
Mirko Viroli (Mirko Viroli)
WP1 at M32: State and Plans
(project presentation, 18/06/2013) M32 Consortium Meeting
Mirko Viroli (Mirko Viroli)
SAPERE project (and relevance for CINA)
(project presentation, 06/02/2013) CINA kickoff meeting
Mirko Viroli (Mirko Viroli)
WP1 @ M24 Progresses and Review
(project presentation, 10/09/2012) SAPERE Meeting, SASO 2012
Mirko Viroli (Mirko Viroli)
WP1 @ M17. Progresses and Plan 
(project presentation, 27/02/2012) General SAPERE Meeting
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
Mirko Viroli (Mirko Viroli)
SAPERE: WP1 - Model & Methodology
(project presentation, 05/10/2010) SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010
(8 project presentations / 2000–2023)  [top]  [bottom]
internal talks
Mirko Viroli (Mirko Viroli, Sara Montagna)
Spatial Computing with Chemistry
(internal talk, 26/03/2013) Bioinformatics LabMeeting
(1 internal talk / 2000–2023)  [top]  [bottom]
poster presentations
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)
(1 poster presentation / 2000–2023)  [top]  [bottom]

Tags:

Avatar

Talks / Viroli

Home
— clouds

per year
2023  |  2022  |  2021  |  2020  |  2019  |  2018  |  2017  |  2016  |  2015  |  2014  |  2013  |  2012–2000
per sort
talks  |  invited talks  |  seminars  |  lectures  |  tutorials  |  project presentations  |  informal talks  |  internal talks  |  panel presentations  |  PhD presentations  |  poster presentations  |  other talks

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY