Conference Programme

Tuesday, 25

I. 10.00-11.30 Agent communication and negotiation

• Gemma Bel-Enguix, M. Adela Grando, and M. Dolores Jiménez-López: An Interaction Protocol for Agent Communication
• Miguel A. Lopez-Carmona, Juan R. Velasco, Ivan Marsa-Maestre: The Agents’ Attitudes in Fuzzy Constraint Based Automated Purchase Negotiations
• Julien Saunier, Flavien Balbo: An Environment to Support Multi-party Communications in Multi-Agent Systems
• Pancho Tolchinsky, Katie Atkinson, Peter McBurney, Sanjay Modgil, Ulises Cortés: Agents Deliberating Over Action Proposals Using the ProCLAIM Model

II 12.00-13.30 Agent-oriented software engineering, models and methodologies

• Luca Gardelli, Mirko Viroli, and Andrea Omicini: Design Patterns for Self-Organising Systems
• Jan Sudeikat, Wolfgang Renz: On Complex Networks in Software: How Agent–Orientation Effects Software Structures
• Alvaro Moratalla Anaya, Sergi Robles Martínez: Component-Based Development of Secure Mobile Agents Applications
• Tarek Jarraya, Zahia Guessoum: Towards A Model Driven Process For Multi-Agent System

III 15.55-17.03 Security and attacker models

• Guido Boella and Leendert van der Torre: An Attacker Model for Normative Multi-Agent Systems
• Martin Rehák, Michal Pechoucek, Jan Tozicka, Magda Prokopová, David Medvigy, Jirí Novotny: Agent-Based Network Protection Against Malicious Code
• Martin Rehák, Michal Pechoucek, Pavel Celeda, Vojtech Krmícek, Pavel Minarík, David Medvigy: Collaborative Attack Detection in High-Speed Networks

Wednesday, 26

IV 10.00-11.30 Coordination, teamwork and social reasoning

• Alexandre Pauchet, Amal El Fallah Seghrouchni, Nathalie Chaignaud: Simulating a Human Cooperative Problem Solving
• Felipe Meneguzzi, Michael Luck: Motivations as an abstraction of meta-level reasoning
• Paola Spoletini, Mario Verdicchio: Commitment Monitoring in a Multiagent System
• Carlos Merida-Campos, Steven Willmott: Exploring Social Networks in Request for Proposal Dynamic Coalition Formation Problems

V 12.00-13.30 Formal methods and logics in MAS

• Barbara Dunin-Keplicz, Andrzej Szalas: Towards Approximate BGI Systems
• Zining Cao: Towards an Epistemic Logic for Uncertain Agents
• Dmitry Bugaychenko, Igor Soloviev: MASL: A Logic for the Specification of Multiagent Real-Time Systems
• Nabil Hameurlain: Formalizing Context-based Behavioural Compatibility and Substitutability of Role Components in MAS

VI 15.55-17.00 Poster Session (in alphabetic order of the titles):

• Slawomir P. Maludzinski, Grzegorz Dobrowolski: Agent Environment and Knowledge in Distributed Join Calculus
• Mikhail Pashkin: Agent-Based Architecture of Intelligent Distance Learning System
• Alexander Pokahr, Lars Braubach: An Architecture and Framework for Agent-Based Web Applications
• Michael Köhler, Matthias Wester-Ebbinghaus: Closing the Gap Between Organizational Models and Multi-Agent System Deployment
• Miguel A. Lopez-Carmona, Juan R. Velasco, Ivan Marsa-Maestre: Clustering Techniques in Automated Purchase Negotiations
• Carolina González, Juan C. Burguillo, Martín Llamas: Cooperative CBR System for Sharing Student Models in Cooperative Intelligent Tutoring Systems
• Vijay Kumar Mago1 ,M. Syamala Devi, Ravinder Mehta: Decision Making System: Agent Diagnosing Child Care Diseases
• Jordi Cucurull, Ramon Martí, Sergi Robles, Joan Borrell, Guillermo Navarro: FIPA-based Interoperable Agent Mobility
• David Isern, David Sánchez, Antonio Moreno: HeCaSe2: A Multi-Agent Ontology-Driven Guideline Enactment Engine
• Martí Navarro, Vicente Julian, Vicente Botti: jTRASTO: A Development Toolkit for Real-Time Multi-Agent Systems
• Lawrence Cabac, Till Dörges, Michael Duvigneau, Christine Reese, Matthias Wester-Ebbinghaus: Models and Tools for Mulan Applications
• Carolina González, Juan C. Burguillo, Martín Llamas: Multi-Agent Architecture for Intelligent Tutoring Systems Interoperability in Health Education
• Matthew S. Berger, James H. Lawton: Multi-Agent Planning in Sokoban
• Adam Luszpaj, Edward Nawarecki, Anna Zygmunt, Jaroslaw Kozlak, Grzegorz Dobrowolski: Ontology Matching in Communication and Web Services Composition for Agent Community
• Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Benjamin Schleinzer: Plugin-Agents as Conceptual Basis for Flexible Software Structures
• Jaroslaw Kozlak, Jan Marszalek, Leszek Siwik, Maciej Zygmunt: Selection of Efficient Production Management Strategies Using the Multi-Agent Approach
• David Cabanillas, Steven Willmott: The Impact of Network Topology on Trade in Bartering Networks – Devising and Assessing Network Information Propagation Mechanisms

Thursday, 27

VII 10.00-11.30 Verifying MAS

• Sebnem Bora, Oguz Dikenelli: Experience with Feedback Control Mechanisms in Self-Replicating Multi-Agent Systems
• Emmanuel M. Tadjouddine, Frank Guerin: Verifying Dominant Strategy Equilibria in Auctions
• Constantin Enea, Catalin Dima: Abstractions of Multi-Agent Systems
• Emmanuel M. Tadjouddine: Complexity of Verifying Game Equilibria

VIII 12.00-13.30 Organizations and normative multi-agent systems

• Estefania Argente, Javier Palanca, Gustavo Aranda, Vicente Julian, Vicente Botti, Ana Garcia-Fornes, Agustin Espinosa: Supporting Agent Organizations
• Alexei Sharpanskykh: Modeling of Agents in Organizational Context
• Michael Schumacher, Laurent Grangier, and Radu Jurca: Governing Environments for Agent-based Traffic Simulations
• Jirí Hodík, Jirí Vokrínek, Jirí Bíba, Petr Becvár: Competencies and Profiles Management for Virtual Organizations Creation

IX 15.55-16.40 Applications of MAS

• Ákos Hajnal, David Isern, Antonio Moreno, Gianfranco Pedone, László Zsolt Varga: Knowledge Driven Architecture for Home Care
• Smaine Mazouzi, Zahia Guessoum, Fabien Michel, Mohamed Batouche: A Multi-agent Approach for Range Image Segmentation