Per Sort
Per Sort
64 talks / 2000–2023 / Mirko Viroli
talks | invited talks | seminars | lectures | tutorials | project presentations | internal talks | poster presentations
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 |
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) |
Mirko Viroli (Mirko Viroli) Engineering Adaptive Service Ecosystems (lecture, 12/02/2014) DISI PhD School in Computer Science and Engineering |
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 |