Tutte le presentazioni

Multi-Agent Systems: Long Story Short (AIxIA 2026, 07/10/2026) — Andrea Omicini (Andrea Omicini) •  The Invisible Work Behind Universal Models (EASST 2026, 11/09/2026) — Manuel Battigaglia (Manuel Battigaglia, Annalisa Pelizza) •  From Language to Agency: Intermediate Representations for better LLM Agents (SKILLED-LLMs 2026 @ FLoC 2026, 18/07/2026) — Giovanni Ciatto (Giovanni Ciatto) •  Actively Learning EL Terminologies from Large Language Models (ECAI-2025, 27/10/2025) — Matteo Magnini (Matteo Magnini, Riccardo Squarcialupi, Martin Tunge Sterri, Ana Ozaki) •  Self-Explaining Agents (CompuLaw Final Conference, 14/07/2025) — Andrea Omicini (Andrea Omicini) •  From Conflict to Concealment: The Role of Generative AI in Creating a Digital Utopia (WOA 2025, 04/07/2025) — Pierluigi Roberti (Sara Hejazi, Daniele Franch, Pierluigi Roberti, Enrico Blanzieri) •  Self-Explaining Agents (26/05/2025) — Andrea Omicini (Andrea Omicini) •  Exploiting Explainable Artificial Intelligence for Space Weather Investigations on Board LISA and Future Space Interferometers for Gravitational Wave Detection (20/02/2025) — Federico Sabbatini (Federico Sabbatini) •  Infusing Knowledge into Data-Driven Modelling of Complex Systems for Improved Quality and Interpretability (Final PhD Discussion, 20/02/2025) — Christel Sirocchi (Christel Sirocchi) •  Towards an integration of learning and reasoning in agent and multi-agent systems (National PhD Program in AI for Society, 19/02/2025) — Andrea Rafanelli (Andrea Rafanelli) •  AI-fairness: the FAIRBRIDGE approach to practically bridge the gap between socio-legal and technical perspectives (HICSS-58, 04/01/2025) — Mattia Matteini (Giovanni Ciatto, Mattia Matteini, Laura Sartori, Maria Rebrean, Catelijne Muller, Andrea Borghesi, Roberta Calegari) •  Rule enforcement in LLMs: a parameter efficient fine-tuning approach with self-generated training dataset (AIxHMI 2024 @ AIxIA 2024, 26/11/2024) — Daniele Franch (Daniele Franch, Pierluigi Roberti, Enrico Blanzieri) •  Enforcing Fairness via Constraint Injection with FaUCI (AEQUITAS 2024, 20/10/2024) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini) •  We Were Deep in NeSy When LLM Happened (Large and Small Language Models: stato dell’arte fra limiti e prospettive, 27/09/2024) — Andrea Omicini (Andrea Omicini, Andrea Agiollo, Giovanni Ciatto, Matteo Magnini) •  Approximating Memorization Using Loss Surface Geometry for Dataset Pruning and Summarization (KDD 2024, 27/08/2024) — Andrea Agiollo (Andrea Agiollo, Kim Young In, Rajiv Khanna) •  An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024, 09/07/2024) — Andrea Agiollo (Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini) •  Argumentation for Legal Reasoning: Meta-models, Technology and Beyond (PhD defence, 04/07/2024) — Giuseppe Pisano (Giuseppe Pisano) •  Embedding AI into Constrained Devices: A Multi-Faceted Approach (24/06/2024) — Andrea Agiollo (Andrea Agiollo) •  Actively Learning Ontologies from LLMs: First Results (DL 2024, 20/06/2024) — Matteo Magnini (Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi) •  Large Language Models as Oracles for Instantiating Ontologies with Domain-Specific Knowledge (ENGINES Kick-off Meeting, 20/06/2024) — Giovanni Ciatto (Giovanni Ciatto, Andrea Agiollo, Matteo Magnini, Andrea Omicini) •  Interacting agents and culture (ENGINES Kick-off Meeting, 20/06/2024) — Enrico Blanzieri (Enrico Blanzieri) •  Space Aware Conversational Agents: “Where is Corrado”? (ENGINES Kick-off Meeting, 20/06/2024) — Corrado Santoro (Corrado Santoro) •  Competenza culturale negli agenti intelligenti artificiali (ENGINES Kick-off Meeting, 20/06/2024) — Daniele Franch, Pierluigi Roberti (Daniele Franch, Pierluigi Roberti, Enrico Blanzieri) •  ML-BDI Agents: Vision and Survey (ENGINES Kick-off Meeting, 20/06/2024) — Andrea Agiollo (Andrea Agiollo) •  ENGINES Kick-off meeting @ Bologna UniGE contribution and workplan (ENGINES Kick-off Meeting, 20/06/2024) — Viviana Mascardi (Viviana Mascardi) •  On the external concurrency of current BDI frameworks for MAS (ENGINES Kick-off Meeting, 20/06/2024) — Giovanni Ciatto (Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini) •  Concurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024, 08/05/2024) — Alessandro Ricci (Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Andrea Omicini, Alessandro Ricci) •  On the external concurrency of current BDI frameworks for MAS (EMAS 2024 @ AAMAS 2024, 06/05/2024) — Alessandro Ricci (Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini) •  Mitigating Intersectional Fairness: a Practical Approach with FaUCI (AIMMES 2024, 20/03/2024) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini) •  Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (WOA 2023, 08/11/2023) — Giovanni Ciatto (Federico Sabbatini, Roberta Calegari) •  Peer-Reviewed Federated Learning (WOA 2023, 07/11/2023) — Andrea Omicini (Mattia Passeri, Andrea Agiollo, Andrea Omicini) •  Collaborative Decision-Making in Hybrid Agent Systems: a Synergy between Neural and Symbolic Capabilities (06/10/2023) — Andrea Rafanelli (Andrea Rafanelli) •  Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (ECAI-2023, 04/10/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari) •  Intelligent Systems Engineering: Course presentation (Presentazione dei corsi a scelta per la laurea magistrale “Ingegneria e scienze informatiche”, 22/09/2023) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto) •  Measuring Trustworthiness in Neuro-Symbolic Integration (FedCSIS 2023, 19/09/2023) — Andrea Omicini (Andrea Omicini, Andrea Agiollo) •  Multi-Agent Systems & Project Work in Multi-Agent Systems: Presentation of the Courses (Welcome Day of the Master Degree Program in Artificial Intelligence, 14/09/2023) — Andrea Omicini (Andrea Omicini, Roberta Calegari) •  Explainable Clustering with CREAM (KR 2023, 07/09/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari) •  Symbolic Transfer Learning through Knowledge Manipulation Methods (KR 2023 Doctoral Consortium @ KR 2023, 05/09/2023) — Matteo Magnini (Matteo Magnini) •  ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (KoDis 2023 @ KR 2023, 03/09/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari) •  Symbolic Knowledge-Extraction Evaluation Metrics: The FiRe Score (KoDis 2023 @ KR 2023, 03/09/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari) •  XAI: Current Frontiers and the Path Ahead Towards Trustworthy AI (XLoKR 2023 - Explainable Logic-Based Knowledge Representation KR 2023, 02/09/2023) — Roberta Calegari (Roberta Calegari) •  Assessing and Enforcing Fairness in the AI Lifecycle (Thirty-Second International Joint Conference on Artificial Intelligence (IJCAI 2023), 23/08/2023) — Roberta Calegari (Roberta Calegari, Gabriel Gonzalez Castane, Michela Milano, Barry O'Sullivan) •  eXplainable Artificial Intelligence (XAI): A Gentle Introduction (ASAI-ER 2023, 27/07/2023) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  Intelligent Agents: A Gentle Introduction (ASAI-ER 2023, 25/07/2023) — Giovanni Ciatto (Giovanni Ciatto) •  On the role of computational logic in MAS: practice with 2P-Kt (EASSS 2023, 17/07/2023) — Giovanni Ciatto (Giovanni Ciatto) •  GNN4IFA: Interest Flooding Attack Detection With Graph Neural Networks (EuroS&P 2023, 05/07/2023) — Andrea Agiollo, Enkeleda Bardhi (Andrea Agiollo, Enkeleda Bardhi, Mauro Conti, Riccardo Lazzeretti, Eleonora Losiouk, Andrea Omicini) •  Bottom-Up and Top-Down Workflows for Hypercube- and Clustering-based Knowledge Extractors (EXTRAAMAS 2023 @ AAMAS 2023, 29/05/2023) — Federico Sabbatini (Federico Sabbatini, Roberta Calegari) •  A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023 @ AAMAS 2023, 29/05/2023) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini, Berk Buzcu, Reyhan Aydoğan, Andrea Omicini) •  The Quarrel of Local Post-hoc Explainers for Moral Values Classification in Natural Language Processing (EXTRAAMAS 2023 @ AAMAS 2023, 29/05/2023) — Andrea Agiollo (Andrea Agiollo, Luciano C. Siebert, Pradeep K. Murukannaiah, Andrea Omicini) •  eXplainable Artificial Intelligence (XAI): A Gentle Introduction (Programma formativo BBS “BPER – Data Analytics”, 05/05/2023) — Andrea Omicini, Giovanni Ciatto, Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  On the Evaluation of the Symbolic Knowledge Extracted from Black Boxes (AAAI Spring Symposium 2023 – AITA: AI Trustworthiness Assessment, 27/03/2023) — Roberta Calegari (Federico Sabbatini, Roberta Calegari) •  Resource-Friendly Artificial Intelligence (17/01/2023) — Andrea Agiollo (Andrea Agiollo) •  On the role of abductive reasoning in semantic image segmentation (AIxIA 2022, 02/12/2022) — Andrea Rafanelli (Andrea Rafanelli, Stefania Costantini, Andrea Omicini) •  Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022, 29/11/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  Symbolic Knowledge Extraction via PSyKE. A Tutorial (PRIMA 2022, 16/11/2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini, Federico Sabbatini) •  Symbolic Knowledge Injection via PSyKI. A Tutorial (PRIMA 2022, 16/11/2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Magnini) •  Kick-off meeting – Project Introduction (AEQUITAS Kick-off Meeting, 14/11/2022) — Roberta Calegari (Roberta Calegari) •  Legal reasoning: argumentation and explanation (Last-JD Board, 14/10/2022) — Giuseppe Pisano (Giuseppe Pisano) •  Panel: Tackling Bias and Unfairness in AI (Responsible AI Conference 2022 (R.AI 2022), 11/10/2022) — Roberta Calegari (Roberta Calegari) •  Tackling Bias and Unfairness in AI (Responsible AI Conference 2022 (R.AI 2022), 11/10/2022) — Roberta Calegari (Roberta Calegari) •  Dive into Symbolic Knowledge Extraction & Injection: gentle introduction and technologies (KDD Lab reading group 2022, University of Pisa, 07/10/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto) •  Arguing about the existence of conflicts (COMMA 2022, 16/09/2022) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Giovanni Sartor, Henry Prakken) •  Explainable Pervasive Intelligence with Self-explaining Agents (PICom 2022, 14/09/2022) — Andrea Omicini (Andrea Omicini) •  Computational argumentation and symbolic reasoning for explainable (1st International Workshop on Argumentation for eXplainable AI (ArgXAI), 12/09/2022) — Roberta Calegari (Roberta Calegari) •  Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (WOA 2022, 01/09/2022) — Andrea Rafanelli (Andrea Agiollo, Andrea Rafanelli, Andrea Omicini) •  A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022, 01/09/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022, 01/09/2022) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini) •  Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO (KR 2022, 04/08/2022) — Roberta Calegari (Federico Sabbatini, Roberta Calegari) •  GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022, 02/08/2022) — Andrea Agiollo (Andrea Agiollo, Andrea Omicini) •  GNN2GNN: Graph Neural Networks to Generate Neural Networks (UAI 2022, 02/08/2022) — Andrea Agiollo (Andrea Agiollo, Andrea Omicini) •  Logic Programming library for Machine Learning: API design and prototype (CILC 2022, 01/08/2022) — Giovanni Ciatto (Giovanni Ciatto, Matteo Castiglio, Roberta Calegari) •  Clustering-Based Approaches for Symbolic Knowledge Extraction (KR&ML@KR 2022, 31/07/2022) — Roberta Calegari (Federico Sabbatini, Roberta Calegari) •  Grounding Trustworthy AI: from high-level principles to technical requirements (IJCAI-ECAI 22, 25/07/2022) — Roberta Calegari (Roberta Calegari, Michela Milano, Catelijne Muller) •  Human-centric AutoML via Argumentation (ICR Seminars, 17/07/2022) — Giuseppe Pisano (Giuseppe Pisano, Joseph Giovanelli) •  KINS: Knowledge Injection via Network Structuring (CILC 2022, 01/07/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  SKI: Symbolic Knowledge Injection, state of the art and research perspectives (EXPECTATION Meeting, 09/06/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  Overcoming human bias – Sex and gender in research on artificial intelligence (European Research Area (ERA) Workshop, 24/05/2022) — Roberta Calegari (Roberta Calegari) •  On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022 @ AAMAS 2022, 09/05/2022) — Matteo Magnini (Matteo Magnini, Giovanni Ciatto, Andrea Omicini) •  Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022 @ AAMAS 2022, 09/05/2022) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini) •  On the Integration of Symbolic and Sub-symbolic – Explaining by Design (Italian National PhD Program in Artificial Intelligence, 10/02/2022) — Andrea Omicini (Andrea Omicini, Roberta Calegari, Giovanni Ciatto) •  Legal reasoning: argumentation and explanation (Last-JD Board, 01/01/2022) — Giuseppe Pisano (Giuseppe Pisano) •  Explaining conflicts of norms in criminal matters: an argumentation approach (AICOL 2021, 08/12/2021) — Marco BIlli (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor) •  Neuro-Symbolic Deep Deductive Reasoning (AIxIA 2021, 02/12/2021) — Pascal Hitzler (Pascal Hitzler) •  Probabilistic logic programming in 2P-Kt (AIxIA 2021, 01/12/2021) — Giovanni Ciatto (Jason Dellaluce, Roberta Calegari, Giovanni Ciatto) •  Modular logic argumentation in Arg-tuProlog (AIxIA 2021, 01/12/2021) — Giuseppe Pisano (Roberta Calegari, Giuseppe, Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor) •  Burden of persuasion in argumentation: A meta-argumentation approach (AIxIA 2021, 29/11/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor) •  Burdens of Persuasion and Standards of Proof in Structured Argumentation (CLAR 2021, 20/10/2021) — Giovanni Sartor (Roberta Calegari, Giovanni Sartor) •  Embedding Artificial Intelligence into Constrained Devices (PhD 1st-year report, 20/10/2021) — Andrea Agiollo (Andrea Agiollo) •  Explainability through argumentation in logic programming (CAUSAL 2021, 20/09/2021) — Marco Billi, Giuseppe Pisano (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor) •  A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor) •  Towards cooperative argumentation for MAS: an Actor-based approach (WOA 2021, 03/09/2021) — Roberta Calegari (Giuseppe Pisano, Roberta Calegari, Andrea Omicini) •  Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap (WOA 2021, 02/09/2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini) •  On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021, 01/09/2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini) •  The Burden of Persuasion in Structured Argumentation (International Conference on Artificial Intelligence and Law 2021, 23/06/2021) — Giovanni Sartor (Roberta Calegari, Régis Riveret, Giovanni Sartor) •  Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021, 17/05/2021) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini) •  Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021, 07/05/2021) — Viviana Mascardi (Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini) •  Agents Explaining to Agents (EXTRAAMAS 2021 @ AAMAS 2021, 04/05/2021) — Andrea Omicini (Andrea Omicini) •  Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021 @ AAMAS 2021, 03/05/2021) — Amro Najjar (Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi) •  Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021 @ AAMAS 2021, 03/05/2021) — Andrea Agiollo (Andrea Agiollo, Giovanni Ciatto, Andrea Omicini) •  GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021 @ AAMAS 2021, 03/05/2021) — Federico Sabbatini (Federico Sabbatini, Giovanni Ciatto, Andrea Omicini) •  Graph Neural Networks - Theory & Applications (Internal Seminar, 30/04/2021) — Andrea Agiollo (Andrea Agiollo) •  Legal reasoning: argumentation and explanation (Last-JD Board, 28/04/2021) — Giuseppe Pisano (Giuseppe Pisano) •  Teaching the Old AI Dog New Symbolic Tricks (ALMA-AI Foundations of AI 2021, 27/04/2021) — Andrea Omicini (Andrea Omicini) •  Artificial Intelligence in Embedded Environments (PhD Review - The Research Hub by Electrolux Professional, 31/03/2021) — Andrea Agiollo (Andrea Agiollo) •  Machine Learning: Classification and Regression (From the Software Engineer Perspective) (Spritenario, 12/03/2021) — Giovanni Ciatto (Giovanni Ciatto) •  Arg-tuProlog: a modular logic argumentation tool for PIL (JURIX 2020, 10/12/2020) — Giuseppe Pisano (Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor) •  A Model for the Burden of Persuasion in Argumentation (JURIX 2020, 10/12/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari) •  Not just for humans: Explanation for agent-to-agent communication (AIxIA 2020, 27/11/2020) — Andrea Omicini (Andrea Omicini) •  Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020, 25/11/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari) •  Arg-tuProlog: a tuProlog-based argumentation framework (CILC 2020, 13/10/2020) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor) •  Burden of Persuasion in Argumentation (ICLP 2020, 20/09/2020) — Roberta Calegari (Giovanni Sartor, Roberta Calegari) •  2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari) •  Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020, 15/09/2020) — Giuseppe Pisano (Giovanni Ciatto, Giuseppe Pisano, Roberta Calegari, Andrea Omicini) •  Computable Law as Argumentation-based MAS (WOA 2020, 14/09/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari) •  Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020 @ AAMAS 2020, 09/05/2020) — Davide Calvaresi (Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi) •  An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020, 09/05/2020) — Giovanni Ciatto (Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini) •  Defeasible Systems in Legal Reasoning: A Comparative Assessment (JURIX 2019, 12/12/2019) — Giovanni Sartor (Roberta Calegari, Giuseppe Contissa, Francesca Lagioia, Andrea Omicini, Giovanni Sartor) •  The Quest Towards Coordination from Distributed to Socio-Technical Systems (Research Seminar “AI: From tutorials to hands on”, 06/12/2019) — Stefano Mariani (Stefano Mariani) •  Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019 @ AI*IA 2019, 22/11/2019) — Giovanni Ciatto (Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi) •  Real-Time Multi-Agent Systems: challenges, model, and performance analysis (06/11/2019) — Davide Calvaresi (Davide Calvaresi) •  Docker for Devs (PSLab seminars series, 30/10/2019) — Stefano Mariani (Stefano Mariani) •  Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019, 11/10/2019) — Roberta Calegari (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari) •  Argumentation-based Coordination in IoT: a Speaking Objects Proof-of-Concept (IDCS 2019, 10/10/2019) — Stefano Mariani (Stefano Mariani) •  TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019, 01/08/2019) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Lorenzo Rizzato, Stefano Mariani) •  Empirical Model Learning: Merging knowledge-based and data-driven decision models through machine learning (12/07/2019) — Michela Milano (Michela Milano) •  Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019, 28/06/2019) — Roberta Calegari (Andrea Omicini, Giovanni Ciatto, Jason Dellaluce, Roberta Calegari) •  Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19, 27/06/2019) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani) •  Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19, 27/06/2019) — Giovanni Ciatto (Alfredo Maffi, Andrea Omicini, Giovanni Ciatto, Stefano Mariani) •  Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019 @ PAAMS'19, 26/06/2019) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Michael Bosello, Stefano Mariani) •  Risk Prediction as a Service: a DSS architecture promoting interoperability and collaboration (CBMS 2019, 07/06/2019) — Stefano Mariani (Stefano Mariani, Franco Zambonelli, Akos Tenyi, Isaac Cano, Josep Roca) •  Compulaw: Law-by-Design & Machine Law (14/05/2019) — Giuseppe Contissa (Giovanni Sartor) •  Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum (BCT4MAS 2018 @ WI 2018, 03/12/2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto, Stefano Mariani) •  Blockchain for Intelligent Systems: Research Perspectives (BCT4MAS 2018 @ WI 2018, 03/12/2018) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto) •  Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018, 28/11/2018) — Giovanni Ciatto (Andrea Omicini, Danilo Pianini, Giovanni Ciatto, Mirko Viroli, Roberto Casadei, Stefano Mariani) •  Democracy by Design: Basic Democracy and the Self-Organisation of Collective Governance (Sala Riunioni DISI, 11/09/2018) — Jeremy Pitt (Jeremy Pitt, Josiah Ober) •  Injecting (Micro)Intelligence in the IoT: Logic-based Approaches for (M)MAS (MMAS 2018, 14/07/2018) — Andrea Omicini (Andrea Omicini, Roberta Calegari) •  Distributed Speaking Objects: a Case for Massive Multiagent Systems (MMAS 2018, 14/07/2018) — Franco Zambonelli (Franco Zambonelli, Marco Lippi, Marco Mamei, Stefano Mariani) •  From the Blockchain to Logic Programming and back: Research perspectives (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani) •  Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani) •  Blockchain & Smart Contracts Basics and Perspectives for MAS (WOA 2018 Mini School @ WOA 2018, 27/06/2018) — Giovanni Ciatto (Andrea Omicini, Giovanni Ciatto) •  Coordination of Complex Socio-technical Systems: Challenges and Opportunities (FOCLASA 2018 @ STAF 2018, 26/06/2018) — Stefano Mariani (Stefano Mariani) •  Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018, 18/06/2018) — Stefano Mariani (Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel) •  Artificial Intelligence and Beyond: History, Perspectives, Challenges (Going Digital, Global MBA, BBS, 08/06/2018) — Andrea Omicini (Andrea Omicini) •  Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018 @ ACM/IEEE IoTDI, 17/04/2018) — Giovanni Ciatto (Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini) •  Conversational Informatics: From Conversational Systems to Communication Intelligence (MBA Part-Time (Evening), 20/03/2018) — Andrea Omicini (Andrea Omicini) •  Complexity in Computational Systems: The Coordination Perspective (Complex Systems Physics 2018, 15/02/2018) — Andrea Omicini (Andrea Omicini) •  Ologrammi e Mondi Aumentati: come sarà il nostro futuro? (UniJunior 2017, 02/12/2017) — Angelo Croatti (Angelo Croatti, Alessandro Ricci) •  Learn to Code, Code to Learn… che forza il coding! (UniJunior 2017, 02/12/2017) — Alessandro Ricci (Alessandro Ricci, Angelo Croatti, Laura Tarsitano) •  Introduzione alla Blockchain – Bitcoin, criptovalute e altre applicazioni (Open Your Mind, 15/11/2017) — Giovanni Ciatto (Giovanni Ciatto) •  Democratic process and electronic platforms: concerns of an engineer (Workshop The Future of Democracy, 03/11/2017) — Danilo Pianini (Danilo Pianini) •  Programming the Interaction Space Effectively with ReSpecTX (IDC 2017, 12/10/2017) — Stefano Mariani (Andrea Omicini, Giovanni Ciatto, Stefano Mariani) •  Towards Argumentation-based Recommendations for Personalised Patient Empowerment (2nd International Workshop on Health Recommender Systems co-located with the 11th International Conference on Recommender Systems (RecSys 2017), 31/08/2017) — Stefano Mariani (Juan Manuel Fernández, Felip Miralles, Alexander Steblin, Eloisa Vargiu, Marco Mamei, Stefano Mariani, Franco Zambonelli) •  Nature-inspired Coordination: Current Status and Research Trends (WI 2017, 23/08/2017) — Andrea Omicini, Stefano Mariani (Andrea Omicini, Stefano Mariani) •  A Logic-Based Coordination Middleware for Self-Organising Systems: distributed reasoning based on many-valued logics (PhD Defense, 03/07/2017) — Francesco Luca De Angelis (Francesco Luca De Angelis) •  Context Reasoning and Prediction in Smart Environments: the Home Manager case (SEIS @ KES-IIMSS-17, 23/06/2017) — Enrico Denti (Enrico Denti, Roberta Calegari) •  Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017, 16/06/2017) — Andrea Omicini (Andrea Omicini, Giovanni Ciatto, Stefano Mariani) •  Micro-intelligence for the IoT: Teaching the Old Logic Dog New Programming Tricks (WOA 2017, 16/06/2017) — Andrea Omicini (Andrea Omicini) •  Logic Programming as a Service (LPaaS): Intelligence for the IoT (ICNSC 2017, 16/05/2017) — Andrea Omicini (Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini) •  Frontiers of Autonomous Systems (MBA Evening, 14/03/2017) — Andrea Omicini (Andrea Omicini) •  Conversational Informatics: From Conversational Systems to Communication Intelligence (MBA Part-Time (Evening), 22/02/2017) — Andrea Omicini (Andrea Omicini) •  Aggregate Computing (“Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 17/02/2017) — Mirko Viroli (Mirko Viroli) •  Spatial Multi-Agent Systems (“Spatial Multiagent Systems and Aggregate Computing: New Directions for Spatial Computing”, DISI Doctorate School, 15/02/2017) — Andrea Omicini (Andrea Omicini) •  Cosa ci fa un Pokémon in mezzo alla strada? (UniJunior 2016, 19/11/2016) — Angelo Croatti (Angelo Croatti, Alessandro Ricci) •  Come ti programmo un videogioco in 1 ora (UniJunior 2016, 19/11/2016) — Alessandro Ricci (Alessandro Ricci, Laura Tarsitano, Angelo Croatti) •  Spatial Tuples: Augmenting Physical Reality with Tuple Spaces (IDC 2016, 11/10/2016) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Angelo Croatti, Danilo Pianini, Mirko Viroli, Stefano Mariani) •  Towards a Foundational API for Resilient Distributed Systems Design (eCAS 2017 @ SASO 2017, 18/09/2016) — Danilo Pianini (Matteo Francia, Danilo Pianini, Jacob Beal, Mirko Viroli) •  Simulating Large-scale Aggregate MASs with Alchemist and Scala (10th International Workshop on Multi-Agent Systems and Simulation (MAS&S'16), 14/09/2016) — Danilo Pianini (Roberto Casadei, Danilo Pianini, Mirko Viroli) •  Privacy Through Anonymisation in Large-scale Socio-technical Systems: Multi-lingual Contact Centres across the EU (INSCI 2016, 14/09/2016) — Enrico Denti (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno) •  Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (WOA 2016, 30/07/2016) — Andrea Omicini (Andrea Omicini, Francesco Degli Angeli, Michele Donati, Sara Montagna) •  Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (WOA 2016, 30/07/2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  Game Engines to Model MAS: A Research Roadmap (WOA 2016, 30/07/2016) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  Towards Logic Programming as a Service: Experiments in tuProlog (WOA 2016, 29/07/2016) — Andrea Omicini (Andrea Omicini, Enrico Denti, Roberta Calegari, Stefano Mariani) •  Spatial Multi-Agent Systems (EASSS 2016, 28/07/2016) — Andrea Omicini (Andrea Omicini, Mirko Viroli, Stefano Mariani) •  Privacy through Anonymisation in Large-scale Socio-technical Systems: The BISON Approach (25/07/2016) — Andrea Omicini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno) •  Foundations of Multi-Agent Systems (EASSS 2016, 25/07/2016) — Andrea Omicini (Andrea Omicini) •  Labelled Variables in Logic Programming: Foundations (CILC 2016, 20/06/2016) — Roberta Calegari (Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini) •  WP8: Legal, Ethical and Societal Issues (BISON Technical Meeting, 31/05/2016) — Claudia Cevenini (Claudia Cevenini) •  WP8: Legal, Ethical and Societal Issues (BISON Advisory Board Meeting, 30/05/2016) — Claudia Cevenini (Claudia Cevenini) •  Partner presentation (BISON Advisory Board Meeting, 30/05/2016) — Claudia Cevenini (Claudia Cevenini, Enrico Denti) •  Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (PhD Defense, 12/05/2016) — Stefano Mariani (Stefano Mariani) •  Academic Publishing in the Digital Era: A Couple of Issues (Open Access—Well, Maybe) (ISA Forum 2016, 10/05/2016) — Andrea Omicini (Andrea Omicini) •  Frontiers of Autonomous Systems (MBA Alma Graduate School, 03/05/2016) — Andrea Omicini (Andrea Omicini) •  Advanced Coordination Techniques: Experiments with TuCSoN and ReSpecT (Mobile and Distributed Programming course, University of Namur, 28/04/2016) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Software development made serious (18/03/2016) — Danilo Pianini (Danilo Pianini) •  Coordination Issues in Complex Socio-technical Systems: Self-organisation of Knowledge in MoK (PhD Presentation to Collegio, 24/02/2016) — Stefano Mariani (Stefano Mariani) •  BISON – Big speech data analytics for contact centers (Corso di Informatica e Diritto, CdL Ingegneria e Scienze Informatiche, 10/12/2015) — Claudia Cevenini (Claudia Cevenini) •  Self-organisation of Knowledge in Socio-technical Systems: A Coordination Perspective (ISTC CNR, 06/11/2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  D8.3 Legal, ethical and societal issues of BISON - II (Joint Meeting, 19/10/2015) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Italo Cerno, Silvia Bisi) •  Anticipatory Coordination in Socio-technical Knowledge-intensive Environments: Behavioural Implicit Communication in MoK (AI*IA 2015, 24/09/2015) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Labelled Variables in Logic Programming: A First Prototype in tuProlog (AI*IA 2015 DC @ AI*IA 2015, 23/09/2015) — Roberta Calegari (Andrea Omicini, Enrico Denti, Roberta Calegari) •  Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (WOA 2015, 18/06/2015) — Franco Zambonelli (Andrea Omicini, Franco Zambonelli) •  Agent Environments in the Ambient Event Calculus (WOA 2015, 18/06/2015) — Kostas Stathis (Kostas Stathis) •  Blending Event-Based and Multi-Agent Systems around Coordination Abstractions (COORDINATION 2015, 03/06/2015) — Stefano Mariani (Andrea Omicini, Giancarlo Fortino, Stefano Mariani) •  D8.2 Legal, ethical and societal issues of BISON. General framework (Joint Meeting, 28/05/2015) — Claudia Cevenini (Claudia Cevenini, Enrico Denti, Andrea Omicini, Silvia Bisi, Italo Cerno) •  Frontiers of Autonomous Systems (MBA Alma Graduate School, 12/05/2015) — Andrea Omicini (Andrea Omicini) •  Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework (CSCWD 2015, 06/05/2015) — Andrea Omicini (Andrea Omicini) •  Extending the Gillespie's Stochastic Simulation Algorithm for Integrating Discrete-Event and Multi-Agent Based Simulation (MABS 2015 @ AAMAS 2015, 05/05/2015) — Danilo Pianini (Andrea Omicini, Danilo Pianini, Sara Montagna) •  Protelis: Practical Aggregate Programming (CM 2015 @ SAC 2015, 16/04/2015) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Jacob Beal) •  Engineering Complex Computational Ecosystems (PhD Defense, 14/04/2015) — Danilo Pianini (Danilo Pianini) •  The Distributed Autonomy. Software Abstractions and Technologies for Autonomous Systems (UN-LAWS 2015, 13/04/2015) — Andrea Omicini (Andrea Omicini) •  Ethical and legal support – UniBO role and activities in BISON (Kick-off Meeting - Tutorial session, 15/01/2015) — Enrico Denti (Enrico Denti) •  Big speech data privacy issues (Kick-off Meeting - Scientific session, 15/01/2015) — Claudia Cevenini (Claudia Cevenini) •  UniBO Partner introduction (Kick-off Meeting - Partner Introduction, 15/01/2015) — Enrico Denti (Enrico Denti) •  Butler-ising HomeManager: A Pervasive Multi-Agent System for Home Intelligence (ICAART 2015, 10/01/2015) — Roberta Calegari (Enrico Denti, Roberta Calegari) •  Stochastic Coordination in CAS: Expressiveness & Predictability (CAS@Dagstuhl 2014, 15/12/2014) — Stefano Mariani (Stefano Mariani, Andrea Omicini) •  Coordination-aware Elasticity (UCC 2014, 11/12/2014) — Hong-Linh Truong (Stefano Mariani, Hong-Linh Truong, Georgiana Copil, Andrea Omicini, Schahram Dustdar) •  Extending a Smart Home multi-agent system with Role-Based Access Control (ITS 2014, 11/12/2014) — Marco Prandini (Enrico Denti, Marco Prandini, Roberta Calegari) •  Design (CM @ CUSO 2014, 21/11/2014) — Paul Pangaro (Paul Pangaro) •  Coordination: The what, the when and the how (CM @ CUSO 2014, 21/11/2014) — René Schumann (René Schumann) •  Conversation (CM @ CUSO 2014, 21/11/2014) — Paul Pangaro (Paul Pangaro) •  Research Trends in Nature-inspired Coordination Models (CM @ CUSO 2014, 21/11/2014) — Andrea Omicini (Andrea Omicini) •  Coordination Games in Multi-Agent Environments (CM @ CUSO 2014, 21/11/2014) — Visara Urovi (Visara Urovi) •  Laws and Models in Physics vs Biology and the Continuum vs Discrete Interplay (CM @ CUSO 2014, 20/11/2014) — Giuseppe Longo (Giuseppe Longo) •  Introduction to Cybernetics – 1st and 2nd order (CM @ CUSO 2014, 20/11/2014) — Paul Pangaro (Paul Pangaro) •  Human centred Cyber Physical Systems (CM @ CUSO 2014, 20/11/2014) — Benjamin Hadorn (Benjamin Hadorn) •  Interaction, Complexity, Coordination (CM @ CUSO 2014, 20/11/2014) — Andrea Omicini (Andrea Omicini) •  Nature-inspired Models of Coordination (CM @ CUSO 2014, 20/11/2014) — Andrea Omicini (Andrea Omicini) •  Randomness and diversity in biology: comparing complexity and functional organization (CM @ CUSO 2014, 19/11/2014) — Giuseppe Longo (Giuseppe Longo) •  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (DISI - OSIMAS meeting, 13/11/2014) — Stefano Mariani (Stefano Mariani) •  Oscillations Based Multi-Agent System (OSIMAS) Development (Erasmus+ Mobility Training, 12/11/2014) — Darius Plikynas, Andrej Cholscevnikov (Darius Plikynas, Andrej Cholscevnikov) •  TuCSoN Coordination for MAS Situatedness: Towards a Methodology (WOA 2014, 26/09/2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  Event-Based vs. Multi-Agent Systems: Towards a Unified Conceptual Framework. Preliminary Notes (Mini-scuola WOA 2014 @ WOA 2014, 25/09/2014) — Andrea Omicini (Andrea Omicini) •  Coordination in Situated Systems: Engineering MAS Environment in TuCSoN (IDCS 2014, 23/09/2014) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  On the “Local-to-Global” Issue in Self-Organisation: Chemical Reactions with Custom Kinetic Rates (FoCAS 2014, 08/09/2014) — Stefano Mariani (Stefano Mariani) •  Models of Autonomy and Coordination: Integrating Subjective & Objective Approaches in Agent Development Frameworks (IDC 2014, 03/09/2014) — Stefano Mariani (Andrea Omicini, Luca Sangiorgi, Stefano Mariani) •  Agent-based and Chemical-inspired Approaches for Multicellular Models (Meeting CINI Laboratorio InfoLife, 11/07/2014) — Sara Montagna (Andrea Omicini, Mirko Viroli, Sara Montagna) •  Frontiers of Autonomous Systems (MBA Alma Graduate School, 08/05/2014) — Andrea Omicini (Andrea Omicini) •  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (Distributed Systems Group, TU Wien, 29/04/2014) — Stefano Mariani (Stefano Mariani) •  The Autonomy of Automated Systems: Social Systems and the Multi-level Autonomy (AWS-LEP 2014, 24/04/2014) — Andrea Omicini (Andrea Omicini, Giovanni Sartor) •  The Autonomy of Automated Systems (AWS-LEP 2014, 24/04/2014) — Giovanni Sartor (Andrea Omicini, Giovanni Sartor) •  Research Trends in Nature-Inspired Coordination (DISI PhD School in Computer Science and Engineering, 19/02/2014) — Andrea Omicini (Andrea Omicini) •  Nature-inspired Models of Coordination (DISI PhD School in Computer Science and Engineering, 12/02/2014) — Andrea Omicini (Andrea Omicini) •  Engineering Adaptive Service Ecosystems (DISI PhD School in Computer Science and Engineering, 12/02/2014) — Mirko Viroli (Mirko Viroli) •  Tuple-based Coordination of Distributed Systems (DISI PhD School in Computer Science and Engineering, 05/02/2014) — Andrea Omicini (Andrea Omicini) •  Interaction & Coordination in Distributed Systems (DISI PhD School in Computer Science and Engineering, 05/02/2014) — Andrea Omicini (Andrea Omicini) •  Thou Shalt is not You Will (08/01/2014) — Guido Governatori (Guido Governatori) •  TuCSoN on Cloud: An Event-driven Architecture for Embodied / Disembodied Coordination (C-SmartCPS 2013 @ ICA3PP-2013, 20/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  Liability and Automation in ATM (13/12/2013) — Giuseppe Contissa (Giuseppe Contissa) •  Tuple-based Coordination of Stochastic Systems with Uniform Primitives (WOA 2013, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  Space-aware Coordination in ReSpecT (WOA 2013, 02/12/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (WOA 2013, 02/12/2013) — Stefano Mariani (Stefano Mariani) •  WP6 - Dissemination, Collaboration & Exploitation - 3rd Year & Final Report ("SAPERE" Final Review, 20/11/2013) — Andrea Omicini (Andrea Omicini) •  Event-driven Programming for Situated MAS with ReSpecT Tuple Centres (ABC:MI 2013 @ MATES 2013, 17/09/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. Preliminary Notes (ICCCI 2013, 11/09/2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci) •  A core calculus of computational fields (FOCLASA 2013 @ ESOCC 2013, 11/09/2013) — Mirko Viroli (Mirko Viroli, Ferruccio Damiani, Jacob Beal) •  Coordination for Situated MAS: Towards an Event-driven Architecture (PNSE'13, 25/06/2013) — Andrea Omicini (Andrea Omicini, Stefano Mariani) •  WP1 at M32: State and Plans (M32 Consortium Meeting, 18/06/2013) — Mirko Viroli (Mirko Viroli) •  SAPERE Analysis tools (M32 SAPERE Consortium Meeting, 18/06/2013) — Danilo Pianini (Danilo Pianini) •  SAPERE Methodology: Towards the Final Version (M32 Consortium Meeting, 18/06/2013) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  Engineering Computational Ecosystems (2nd year PhD seminar) (PhD, 2nd year seminar, 07/06/2013) — Danilo Pianini (Danilo Pianini) •  Probabilistic Modular Embedding for Stochastic Coordinated Systems (COORDINATION 2013, 04/06/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Complexity & Interaction: Blurring Borders between Physical, Computational, and Social Systems. A Coordination Perspective (COORDINATION 2013, 03/06/2013) — Andrea Omicini (Andrea Omicini, Pierluigi Contucci) •  Engineering Self-organising Coordination: A Computational Field Approach (COORDINATION 2013, 03/06/2013) — Mirko Viroli (Mirko Viroli) •  From Engineer to Alchemist, There and Back Again: An Alchemist Tale (24/05/2013) — Danilo Pianini (Danilo Pianini) •  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (LSA Course 2012/2013, 17/05/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Molecules of Knowledge: a Novel Approach over Knowledge Management (PiM 2013, 11/05/2013) — Stefano Mariani (Stefano Mariani) •  Engineering Pervasive Multiagent Systems in SAPERE (EMAS 2013 @ AAMAS 2013, 07/05/2013) — Mirko Viroli (Ambra Molesini, Andrea Omicini, Mirko Viroli, Franco Zambonelli) •  Promoting Space-Aware Coordination: ReSpecT as a Spatial-Computing Virtual Machine (SCW 2013 @ AAMAS 2013, 06/05/2013) — Stefano Mariani (Stefano Mariani, Andrea Omicini) •  Composing gradients for a context-aware navigation of users in a smart-city (SCW 2013 @ AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna) •  Engineering Confluent Computational Fields: from Functions to Rewrite Rules (SCW 2013 @ AAMAS 2013, 06/05/2013) — Mirko Viroli (Mirko Viroli) •  MoK: Stigmergy Meets Chemistry to Exploit Social Actions for Coordination Purposes (SOCIAL:PATH @ AISB 2013, 03/04/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Spatial Computing with Chemistry (Bioinformatics LabMeeting, 26/03/2013) — Mirko Viroli (Mirko Viroli, Sara Montagna) •  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (DEI, Politecnico di Bari, 22/03/2013) — Andrea Omicini (Stefano Mariani, Andrea Omicini) •  Probabilistic Embedding: Experiments with Tuple-based Probabilistic Languages (CM 2013 @ SAC 2013, 21/03/2013) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Autonomy, Interaction & Complexity in Computational Systems. Preliminary Notes (LaPfAMS 2013, 06/03/2013) — Andrea Omicini (Andrea Omicini) •  SAPERE Methodology - The Complete Process (SAPERE Meeting , 20/02/2013) — Ambra Molesini (Ambra Molesini) •  WP1 tools: current status and ongoing work (SAPERE General Meeting, 20/02/2013) — Danilo Pianini (Danilo Pianini) •  SAPERE Methodology: Status & Next Steps (General SAPERE Meeting, 20/02/2013) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  Glocality: emergent behaviours (CINA kickoff meeting, 06/02/2013) — Mirko Viroli (Mirko Viroli) •  SAPERE project (and relevance for CINA) (CINA kickoff meeting, 06/02/2013) — Mirko Viroli (Mirko Viroli) •  Engineering Agent-Oriented Technologies and Programming Languages for Computer Programming and Software Development (30/01/2013) — Andrea Santi (Andrea Santi) •  Agent Models with Interaction: The Thermodynamics and Statistical Mechanics Perspectives (APICe Meeting, 15/01/2013) — Pierluigi Contucci (Pierluigi Contucci) •  The TuCSoN Coordination Model & Technology. A Guide (TuCSoN, 09/01/2013) — Andrea Omicini, Stefano Mariani (Andrea Omicini, Stefano Mariani) •  Nature-inspired Coordination for Complex Multi-Agent Systems (EUMAS 2012, 18/12/2012) — Andrea Omicini (Andrea Omicini) •  Engineering Computational Ecosystems (Vieni Via Con Noi 2012, 05/11/2012) — Danilo Pianini (Danilo Pianini) •  Recipes for Sabayon: cook your own Linux distro within two hours (Linux Day 2012, 27/10/2012) — Danilo Pianini (Danilo Pianini) •  Programming abstractions for integrating autonomous and reactive behaviors: an agent-oriented approach (AGERE! 2012 @ SPLASH 2012, 21/10/2012) — Andrea Santi (Andrea Santi) •  Nature-inspired Coordination for Complex Distributed Systems (IDC 2012, 26/09/2012) — Andrea Omicini (Andrea Omicini) •  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (IDC 2012, 25/09/2012) — Stefano Mariani (Andrea Omicini, Stefano Mariani) •  An Eclipse-based IDE for Agent-Oriented Programming in simpAL (21/09/2012) — Andrea Santi (Andrea Santi) •  Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (WOA 2012, 19/09/2012) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez Marquez) •  A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (WOA 2012, 19/09/2012) — Danilo Pianini (Matteo Casadei, Mirko Viroli) •  Programming Distributed Multi-Agent Systems in simpAL (WOA 2012, 18/09/2012) — Andrea Santi (Andrea Santi, Alessandro Ricci) •  SAPERE WP6 in Y2 – Preview (SAPERE Meeting, SASO 2012, 12/09/2012) — Andrea Omicini (Andrea Omicini) •  Gradient-based Self-organisation Patterns of Anticipative Adaptation (SASO 2012, 11/09/2012) — Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna) •  WP1 @ M24 Progresses and Review (SAPERE Meeting, SASO 2012, 10/09/2012) — Mirko Viroli (Mirko Viroli) •  Self-Organising News Management: The Molecules of Knowledge Approach (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Stefano Mariani (Stefano Mariani, Andrea Omicini) •  Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli) •  Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Andrea Omicini (Andrea Omicini, Marco Alberti) •  SAPERE Methodology Alpha Version (SAPERE Meeting @ SASO 2012, Lyon, France, 10/09/2012) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  Alchemist simulator: ready for M20 release (General SAPERE Meeting, 11/06/2012) — Danilo Pianini (Danilo Pianini) •  SAPERE WP6 Issues (Joint Meeting, 11/06/2012) — Sara Montagna (Andrea Omicini, Sara Montagna) •  WP1 @ M21. Progresses and Plan (General SAPERE Meeting, 11/06/2012) — Mirko Viroli (Mirko Viroli) •  Conceptual approaches to Semantic IR System (Meeting with Stefano Mariani and Andrea Omicini, 06/06/2012) — Antonella Carbonaro (Antonella Carbonaro) •  Molecules of Knowledge: Self-Organisation in Knowledge-Intensive Environments (Meeting with Antonella Carbonaro & Andrea Omicini, 06/06/2012) — Stefano Mariani (Stefano Mariani) •  Multi-Agent Oriented Reorganisation within the JaCaMo infrastructure (ITMAS 2012 @ AAMAS 2012, 05/06/2012) — Olivier Boissier (Alexandru Sorici, Gauthier Picard, Olivier Boissier, Andrea Santi, Jomi F. Hübner) •  Typing Multi-Agent Programs in simpAL (PROMAS 2012 @ AAMAS 2012, 05/06/2012) — Andrea Santi (Andrea Santi) •  The simulation alchemy (08/05/2012) — Danilo Pianini (Danilo Pianini, Sara Montagna) •  Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012 @ SAC 2012, 29/03/2012) — Mirko Viroli (Andrea Omicini) •  Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry (SAC 2012, 28/03/2012) — Mirko Viroli (Mirko Viroli) •  A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation (SAC 2012, 28/03/2012) — Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna) •  Self-adaptive Service Ecosystems for Pervasive Computing (DISI seminars, 15/03/2012) — Mirko Viroli (Mirko Viroli) •  Agent-Oriented Computing (DISI seminars, 15/03/2012) — Alessandro Ricci (Alessandro Ricci, Andrea Santi) •  SAPERE WP6 Towards M24 (General SAPERE Meeting, 28/02/2012) — Andrea Omicini (Andrea Omicini) •  WP1 @ M17. Progresses and Plan (General SAPERE Meeting, 27/02/2012) — Mirko Viroli (Mirko Viroli) •  SAPERE Methodology: A first sketch (General SAPERE Meeting, Frankfürt, Germany, 27/02/2012) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  Alchemist simulator (General SAPERE Meeting, 27/02/2012) — Danilo Pianini (Danilo Pianini) •  FuturICT: An Introduction (InfoDay ICT 2012, 14/02/2012) — Andrea Omicini (Andrea Omicini) •  UniBo middleware prototype and eco-laws language (WP4 Meeting in Linz, Austria, 29/11/2011) — Danilo Pianini (Danilo Pianini) •  WP6 – Dissemination, Collaboration & Exploitation (Review Y1, Bruxelles, Belgium, 15/11/2011) — Andrea Omicini (Andrea Omicini, Roberta Centonze, Franco Zambonelli, Marco Mamei) •  From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach (The AWARENESS Virtual Lecture Series, 11/11/2011) — Franco Zambonelli (Franco Zambonelli) •  Coordination Models and Technologies toward Self-Organising Systems (The AWARENESS Virtual Lecture Series, 04/11/2011) — Andrea Omicini (Andrea Omicini) •  JaCa-Android: an agent-based platform for building smart mobile applications (AGERE! 2011 @ SPLASH 2011, 24/10/2011) — Andrea Santi (Andrea Santi) •  Designing a general-purpose programming language based on agent-oriented abstractions: the simpAL project (AGERE! 2011 @ SPLASH 2011, 24/10/2011) — Andrea Santi (Andrea Santi) •  Exploiting the JaCaMo framework for realising an adaptive room governance application (AGERE! 2011 @ SPLASH 2011, 24/10/2011) — Andrea Santi (Alexandru Sorici, Olivier Boissier, Gauthier Picard, Andrea Santi) •  Agent-Oriented Programming for Developing Modern Software Systems (21/10/2011) — Andrea Santi (Andrea Santi) •  Agent-Oriented Computing: Agents as a Paradigm for Computer Programming and Software Development (26/09/2011) — Andrea Santi (Andrea Santi) •  Exploiting the Eclipse Ecosystem for Agent-Oriented Programming (6th Workshop of the Italian Eclipse Community (Eclipse-IT 2011), 23/09/2011) — Andrea Santi (Andrea Santi, Antonio Natali) •  A Chemical Inspired Simulation Framework for Pervasive Services Ecosystems (Federated Conference on Computer Science and Information Systems in Szczecin, Poland (FedCSIS 2011), 19/09/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini) •  Coordination Models and Technologies toward Self-Organising Systems (CILC 2011, 31/08/2011) — Andrea Omicini (Andrea Omicini) •  Towards Adaptive Service Ecosystems with Agreement Technologies (Internal Meeting, DEIS, Bologna, 24/08/2011) — José Santiago Pérez-Sotelo (José Santiago Pérez-Sotelo, Carlos E. Cuesta, Sascha Ossowski) •  A Coordination Approach to Spatially-Situated Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini (Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli) •  A Simulation Framework for Pervasive Service Ecosystems (WOA 2011, 06/07/2011) — Danilo Pianini (Sara Montagna, Mirko Viroli, Danilo Pianini) •  BaSi: Multi-Agent Based Simulation for Medieval Battles (WOA 2011, 05/07/2011) — Andrea Omicini (Ambra Molesini, Andrea Omicini, Enrico Denti) •  Coordination Models and Languages: From Parallel Computing to Self-Organisation (WOA 2011, 04/07/2011) — Andrea Omicini (Andrea Omicini) •  Tesi on line (Consiglio di Facoltà della Seconda Facoltà di Ingegneria, Forlì, FC, 30/06/2011) — Andrea Omicini (Andrea Omicini) •  WP1 Activities: General state, details on the model, future plans (SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011) — Mirko Viroli (Mirko Viroli) •  A Prototype of LSA-space (SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011) — Elena Nardini (Elena Nardini) •  SAPERE WP6 @ M9 (SAPERE M9 Meeting, University of St. Andrews, UK, 24/06/2011) — Andrea Omicini (Andrea Omicini) •  An application of the WP1 computational model to a real scenario (SAPERE M9 Meeting, University of St. Andrews, UK, 23/06/2011) — Sara Montagna (Sara Montagna) •  Alchemist is a SAPERE-oriented simulator (SAPERE M9 Meeting, University of St. Andrews, UK, 23/06/2011) — Danilo Pianini (Danilo Pianini) •  Alchemist is a SAPERE-oriented simulator (WP1 Workshop, Cesena, Italy, 14/06/2011) — Danilo Pianini (Danilo Pianini) •  Dynamic Social Networks: Modeling Trust, Shocks and Hype (Laboratorio di Sistemi e Applicazioni 2010/2011, 07/06/2011) — Marco Cremonini, Luca Allodi (Marco Cremonini, Luca Allodi) •  Semantic and Fuzzy Coordination Through Programmable Tuple Spaces (Seminar for Laboratory of Systems and Applications 2010-2011, 31/05/2011) — Elena Nardini (Elena Nardini) •  Bio-ICT Convergence: Filling the Gap Between Computer Science and Biology (Seminar for Laboratory of Systems and Applications 2010-2011, 24/05/2011) — Sara Montagna (Sara Montagna) •  Multi-level models and infrastructures for simulating biological system development (DEIS, Università di Bologna, Ph.D. Defense (XXIII Cycle), 28/04/2011) — Sara Montagna (Sara Montagna) •  Semantic Coordination Through Programmable Tuple Spaces (28/04/2011) — Elena Nardini (Elena Nardini) •  SAPERE WP6 Short Overall Report – M1-M4 (SAPERE Meeting, Université de Genève, Suisse, 20/01/2011) — Andrea Omicini (Andrea Omicini) •  WP1-WP2 Boundary. Spatiality in the SAPERE model and in eco-laws (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 (SAPERE M4 Meeting, Université de Genève, Suisse, 19/01/2011) — Mirko Viroli (Mirko Viroli) •  Multi-Level Models and Infrastructures for Simulating Biological System Development (PhD Third Year Ending Seminar, 17/01/2011) — Sara Montagna (Sara Montagna) •  Semantic Coordination Through Programmable Tuple Spaces (PhD Third Year Ending Seminar, 17/01/2011) — Elena Nardini (Elena Nardini) •  Description Logics (17/12/2010) — Elena Nardini (Elena Nardini) •  SAPERE: Self-aware Pervasive Service Ecosystems (AWARE Meeting, Vrije Universiteit Amsterdam, The Netherlands, 14/12/2010) — Franco Zambonelli (Franco Zambonelli) •  Simulation & Multi-Agent Systems: An Introduction (Multiagent Systems LM, 14/12/2010) — Sara Montagna (Sara Montagna) •  Tutorial on Semantic Web (W3C, 25/11/2010) — Ivan Herman (Ivan Herman) •  Multi-level Approaches for a Deep Analysis of Morphogenesis in Living Systems (Corso di Biologia Molecolare della Cellula, 08/11/2010) — Sara Montagna (Sara Montagna) •  SAPERE: WP1 - Model & Methodology (SAPERE Kick-Off Meeting, Modena, Italy, 5-7 October 2010, 05/10/2010) — Mirko Viroli (Mirko Viroli) •  SAPERE: WP6 - Dissemination (SAPERE Kick-Off Meeting, 05/10/2010) — Andrea Omicini (Andrea Omicini, Franco Zambonelli) •  Self Organization in Coordination Systems using a WordNet-based Ontology (SASO 2010, 30/09/2010) — Sascia Virruso, Danilo Pianini (Danilo Pianini, Sascia Virruso, Ronaldo Menezes, Andrea Omicini, Mirko Viroli) •  Documenting SODA: An Evaluation of the Process Documentation Template (WOA 2010, 07/09/2010) — Ambra Molesini (Ambra Molesini, Andrea Omicini) •  A Self-Organising Infrastructure for Chemical-Semantic Coordination (WOA 2010, 07/09/2010) — Elena Nardini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) •  A Multiscale Agent-based Model of Morphogenesis in Biological Systems (WOA 2010, 06/09/2010) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Sara Montagna) •  Exploiting Agent-Oriented Programming for Developing Android Applications (WOA 2010, 06/09/2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci) •  From Coordination to Semantic Self-Organisation: A Perspective on the Engineering of Complex Systems (Mini-scuola WOA 2010 @ WOA 2010, 05/09/2010) — Andrea Omicini (Andrea Omicini) •  JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications (01/09/2010) — Andrea Santi (Andrea Santi, Marco Guidi, Alessandro Ricci) •  Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications (01/09/2010) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci) •  Developing Web Client Applications with JaCa-Web (WOA 2010, 01/09/2010) — Andrea Santi (Mattia Minotti, Andrea Santi, Alessandro Ricci) •  From Objects to Agents: Rebooting Agent-Oriented Programming for Software Development (25/08/2010) — Andrea Santi (Andrea Santi) •  Agents & MAS: An Introduction (EASSS 2010, 23/08/2010) — Andrea Omicini (Andrea Omicini) •  Multi-Agent Programming (The 12th European Agent Systems Summer School (EASSS 2010) , 23/08/2010) — Olivier Boissier, Rafael H. Bordini, Mehdi Dastani, Jomi Hübner, Alessandro Ricci (Olivier Boissier, Rafael H. Bordini, Mehdi Dastani, Jomi Hübner, Alessandro Ricci) •  Agent Oriented Software Engineering (Cours for Ph.D. Student of the Doctorate of Electronic, Computer science and Telecommunications Engineerin, 28/06/2010) — Ambra Molesini (Ambra Molesini) •  A Framework for Modelling and Simulating Networks of Cells (CS2Bio 2010, 10/06/2010) — Sara Montagna (Sara Montagna) •  Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (Course “Informatics System Design” (2009-2010), 25/05/2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta) •  Action and Perception in Multi-Agent Programming Languages: From Exogenous to Endogenous Environments (PROMAS 2010 @ AAMAS 2010, 11/05/2010) — Andrea Santi (Alessandro Ricci, Andrea Santi, Michele Piunti) •  Designing and Programming Organizational Infrastructures for Agents situated in Artifact-based Environments - European PhD (PhD Dissertation, 30/04/2010) — Michele Piunti (Michele Piunti) •  Towards model-driven communications (International Conference on Software Engineering and Technologies (ICSET 2010), 29/04/2010) — Ambra Molesini (Antonio Natali, Ambra Molesini) •  Computational Agents & Artefacts (CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica, 13/04/2010) — Andrea Omicini (Andrea Omicini) •  Coordination in Open and Dynamic Environments with TuCSoN Semantic Tuple Centres (CM 2010 @ SAC 2010, 26/03/2010) — Elena Nardini (Elena Nardini, Mirko Viroli, Emanuele Panzavolta) •  Chemical-Inspired Self-Composition of Competing Services (SAC 2010, 26/03/2010) — Matteo Casadei (Mirko Viroli, Matteo Casadei) •  Building an Agent Methodology from Fragments: the MEnSA experience (AOMIP 2010 @ SAC 2010, 25/03/2010) — Ambra Molesini (Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini) •  Risk Analysis and Deployment Security Issues in a Multi-Agent System (2nd International Conference on Agents and Artificial Intelligence (ICAART 2010), 22/01/2010) — Ambra Molesini (Ambra Molesini, Elena Nardini, Marco Prandini, Enrico Denti) •  Designing and Programming Organisational Infrastructures for Agents situated in Artifact-based Environments (PhD XXII cycle seminars, DEIS Università di Bologna, 14/01/2010) — Michele Piunti (Michele Piunti) •  Agent-based Models, Technologies and Methodologies for the Engineering of Software Systems in the Context of Open Scenarios (Seminar for the end of the Second Year of the Phd Activity, 14/01/2010) — Elena Nardini (Elena Nardini) •  Generic Programming Constructs and Applications in Object-Oriented Languages (DEIS, Università di Bologna, Ph.D. Final Seminar (XXII Cycle), 13/01/2010) — Maurizio Cimadamore (Maurizio Cimadamore) •  Towards Semantic Self-Organisation: A Perspective for the Coordination of Complex Systems (CETINIA 2009, 02/12/2009) — Andrea Omicini (Elena Nardini, Andrea Omicini, Mirko Viroli, Matteo Casadei) •  Coordination in Open and Dynamic Environments via TuCSoN Semantic Tuple Centres (Collaboration with Michael Schumacher at Technopole in Sierre, Western Switzerland, 18/11/2009) — Elena Nardini (Elena Nardini) •  Towards a framework for multi-level modelling in Computational Biology (PhD Second Year Ending Seminar, 14/10/2009) — Sara Montagna (Sara Montagna) •  Un approccio ad agenti per l'ingegnerizzazione di applicazioni SOA/WS (14/10/2009) — Andrea Santi (Andrea Santi) •  An Agent-Based Modeling Approach for the Exploration of Topologies of Biological Neural Networks (APICe meeting, 22/09/2009) — Önder Gürcan (Önder Gürcan) •  Embodying Organisations in Multi-Agent Work Environments (IAT 2009, 17/09/2009) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner) •  Embodied Organisations in MAS Environments (MATES 2009, 11/09/2009) — Michele Piunti (Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hübner) •  Programming SOA/WS Systems with BDI Agents and Artifact-Based Environments (09/09/2009) — Andrea Santi (Alessandro Ricci, Andrea Santi, Michele Piunti) •  Exploiting Agent Observability in Multi-Agent System Programming (MATES 2009, 09/09/2009) — Michele Piunti (Alessandro Ricci, Michele Piunti) •  Agent Oriented Software Engineering (European Agent Systems Summer School (EASSS 2009) , 31/08/2009) — Ambra Molesini, Massimo Cossentino (Ambra Molesini, Massimo Cossentino) •  Agents & MAS: An Introduction (EASSS 2009, 31/08/2009) — Andrea Omicini (Andrea Omicini) •  SOA/WS Applications using Cognitive Agents working in CArtAgO Environments (WOA 2009, 10/07/2009) — Andrea Santi (Andrea Santi, Michele Piunti) •  A Computational Framework for Multilevel Morphologies (Morphogenetic Engineering Workshop, 19/06/2009) — Sara Montagna (Sara Montagna, Mirko Viroli) •  Design of SOA/WS applications using an Agent-based approach (Lecture Seminar in the context of Distributed System - A.A. 2008/2009, 12/06/2009) — Andrea Santi, Michele Piunti (Andrea Santi, Michele Piunti) •  Programming Agents with Jason (aliCE Workshop - "Programming multi-agents: agents, environment, organisations", 10/06/2009) — Jomi Hübner (Jomi Hübner) •  Environment Programming in MAS with CArtAgO (aliCE Workshop on "Programming multi-agent systems: agents, environment, organisations", 10/06/2009) — Alessandro Ricci (Alessandro Ricci, Michele Piunti) •  Organisation-Oriented Programming of MAS (aliCE Workshop - "Programming Multi-Agent Systems: Agents, Environment, Organisations", 10/06/2009) — Olivier Boissier (Olivier Boissier, Jomi F. Hübner, Rosine Kitio, Michele Piunti, Alessandro Ricci, Jaime Simão Sichman) •  A Computational Framework for Modelling (and Simulating) Multicellular Biochemistry (Congress on Evolutionary Computation (CEC 2009), 21/05/2009) — Mirko Viroli (Sara Montagna, Mirko Viroli) •  An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing (The 2009 IEEE Concress on Evolutionary Computation (CEC 2009), 20/05/2009) — Mirko Viroli (Mirko Viroli, Matteo Casadei) •  Agent Oriented Software Engineering Methodologies (AAMAS 2009, 13/05/2009) — Andrea Omicini (Andrea Omicini) •  Introducing Relevance Awareness in BDI Agents (PROMAS 2009 @ AAMAS 2009, 12/05/2009) — Michele Piunti (Emiliano Lorini, Michele Piunti) •  Un approccio multi-agente / sistemi blackboard per l'esplorazione di problemi complessi in biologia strutturale (Aula 2, via Venezia 260, Cesena, Italy, 22/04/2009) — Pedro Pablo González Pérez (Pedro Pablo González Pérez) •  Embodying Organisations - an Introduction (Seminar at Ecole des Mines - G2I, St-Etienne (France), 10/04/2009) — Michele Piunti (Michele Piunti) •  Self-Organising Coordination Systems (PhD Final Dissertation, 08/04/2009) — Matteo Casadei (Matteo Casadei) •  Situated Tuple Centres in ReSpecT (SAC 2009, 10/03/2009) — Andrea Omicini (Matteo Casadei, Andrea Omicini) •  A Framework for Modelling and Implementing Self-Organising Coordination (SAC 2009, 10/03/2009) — Matteo Casadei (Andrea Omicini, Mirko Viroli, Matteo Casadei) •  Situated Process Engineering for Integrating Processes from Methodologies to Infrastructures (AOMP 2009 @ SAC 2009, 09/03/2009) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  An Agent-based Application for Home Intelligence (ICAART 2009, 20/01/2009) — Andrea Omicini (Andrea Omicini, Ambra Molesini) •  From Objects based Middleware to Artifact based Work Environment in Multi-Agent Systems (Extensible Object Systems for Dynamic and Unpredictable Environments (EOS-DUE) Final Meeting, Torino , 09/01/2009) — Michele Piunti (Andrea Omicini, Michele Piunti, Mirko Viroli) •  From Agents to Artifacts Back and Forth: Purposive and Doxastic Use of Artifacs in MAS (EUMAS 2008, 18/12/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti) •  SODA+TuCSoN - Situated Process Engineering for Integrating Processes: from Methodologies to Infrastructures (AOSE TFG6, 17/12/2008) — Ambra Molesini (Ambra Molesini, Elena Nardini, Enrico Denti, Andrea Omicini) •  Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents playing in CARTAGO Environments (IAT 2008, 11/12/2008) — Michele Piunti (Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr) •  Programming BDI agents in Jadex (Multi-Agent Systems (principles and applications) in Master Web Intelligence (Université Jean Monnet and Ecole Nationale Superieure des Mines St-Etienne) , 25/11/2008) — Michele Piunti (Michele Piunti) •  Coordination in Multi-agent Systems (Seminar for Multi-agent System Course, 20/11/2008) — Elena Nardini (Elena Nardini, Andrea Omicini) •  MEnSA: Résumé of Activities (MEnSA Meeting, ICAR-CNR, Palermo, Italy, 19/11/2008) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  SODA+TuCSoN: Methodologies' and Infrastructures' Processes (4th MEnSA Meeting, Palermo, ICAR-CNR, 19/11/2008) — Ambra Molesini (Ambra Molesini) •  Model-driven Generation of Graphical Maps for e-Contents (3rd Italian Workshop on Eclipse Technologies, 18/11/2008) — Enrico Oliva (Antonio Natali, Enrico Oliva, Cristina Bonanni) •  From Agents to Artifacts Back and Forth: Operational and Doxastic Use of Artifacts in MAS (WOA 2008, 18/11/2008) — Andrea Omicini (Alessandro Ricci, Michele Piunti) •  Advancing Object-Oriented Standards Toward Agent-Oriented Methodologies: SPEM 2.0 on SODA (WOA 2008, 17/11/2008) — Ambra Molesini (Andrea Omicini, Ambra Molesini) •  Arguments and Artifacts for Dispute Resolution (WOA 2008, 17/11/2008) — Andrea Omicini (Enrico Oliva, Andrea Omicini) •  Towards Filling the Gap between AOSE Methodologies and Infrastructures: Requirements and Meta-model (WOA 2008, 17/11/2008) — Fabiano Dalpiaz (Fabiano Dalpiaz, Ambra Molesini, Mariachiara Puviani, Valeria Seidita) •  DA A AD A : Towards a Cognitive Use of Artifacts in MAS (Séminaires G2I, Ecole Nationale Superieure des Mines St-Etienne, 13/11/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti) •  Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks (SASO 2008, 23/10/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei) •  A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies (ICL 2008, 26/09/2008) — Elena Nardini (Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri) •  RBAC-MAS & SODA: Experimenting RBAC in AOSE (ESAW 2008, 25/09/2008) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti) •  Cognitive Artifacts for Intelligent Agents in MAS: Exploiting Relevant Information Residing in Environments (Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), 17/09/2008) — Emiliano Lorini (Alessandro Ricci, Michele Piunti) •  Lineage Commitment of Hematopoietic Stem Cells: An Agent-based Model (MAS&BIO 2008 @ AI*IA 2008, 11/09/2008) — Andrea Roli (Andrea Omicini, Sara Montagna) •  Adaptive Coordination Models for Pervasive Environments (PerAda Summer School 2008, 07/09/2008) — Andrea Omicini (Andrea Omicini) •  Goal Directed Agents using Artifacts (Dagstuhl Seminar PRogramming Multi-Agent Systems, 04/09/2008) — Michele Piunti (Alessandro Ricci, Michele Piunti) •  ReSpecT: Teaching The Old Dog New Tricks (Dagstuhl Seminar 08361, 04/09/2008) — Andrea Omicini (Andrea Omicini) •  A Framework for Collaborative-Learning Systems Based on Agent Technologies (KCEC 2008, 01/09/2008) — Elena Nardini (Elena Nardini, Andrea Omicini) •  Environment Programming in MAS: CARTAGO and Friends (Dagstuhl Seminar 08361, "Programming Multi-Agent Systems", 04/08/2008) — Alessandro Ricci (Alessandro Ricci, Michele Piunti) •  Experiment with Stochastic Prolog as Simulation Language (CILC 2008, 10/07/2008) — Enrico Oliva (Enrico Oliva, Luca Gardelli, Andrea Omicini, Mirko Viroli) •  Scenari di sviluppo delle strategie web (DSAW, Alma Mater Studiorum-Università di Bologna, 03/07/2008) — Luca Garlaschelli (Luca Garlaschelli, Francesca Mazzaglia) •  MEnSA: Résumé of Activities (3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia, 30/06/2008) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  Case Study in SODA (3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia, 30/06/2008) — Ambra Molesini (Ambra Molesini) •  WP4: Case Study – Virtual Laboratory for Protein Structure Prediction ( 3rd MEnSA Meeting, Modena, Faculty of Engineering, Università degli Studi di Modena e Reggio Emilia, 30/06/2008) — Sara Montagna (Sara Montagna) •  Situating A&A ReSpecT for Pervasive Environment Applications (CoMA 2008 @ WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Andrea Omicini) •  Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks (CoMA 2008 @ WET ICE 2008, 24/06/2008) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Marco Santarelli) •  A Conceptual Framework for Collaborative Learning Systems (Plenary meeting of the Minerva-Reset project, 26/05/2008) — Elena Nardini (Elena Nardini, Andrea Omicini) •  ReSpecT in the A&A Perspective (Weekly aliCE Meetings, 23/05/2008) — Matteo Casadei (Andrea Omicini, Matteo Casadei) •  Argumentation and Artifact for Dialogue Support (ArgMAS 2008 @ AAMAS 2008, 12/05/2008) — Enrico Oliva (Enrico Oliva, Mirko Viroli, Andrea Omicini, Peter McBurney) •  A Logic Programming Model for Web Resources (WEBIST 2008, 04/05/2008) — Giulio Piancastelli (Giulio Piancastelli, Andrea Omicini) •  Meta-Models, Environment and Layers: Agent-Oriented Engineering of Complex Systems (PhD Final Examination, 07/04/2008) — Ambra Molesini (Ambra Molesini) •  Argumentation and Artifacts for Intelligent Multi-agent Systems (Final PhD presentation, 07/04/2008) — Enrico Oliva (Enrico Oliva) •  Capabilities for Coordination: From Rights to Responsibilities (APICe Meeting, Cesena, Italy, 27/03/2008) — Alan Wood (Alan Wood) •  SPEM on Test: The SODA Case Study (SAC 2008, 19/03/2008) — Andrea Omicini (Elena Nardini, Andrea Omicini) •  The Architecture and Design of a Malleable Object-Oriented Prolog Engine (SAC 2008, 18/03/2008) — Andrea Omicini (Giulio Piancastelli, Alex Benini, Andrea Omicini, Alessandro Ricci) •  Self-Organising Approaches to Coordination (Informatics System Design LS - Second Faculty of Engineering at Università di Bologna (Cesena), 06/03/2008) — Matteo Casadei (Mirko Viroli, Matteo Casadei) •  Toward a Framework for Collaborative Learning Based on Agent-based Technologies (INTED 2008, 03/03/2008) — Elena Nardini (Elena Nardini, Andrea Omicini, Maria Cristina Matteucci) •  On the Quantitative Analysis of Architectural Stability in Aspectual Decompositions (Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), 19/02/2008) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista) •  Web Logic Programming (aliCE weekly research meetings, 31/01/2008) — Giulio Piancastelli (Giulio Piancastelli) •  MEnSA: What UNIBO has to do (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna, 22/01/2008) — Ambra Molesini (Ambra Molesini) •  MEnSA: what UNIBO has done (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna, 21/01/2008) — Ambra Molesini (Ambra Molesini) •  MEnSA: Résumé of the first year of Activities (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna , 21/01/2008) — Andrea Omicini (Ambra Molesini, Andrea Omicini) •  MEnSA: Outlook of the 2nd year of Activity (2nd MEnSA Meeting, Trento, Centro Congressi Panorama, Sardagna, 21/01/2008) — Andrea Omicini (Andrea Omicini, Ambra Molesini) •  SPEM on test: the SODA case study (EUMAS 2007, 07/12/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti) •  Maude: A Language for Concurrent Rewriting (Computational Models and Languages LM, 29/11/2007) — Matteo Casadei (Matteo Casadei) •  The Role of Formal Methods in Modeling and Simulating Today's Distributed Software Systems (Final Report about the First Two Years of Matteo Casadei's Phd Course, 06/11/2007) — Matteo Casadei (Matteo Casadei) •  From AOSE Methodologies to MAS Infrastructures: The SODA Case Study (ESAW 2007, 24/10/2007) — Andrea Omicini (Andrea Omicini, Ambra Molesini) •  Report on Technological tools/Platform usage (Project meeting, 22/10/2007) — Elena Nardini (Andrea Omicini, Elena Nardini) •  Using Eclipse in Building Model-driven e-Learning Supports (2rd Italian Workshop on Eclipse Technologies, 05/10/2007) — Enrico Oliva (Enrico Oliva, Antonio Natali) •  Software Architecture (aliCE Meeting, 03/10/2007) — Ambra Molesini (Ambra Molesini) •  On the Interplay of Crosscutting and MAS-Specific Styles (First European Conference on Software Architecture (ECSA 2007), 25/09/2007) — Alessandro Garcia (Ambra Molesini, Alessandro Garcia, Christina Chavez, Thais Batista) •  Agents & Artifacts: A Meta-Model for Agent-Oriented Computing (Mini-scuola WOA 2007 @ WOA 2007, 23/09/2007) — Andrea Omicini (Andrea Omicini) •  SPEM on test: the SODA case study (Incontri settimanali aliCE, 21/09/2007) — Elena Nardini (Ambra Molesini, Andrea Omicini, Elena Nardini, Enrico Denti) •  A Self-Organizing Approach to Tuple Distribution in Large-scale Tuple-space Systems (Second International Workshop on Self-Organizing Systems (IWSOS 2007), 12/09/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) •  Prototyping A&A ReSpecT in Maude (FOCLASA 2007 @ CONCUR'07, 08/09/2007) — Andrea Omicini (Matteo Casadei, Andrea Omicini, Mirko Viroli) •  About my 6 months in Lancaster (AliCE Meeting, 27/07/2007) — Ambra Molesini (Ambra Molesini) •  On the Problem of Over-clustering in Tuple-based Coordination Systems (First International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 11/07/2007) — Matteo Casadei (Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli) •  Building Smart Environments as Agent Workspaces (CoMA 2007 @ WET ICE 2007, 18/06/2007) — Giuseppe Vizzari (Andrea Omicini, Alessandro Ricci, Giuseppe Vizzari) •  Matteo Casadei's Research Activity (Weekly aliCE Meetings, 15/06/2007) — Matteo Casadei (Matteo Casadei) •  Attività svolte da Elena Nardini (aliCE weekly research meetings, 15/06/2007) — Elena Nardini (Elena Nardini) •  MEnSA - Methodologies for the Engineering of complex Software system: Agent-based approach (MEnSA Kick-off Meeting, Cesena, Hotel Casali, 04/06/2007) — Andrea Omicini (Andrea Omicini, Ambra Molesini) •  UNIBO: Multi-Agent System Infrastructure (MEnSA Kick-off Meeting, Cesena, Hotel Casali , 04/06/2007) — Ambra Molesini (Ambra Molesini) •  Co-Argumentation Artifact for Agent Societies (ArgMAS 2007 @ AAMAS 2007, 15/05/2007) — Alessandro Ricci (Enrico Oliva, Peter McBurney, Andrea Omicini) •  Designing Self-Organizing Multiagent Systems (Florida Tech: Fridays' Seminars, Spring 2007, 23/02/2007) — Matteo Casadei (Matteo Casadei) •  L’infrastruttura STIL. Presentazione dei risultati finali del progetto (Presentazione finale del progetto {{stil/}}, 13/02/2007) — Alessandro Ricci (Alessandro Ricci, Antonio Natali) •  Conference Management Case Study (Visit to Lancaster, UK, 13/02/2007) — Ambra Molesini (Ambra Molesini) •  The SODA Methodology (Visit to Lancaster, UK, 13/02/2007) — Ambra Molesini (Ambra Molesini) •  A Case of Self-Organising Environment for MAS: the Collective Sort Problem (EUMAS 2006, 15/12/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) •  OWL-S for Describing Artifacts (EUMAS 2006, 14/12/2006) — Ambra Molesini (Rossella Rubino, Ambra Molesini, Enrico Denti) •  Introduction to Maude rewriting language (Computational Models and Languages - Master Degree on Computer Science Engineering of II Faculty of Engineering at Università di Bologna (Cesena), 23/11/2006) — Matteo Casadei (Matteo Casadei) •  Agents & Artifacts: The A&A Meta-model for MAS Modelling & Engineering. Ideas & Examples (DistriNet Workshop 2006, 17/11/2006) — Andrea Omicini (Andrea Omicini) •  Tuple-based Coordination: An Introduction (Invited seminar, DISMI, Università di Modena e Reggio Emilia, 13/11/2006) — Andrea Omicini (Andrea Omicini) •  A&A for Modelling and Engineering Simulations in Systems Biology: A First Framework based on TuCSoN (MA4CS'06 @ ECCS'06, 29/09/2006) — Sara Montagna (Sara Montagna, Alessandro Ricci, Andrea Omicini) •  Collective Sorting Tuple Spaces (WOA 2006, 27/09/2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli) •  Simulation of Minority Game in TuCSoN (WOA 2006, 27/09/2006) — Andrea Omicini (Enrico Oliva, Mirko Viroli, Andrea Omicini) •  Minority Game: A Logic-Based Approach in TuCSoN (WOA 2006, 27/09/2006) — Andrea Omicini (Enrico Oliva, Mirko Viroli, Andrea Omicini) •  simpA-WS: una tecnologia ad agenti per lo sviluppo di applicazioni SOA basate su Web Services (WOA 2006, 26/09/2006) — Alessandro Ricci (Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini) •  Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (AICA 2006, 22/09/2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei) •  Software Engineering Methodologies: The Agent Approach (AICA 2006, 22/09/2006) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti) •  Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli) •  Formal ReSpecT in the A&A Perspective (FOCLASA 2006 @ CONCUR'06, 31/08/2006) — Andrea Omicini (Andrea Omicini) •  The World According To Brahms: Modeling and Simulating Work Practice (Daghstuhl Seminar 06261 “Foundations and Practice of Programming Multi-Agent Systems”, 29/06/2006) — Maarten Sierhuis (Maarten Sierhuis) •  Hierarchical Planning in BDI Agent Programming Languages: A Formal Approach (AAMAS 2006, 29/06/2006) — Sebastian Sardina (Sebastian Sardina, Lavindra de Silva, Lin Padgham) •  Distributed Workflow upon Linkable Coordination Artifacts (COORDINATION 2006, 16/06/2006) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Nicola Zaghini) •  Simulating Minority Game with TuCSoN (MAS&S'06 @ ISC'06, 05/06/2006) — Andrea Omicini (Enrico Oliva, Mirko Viroli, Andrea Omicini) •  Agents & Artifacts for Systems Biology: Toward a Framework based on TuCSoN (MAS&S'06 @ ISC'06, 05/06/2006) — Andrea Omicini (Sara Montagna, Alessandro Ricci, Andrea Omicini) •  Cognitive Stigmergy: A Framework Based on Agents and Artifacts (E4MAS 2006 @ AAMAS 2006, 08/05/2006) — Alessandro Ricci (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Luca Gardelli, Enrico Oliva) •  Linkable Coordination Artifacts for Inter-Organisational Workflow (CIOW 2006 @ AAMAS 2006, 08/05/2006) — Alessandro Ricci (Andrea Omicini, Alessandro Ricci, Nicola Zaghini) •  La coordinazione di agenti software (CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell’Informatica, Scuola di Dottorato in Scienze Giuridiche, 23/04/2006) — Andrea Omicini (Andrea Omicini) •  On the Role of Simulation in the Engineering of Self-Organising Systems: Detecting Abnormal Behaviour in MAS (WOA 2005, 15/11/2005) — Andrea Omicini (Luca Gardelli, Mirko Viroli, Andrea Omicini) •  Artefacts and Workspaces for the Engineering of Multiagent Systems (SIKS-day 2005, 11/11/2005) — Andrea Omicini (Andrea Omicini) •  SODA: A Roadmap to Artefacts (ESAW 2005, 28/10/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci) •  An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AI*IA 2005, 23/09/2005) — Andrea Omicini (Mirko Viroli, Andrea Omicini, Alessandro Ricci) •  1956-2006: Towards the 50th Anniversary of AI Birth (AI*IA 2005, 22/09/2005) — Andrea Omicini (Andrea Omicini) •  MAS Meta-models on Test: UML vs. OPM in the SODA Case Study (CEEMAS 2005, 17/09/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti) •  Artefacts in Agent-Oriented Software Engineering (AL3-TF3, 16/09/2005) — Ambra Molesini (Ambra Molesini) •  Spaces for Programming Languages in MASs: A Perspective on Coordination, Organisation & Security (AL3-TF3, 15/09/2005) — Andrea Omicini (Andrea Omicini) •  Web Services Choreography and Choreography Description Language WS-CDL (Università di Bologna, II Faculty of Engineering, Cesena , 01/09/2005) — Enrico Oliva (Enrico Oliva) •  Implementing QoS-Adaptation in Coordination Artifacts by Enhancing Cougaar Multi-Agent Middleware (2nd IEEE Symposium on Multi-Agent Security and Survivability (MASS 2005), 29/08/2005) — John Zinky (John Zinky, Richard Shapiro, Sarah Siracuse, Todd Wright) •  A Framework for Engineering Interactions in Java-based Component Systems (FOCLASA 2005 @ CONCUR'05, 27/08/2005) — Enrico Oliva (Antonio Natali, Enrico Oliva, Alessandro Ricci, Mirko Viroli) •  Zooming Multi-Agent Systems (AOSE 2005 @ AAMAS 2005, 26/07/2005) — Ambra Molesini (Ambra Molesini, Andrea Omicini, Enrico Denti, Alessandro Ricci) •  An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts (AAMAS 2005, 27/05/2005) — Andrea Omicini (Mirko Viroli, Alessandro Ricci, Andrea Omicini) •  Field-based Coordination (Course on “Complex Adaptive Systems", 29/04/2005) — Franco Zambonelli, Marco Mamei (Franco Zambonelli, Marco Mamei) •  Agens Faber: Toward A Theory of Artifacts for MAS (CoOrg 2005 @ COORDINATION 2005, 23/04/2005) — Andrea Omicini (Andrea Omicini) •  Trends & Experiences in MAS Infrastructures (Department of Computer Science, University of Leuven, Belgium, 22/04/2005) — Andrea Omicini (Andrea Omicini) •  Time-Aware Coordination in ReSpecT (COORDINATION 2005, 20/04/2005) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli) •  Tuple-based Coordination: An Introduction (Invited seminar, DISMI, Università di Modena e Reggio Emilia, 10/02/2005) — Andrea Omicini (Andrea Omicini) •  A Conceptual Framework for Self-Organising MAS (EUMAS 2004, 16/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) •  A Conceptual Framework for Self-Organising MAS (WOA 2004, 01/12/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) •  Engineering Trust in Complex System through Mediating Infrastructures (WOA 2004, 30/11/2004) — Andrea Omicini (Alessandro Ricci, Andrea Omicini) •  Creatività tecnica come obbiettivo didattico ( KM-IA 2004, 18/11/2004) — Andrea Omicini (Andrea Omicini) •  Coordination Artifacts: Environment-based Coordination for Autonomous Agents (AAMAS 2004, 21/07/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Cristiano Castelfranchi, Luca Tummolini) •  An RBAC Approach for Securing Access Control in a MAS Coordination Infrastructure (SASEMAS'04 @ AAMAS 2004, 20/07/2004) — Alessandro Ricci (Alessandro Ricci, Mirko Viroli, Andrea Omicini) •  Current Trends & Future Challenges in Programming MAS (PROMAS 2004 @ AAMAS 2004, 20/07/2004) — Andrea Omicini (Andrea Omicini) •  “Exhibitionists” and “Voyeurs” do it better: A Shared Environment Approach for Flexible Coordination with Tacit Messages (E4MAS 2004, 19/07/2004) — Luca Tummolini (Luca Tummolini, Cristiano Castelfranchi, Alessandro Ricci, Mirko Viroli, Andrea Omicini) •  Trends & Experiences in MAS Infrastructures (Dipartimento di Informatica, Università degli Studi di Pisa, Italy, 15/07/2004) — Andrea Omicini (Andrea Omicini) •  Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (EASSS 2004, 07/07/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci) •  Trends in MAS Infrastructures (LEA 2004, 30/06/2004) — Andrea Omicini (Andrea Omicini) •  Towards Seamless Agent Middleware (TAPOCS 2004 @ WET ICE 2004, 16/06/2004) — Giovanni Rimassa (Andrea Omicini, Giovanni Rimassa) •  Sistemi ad agenti intelligenti (CIRSFID, Dottorato di Ricerca in Informatica Giuridica e Diritto dell'Informatica. Università di Bologna, Italy, 11/05/2004) — Andrea Omicini (Andrea Omicini) •  Agent Coordination Context: From Theory to Practice (AT2AI-4 @ EMCSR 2004, 13/04/2004) — Alessandro Ricci (Alessandro Ricci, Mirko Viroli, Andrea Omicini) •  Integrating Objective & Subjective Coordination in Multi-Agent Systems (CM 2004 @ SAC 2004, 17/03/2004) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Mirko Viroli, Giovanni Rimassa) •  Towards Seamless Agent Middleware (EUMAS 2003, 19/12/2003) — Andrea Omicini (Andrea Omicini, Giovanni Rimassa) •  Integrating Objective & Subjective Coordination: A Roadmap to TuCSoN (EUMAS 2003, 19/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) •  Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (EUMAS 2003, 19/12/2003) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Mirko Viroli) •  Rethinking MAS Infrastructure based on Activity Theory (EUMAS 2003, 18/12/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Sascha Ossowski) •  Integrating Organisation within a MAS Coordination Infrastructure (ESAW 2003, 29/10/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci) •  Objective Coordination for FIPA Agents (WOA 2003, 10/09/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci, Giovanni Rimassa, Mirko Viroli) •  On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study (FOCLASA 2003 @ CONCUR'03, 02/09/2003) — Mirko Viroli (Ronaldo Menezes, Andrea Omicini, Mirko Viroli) •  Task-Oriented Engineering of Coordinated Software Systems (ISPE CE 2003, 26/07/2003) — Enrico Denti (Enrico Denti, Andrea Omicini, Alessandro Ricci) •  Framing Coordination: From Transdisciplinary Models to Infrastructures and Tools for MAS Engineering (AAMAS 2003, 14/07/2003) — Andrea Omicini, Alessandro Ricci (Andrea Omicini, Alessandro Ricci) •  Formal Specification and Enactment of Security Policies through Agent Coordination Contexts (SecCo'03, 28/06/2003) — Mirko Viroli (Andrea Omicini, Alessandro Ricci, Mirko Viroli) •  Introduzione a UML (SIPEAA Meeting, 27/06/2003) — Andrea Omicini (Andrea Omicini) •  Framing Coordination: Early Notes (AL2M4, 03/02/2003) — Andrea Omicini (Andrea Omicini, Alessandro Ricci) •  Declarative Technologies for Internet and Agent Systems (Giornata GULP 2002, 25/10/2002) — Andrea Omicini (Andrea Omicini) •  Agents and Automatic Web Services (AICA 2002, 26/09/2002) — Andrea Omicini (Andrea Omicini) •  Have ReSpecT for LogOp (WOA 2002, 19/09/2002) — Andrea Omicini (Ronaldo Menezes, Andrea Omicini, Mirko Viroli) •  Activity Theory as a Framework for MAS Coordination (ESAW 2002, 17/09/2002) — Andrea Omicini (Alessandro Ricci, Andrea Omicini, Enrico Denti) •  Agent Technologies for Knowledge Management ( KM-IA 2002 @ AI*IA 2002, 11/09/2002) — Andrea Omicini (Agostino Poggi, Andrea Omicini) •  Coordination as a Service: Ontological and Formal Foundation (FOCLASA 2002 @ CONCUR'02, 24/08/2002) — Mirko Viroli (Mirko Viroli, Andrea Omicini) •  Social Issues in the Construction of Agent Systems (NETTAB 2002, 14/07/2002) — Andrea Omicini (Andrea Omicini) •  Imprese e ICT: problematiche e opportunità (Dall'E-Presence all'E-Business, 03/07/2002) — Andrea Omicini (Andrea Omicini) •  Extending ReSpecT for Multiple Coordination Flows (PDPTA'02, 27/06/2002) — Mirko Viroli (Alessandro Ricci, Andrea Omicini, Mirko Viroli) •  On the Expressiveness of Event-Based Coordination Media (PDPTA'02, 27/06/2002) — Mirko Viroli (Mirko Viroli, Andrea Omicini, Alessandro Ricci) •  A Specification Language for Agents Observable Behaviour (IC-AI'02, 26/06/2002) — Mirko Viroli (Mirko Viroli, Andrea Omicini) •  On the Notion of Agent Coordination Context (IPCUC 2001, 14/12/2001) — Alessandro Ricci (Andrea Omicini) •  Context and C3 (Communication, Coordination and Cooperation) (AL2M3, 05/12/2001) — Andrea Omicini (Andrea Omicini) •  On the Notion of Agent Coordination Context: Preliminary Notes (WOA 2001, 05/09/2001) — Andrea Omicini (Andrea Omicini) •  Objective versus Subjective Coordination in the Engineering of Agent Systems (AL2M2, 09/07/2001) — Andrea Omicini, Sascha Ossowski (Andrea Omicini, Sascha Ossowski) •  The TuCSoN Coordination Infrastructure for Virtual Enterprises (WET ICE 2001, 22/06/2001) — Enrico Denti (Alessandro Ricci, Andrea Omicini, Enrico Denti) •  Engineering Internet Agents Applications via Coordination (Agents 2001, 28/05/2001) — Andrea Omicini, Franco Zambonelli (Andrea Omicini, Franco Zambonelli) •  On Observation as a Coordination Pattern: An Ontology and a Formal Framework (CM 2001 @ SAC 2001, 14/03/2001) — Mirko Viroli (Mirko Viroli, Gianluca Moro, Andrea Omicini) •  tuProlog: A Light-weight Prolog for Internet Applications and Infrastructures (PADL'01, 11/03/2001) — Andrea Omicini (Enrico Denti, Andrea Omicini, Alessandro Ricci) •  Coordination Services for Agent Infrastructures (AL2M1, 22/02/2001) — Andrea Omicini (Andrea Omicini) •  Coordination Technologies for Internet Agents (SAINT 2001, 08/01/2001) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini) •  Sistemi ad agenti intelligenti (20/12/2000) — Andrea Omicini (Andrea Omicini) •  Formal ReSpecT (AGP 2000, 05/12/2000) — Andrea Omicini (Andrea Omicini, Enrico Denti) •  From Objects to Agent Societies: Abstractions and Methodologies for the Engineering of Open Distributed Systems (WOA 2000, 21/10/2000) — Andrea Omicini (Andrea Omicini) •  Hybrid Coordination Models for Handling Information Exchange among Internet Agents (MAS-RCRA @ AI*IA 2000, 13/09/2000) — Andrea Omicini (Andrea Omicini) •  Coordination Technologies for Internet Agents (ASA/MA 2000, 13/09/2000) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini) •  The LuCe Coordination Technology for MAS Design and Development on the Internet (COORDINATION 2000, 11/09/2000) — Andrea Omicini (Enrico Denti, Andrea Omicini, Vladimiro Toschi) •  Towards Robust Distributed Systems (PODC 2000, 19/07/2000) — Eric A. Brewer (Eric A. Brewer) •  A Coordination Infrastructure for Agent-based Internet Applications (WET ICE 2000, 16/06/2000) — Enrico Denti (Enrico Denti, Andrea Omicini) •  SODA: Societies and Infrastructures in the Analysis and Design of Agent-based Systems (AOSE 2000 @ ICSE 2000, 10/06/2000) — Andrea Omicini (Andrea Omicini) •  Coordination Technologies for Internet Agents (Agents 2000, 03/06/2000) — Franco Zambonelli, Andrea Omicini (Franco Zambonelli, Andrea Omicini) •  Ruling Agent Motion in Structured Environments (HPCN Europe 2000, 08/05/2000) — Marco Cremonini (Marco Cremonini, Andrea Omicini, Franco Zambonelli) •  Engineering Multi-Agent Systems in LuCe (MAS @ ICLP'99, 30/11/1999) — Andrea Omicini (Enrico Denti, Andrea Omicini) •  Coordination Technologies for Internet Agents (ASA/MA'99, 03/10/1999) — Franco Zambonelli, Andrea Omicini, Paolo Ciancarini (Franco Zambonelli, Andrea Omicini, Paolo Ciancarini) •  The Explorable Topology: Supporting Agent Autonomy on the Internet (WSDAAL'99, 15/09/1999) — Marco Cremonini (Marco Cremonini, Andrea Omicini, Franco Zambonelli) •  Development of Web-based Multi-Agent Systems in LuCe (AI*IA99, 14/09/1999) — Enrico Denti (Enrico Denti, Andrea Omicini, Vladimiro Toschi) •  Multi-Agent Systems on the Internet: Extending the Scope of Coordination towards Security and Topology (MAAMAW'99, 01/07/1999) — Andrea Omicini (Marco Cremonini, Andrea Omicini, Franco Zambonelli) •  Coordinazione: Ingegneria dell'interazione (LIA, DEIS, Università di Bologna, 19/05/1999) — Andrea Omicini (Andrea Omicini) •  Adopting an Object-Oriented Data Model in Inductive Logic Programming (FLAIRS 1999, 05/05/1999) — Michela Milano (Michela Milano, Andrea Omicini, Fabrizio Riguzzi) •  On the Semantics of Tuple-based Coordination Models (CM @ SAC 1999, 02/03/1999) — Andrea Omicini (Andrea Omicini) •  Tuple Centres for the Coordination of Internet Agents (CM @ SAC 1999, 02/03/1999) — Andrea Omicini (Andrea Omicini, Franco Zambonelli) •  Modelling Network Topology and Mobile Agent Interaction: an Integrated Framework (CM @ SAC 1999, 02/03/1999) — Marco Cremonini (Marco Cremonini, Andrea Omicini, Franco Zambonelli) •  Coordinazione: Ingegneria dell'interazione (Corso di Ingegneria del Software, 03/06/1998) — Andrea Omicini (Andrea Omicini) •  Embedding Intelligence into Coordination: The ACLT Model (IRST Doctorate School, 15/01/1998) — Andrea Omicini (Andrea Omicini) •  Beyond Computation: Coordination — Managing the Complexity of Interaction (IRST Doctorate School, 15/01/1998) — Andrea Omicini (Andrea Omicini) •  Programmable Coordination Media (COORDINATION 1997, 01/09/1997) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini) •  Merging Logic Programming into Web-based Technology: A Coordination-based Approach (LPNET'97 @ ICLP'97, 11/07/1997) — Enrico Denti (Enrico Denti, Antonio Natali, Andrea Omicini) •  Designing Multi-Agent Systems around an Extensible Communication Abstraction (ModelAge‘97, 17/01/1997) — Enrico Denti (Enrico Denti, Andrea Omicini) •  Coordination: Constraining the Space of Interaction (Department of Computer Science, 08/12/1996) — Andrea Omicini (Andrea Omicini) •  Integrating Knowledge Acquisition in Plan Selection (AI*IA'96, 28/09/1996) — Andrea Omicini (Antonio Natali, Andrea Omicini) •  An Object-Oriented Approach to Planning (FAPR'96 Workshop, 04/06/1996) — Andrea Omicini (Umberto Fonda, Antonio Natali, Andrea Omicini) •  An Extensible Framework for the Development of Coordinated Applications (COORDINATION'96, 15/04/1996) — Enrico Denti (Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti) •  Logic Tuple Spaces for the Coordination of Heterogeneous Agents (FroCoS 1996, 28/03/1996) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini, Marco Venuti) •  Programmazione logica a vincoli (Corso di Intelligenza Artificiale, 24/01/1996) — Andrea Omicini (Andrea Omicini) •  Models and Paradigms of Interaction (OOPSLA'95, 15/10/1995) — Peter Wegner (Peter Wegner) •  Agent Coordination and Control through Logic Theories (AI*IA'95, 11/10/1995) — Enrico Denti (Andrea Omicini, Enrico Denti, Antonio Natali) •  Object-Oriented Computations in Logic Programming (ECOOP 1994, 07/06/1994) — Andrea Omicini (Andrea Omicini, Antonio Natali) •  A Structured Logic Programming Approach to Robot Programming (PAP'94, 29/04/1994) — Antonio Natali (Enrico Denti, Antonio Natali, Andrea Omicini, Francesco Zanichelli) •  Objects with State in Contextual Logic Programming (PLILP’93, 26/08/1993) — Andrea Omicini (Antonio Natali, Andrea Omicini) •  From Modules to Structured Theories and Logic Objects: A Common “Program-based” Run-time Support (PISELP @ ICLP'93, 25/06/1993) — Andrea Omicini (Enrico Denti, Antonio Natali, Andrea Omicini) •  Exploiting Logic Programming in Robot Applications (GULP 1993, 18/06/1993) — Andrea Omicini (Antonio Natali, Andrea Omicini, Francesco Zanichelli) •  Il prototipo APPEAL (Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, Sottoprogetto SP4: Linguaggi di nuova concezione – Project Meeting, 13/06/1993) — Andrea Omicini, Antonio Natali (Andrea Omicini, Antonio Natali, Cristina Ruggieri) •  Objects with State in CSM (CompuLog 2 Meeting / WLL'93, 06/05/1993) — Andrea Omicini (Antonio Natali, Andrea Omicini) •  Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992, 18/06/1992) — Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti) •  Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini) •  Programmazione logica strutturata: analisi di una implementazione prototipale (CNR Roma, 31/05/1991) — Andrea Omicini (Evelina Lamma, Paola Mello, Andrea Omicini, Antonio Natali)