Multi-Agent System Technologies - MATES 2012

MATES 2012 - The Tenth German Conference on Multi-Agent System Technologies
"Research and Innovation for a Smarter Society"

October, 10th-12th, 2012.
Trier, Germany
http://mates2012.uni-trier.de
===========================================================================

The German conference on Multi-Agent system TEchnologieS (MATES) provides an interdisciplinary forum for researchers, users (members of business and industry) and developers of intelligent agents and multi-agent systems. The thematic focus of this MATES 2012 is on technologies that enable societies and organisations to be more resilient, inter-connected and collaborative. The conference investigates technologies for truly open distributed systems --- covering a wide spectrum of approaches from self-organization and autonomous systems to agreement computing. Advances in research work, as well as prototyped or fielded systems of intelligent agents will be presented and discussed. The conference covers the whole range from theory to application of agent- and multi-agent technologies in order to promote theory and application of agents and multi-agent systems. The conference features an exhibition of practical applications with an advanced concept of agency. Integral part of the technical program will be an exhibition of a variety of tools for the development, and prototypes of all kinds of practical applications of agent and multi-agent technology at the conference venue. The conference will also host a doctoral consortium.

For the tenth time the German special interest group on Distributed Artificial Intelligence jointly with the steering committee of MATES organizes this international conference in order to promote theory and application of agents and multi-agent systems. Building on the sequence of agent-related events in Germany in the past such as VDI 1998 (Chemnitz), VertIS 2001 (Bamberg), and KI 2002 (Aachen), the MATES conference series (from 2003 to 2011) now is exclusively devoted to agents and multi-agent systems, and the cross-fertilization between agent theory and application. This year is also the 20th year of the German special inerest group on Distributed Artificial Intelligence – another reason for an inspiring conference on agents! The conference language is English.

Salve – welcome to Trier! The conference takes place in Germany’s oldest city - close to Saarbrücken, Frankfurt/Main and Luxemburg as well as the well-known Leibniz Center for Informatics (Schloss Dagstuhl).

The MATES series has been ranked by the Computing Research & Education initiative as a CORE B conference. The proceedings will be published as Springer LNCS.

Contact: mates2012@easychair.org

TOPICS OF INTEREST

MATES 2012 welcomes contributions from the field of agent-oriented computing and agent technologies. We solicit both basic as well as applied research papers on recent advances in the area of intelligent agents and multi-agent systems in general. Also papers reporting on the successful application of agent technologies in any kind of domain are very welcome. MATES 2012 encourages submissions from recent and emerging areas of interest such as a Autonomic Computing, Self-organisation and Agreement Technologies. Additionally, we encourage the submission of elaborated vision and challenge papers that discuss mid-term and long-term directions for research and application.

The topics of interest for MATES-2012 include, but are not limited to, the following:
• Agent-based simulation and analysis of social networks
• Agents and communities
• Large-scale agent-based simulation of cities, economies, etc.
• Adaptive agents and multi-agent learning
• Advanced theories of collaboration: Modelling and formation of teams, coalitions, groups, and organizations
• Agents and autonomic computing
• Agent and multi-agent architectures
• Agents and peer-to-peer computing
• Agents and pervasive computing
• Agents for Ambient Intelligence
• Agent-based service discovery, matchmaking, brokering, and composition
• Agent communication languages
• Agents for e-business and e-government
• Agent technologies in the context of service-oriented computing and architectures
• Agent to non-agent interoperability
• Agents in novel applications
• Application of agent-technologies in industrial practice
• Artificial social systems: Conventions, norms, institutions; trust and reputation
• Autonomous robots and robot teams
• Commitment, delegation, responsibility, and obligations in artificial and hybrid societies
• Complex systems and their management
• Coordination, negotiation, argumentation, and conflict resolution
• Deployed agent-based business applications
• Hybrid human and agent societies
• User modelling and interface agents
• Embodied conversational actors and believable agents
• Mobile agents
• Model-driven design of multi-agent systems
• Multi-agent-based simulation
• Multi-agent planning and scheduling
• Multi-agent platforms and tools
• Multi-agent (social) simulation and (cognitive) modelling with agents
• Practical aspects of programming agent systems: Robustness, fault tolerance, scalability and performance measurement
• Roles and structures, adaptive learning and cognition in organizational models
• Semantics of the dynamics of organizational models
• (Semantic) web services and agents
• Standards for agents and multi-agent systems

SUBMISSION DETAILS

Paper submissions to MATES-2012 will be handled using the EasyChair system at this link: www.easychair.org/conferences/?conf=mates2012.

Submissions must comply with the following requirements:

* For preparation of papers to be submitted please follow the instructions for authors available at the Springer LNCS Web page: http://www.springer.de/comp/lncs/authors.html.
* The length of each paper including figures and references shall not exceed 14 pages.
* All papers must be written in English and submitted in PDF format.
* Papers that have been accepted or are under review by other conferences or journals are not eligible for submission. However, we encourage interdisciplinary contributions submitted or presented in part to a forum outside of agent technology.

Submissions not conforming to the above instructions may be rejected without review.

Please notice that the submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will attend the conference to present the work.

MATES 2012 will include a doctoral mentoring program: This program will provide an opportunity for students to interact closely with established researchers in their fields, to receive feedback on their work and to get advice on managing their careers.

The Doctoral Mentoring Program will:

* Match each student with an established researcher who will act as a mentor.
* Allow students an opportunity to present their work to a friendly audience of other students, as well as mentors.
* Provide students with contacts and networking opportunities.

IMPORTANT DATES

Abstracts due: April 21, 2012
Full papers due: April 28, 2012
Notification: June 19, 2012
Doctoral mentoring: July 13, 2012
Camera-ready submission: July 13, 2012
Early registration: August 5, 2012
Conference: October 10-12, 2012

CONFERENCE CHAIRS

* Christian Guttmann (EBTIC - Etisalat BT Innovation Centre, Abu Dhabi, UAE)
* Ingo J. Timm (U Trier, Germany)

STEERING COMMITTEE

* Matthias Klusch (DFKI, Germany)
* Winfried Lamersdorf (U Hamburg, Germany)
* Jörg P. Müller (TU Clausthal, Germany)
* Paolo Petta (U Vienna, Austria)
* Rainer Unland (U Duisburg-Essen, Germany)
* Gerhard Weiss (Maastricht U, The Netherlands)

International Conference on Agents and Artificial Intelligence (ICAART 2011)

ICAART 2011 (International Conference on Agents and Artificial Intelligence - http://www.icaart.org) has an open call for papers, whose deadline is set for next July 08. The conference will be held in Rome, Italy next year, on January 28-30, 2011 and we hope you can participate in this prestigious conference by submitting a paper reflecting your current research.

The conference is sponsored by INSTICC and held in cooperation with the Portuguese Association for Artificial Intelligence (APPIA), the Spanish Association for Artificial Intelligence (AEPIA) and the Association for the Advancement of Artificial Intelligence (AAAI). INSTICC is member of the Workflow Management Coalition (WfMC), Foundation for Intelligent Physical Agents (FIPA) and the Object Management Group (OMG). 

The purpose of the 3rd International Conference on Agents and Artificial Intelligence (ICAART) is to bring together researchers, engineers and practitioners interested in the theory and applications in these areas. Two simultaneous but strongly related tracks will be held, covering both applications and current research work within the area of Agents, Multi-Agent Systems and Software Platforms, Distributed Problem Solving and Distributed AI in general, including web applications, on one hand, and within the area of non-distributed AI, including the more traditional areas such as Knowledge Representation, Planning, Learning, Scheduling, Perception and also not so traditional areas such as Reactive AI Systems, Evolutionary Computing and other aspects of Computational Intelligence and many other areas related to intelligent systems, on the other hand. HTCO

The conference program features a number of Keynote Lectures to be delivered by distinguished world-class researchers, including those listed below.

Submitted papers will be subject to a double-blind review process. All accepted papers will be published in the conference proceedings, under an ISBN reference, on paper and on CD-ROM support. The proceedings will be indexed by several major international indexers, including INSPEC, DBLP and we are awaiting the confirmation of indexation by Thomson Reuters Conference Proceedings Citation Index and EI.
Additionally, a short list of the best presented papers of the conference will be selected so that revised and extended versions of these papers will be published by Springer-Verlag in a CCIS Series book.
Best paper awards will be given during the conference closing session.
All published papers will be also available at the SciTePress Digital Library.

Workshops and special sessions are also invited. If you wish to propose workshop or a special session, for example based on the results of a specific research project, please contact the secretariat.


Kind regards,
Patricia Alves
ICAART Secretariat
Av. D. Manuel I, 27A 2.Esq.
2910-595 Setubal, Portugal
Tel.: +351 265 100 033
Fax: +44 203 014 8556
Email: icaart.secretariat@insticc.org



ICAART website: http://www.icaart.org/

IMPORTANT DATES:
  Regular Paper Submission: July 08, 2010
  Authors Notification: October 06, 2010
  Final Regular Paper Submission and Registration: October 26, 2010


In cooperation with: APPIA, AEPIA and AAAI 
Sponsored by: INSTICC
INSTICC is Member of: WfMC, FIPA and OMG

Proceedings indexed by INSPEC and DBLP
Thomson Reuters Conference Proceedings Citation Index and EI (awaiting the confirmation of indexation)
  
Best papers published by Springer-Verlag in a CCIS Series Book
 


TOPIC AREAS:

 AREA 1: Artificial Intelligence 
  - Knowledge Representation and Reasoning Ontologies
  - Model-Based Reasoning
  - Uncertainty in AI
  - Ambient Intelligence
  - Reactive AI
  - Hybrid Intelligent Systems
  - Planning and Scheduling
  - Case-Based Reasoning
  - Machine Learning
  - Pattern Recognition
  - Vision and Perception
  - AI and Creativity
  - Logic Programming
  - Expert Systems
  - Soft Computing
  - Fuzzy Systems
  - Neural Networks
  - Evolutionary Computing
  - Intelligent User Interfaces
  - Natural Language Processing
  - Cognitive Systems
  - State Space Search
  - Constraint Satisfaction
  - Data Mining
  - Industrial applications of AI

 AREA 2: Agents
  - Distributed Problem Solving
  - Agent Communication Languages
  - Agent Models and Architectures
  - Multi-Agent Systems
  - Brokering and Matchmaking
  - Cooperation and Coordination
  - Conversational Agents
  - Negotiation and Interaction Protocols
  - Programming Environments and Languages
  - Task Planning and Execution
  - Autonomous Systems
  - Cognitive Robotics
  - Group Decision Making
  - Web Intelligence
  - Web Mining
  - Semantic Web
  - Grid Computing
  - Agent Platforms and Interoperability
  - SOA and Software Agents
  - Simulation
  - Economic Agent Models
  - Social Intelligence
  - Security and Reputation
  - Mobile Agents
  - Pervasive Computing
  - Privacy, Safety and Security


KEYNOTES SPEAKERS:
- Cristiano Castelfranchi, Institute of Cognitive Sciences and Technologies (ISTC), Italy
- Boi Faltings, Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland
- Didier Dubois, Institut de Recherche en Informatique de Toulouse (IRIT), France
(list not yet complete)


PROGRAM COMMITTEE:
Please check the program committee members at http://www.icaart.org/program_committee.asp


SPECIAL SESSION:
Regular paper submission deadline: September 09, 2010
- Workflow and Event Analysis for Industrial Environments Manipulation through Multi-Agent Systems (WeAIMtMAS)
 http://www.icaart.org/special_sessions.asp

A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE: Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI

                           /---------------\
                          | CALL FOR PAPERS |
                           \---------------/

 "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI"

   A Special Issue of ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
             http://www.kluweronline.com/issn/1012-2443

                     DEADLINE:  10th March 2010
                     --------------------------
 [ See http://www.csc.liv.ac.uk/~michael/AMAI10 for HTML and PDF versions ]

Special Issue editors:
======================
         Manuela Bujorianu [University of Manchester, UK]
         Michael Fisher    [University of Liverpool, UK]
         Corina Pasareanu  [CMU and NASA, USA]


TOPICS OF INTEREST:
===================
The topics of interest of this special issue include (but are not
limited to)
    * new modeling paradigms
    * formal verification of safety properties
    * formal models for cyber-physical systems
    * autonomous and autonomic systems
    * performance modelling and verification
    * heterogeneous and hybrid system models
    * multi-agent systems and coordination technologies
    * probabilistic logics for system specification
    * stochastic modelling and verification methods
    * control techniques that span over multiple disciplines
    * communication and control co-design
specifically formal methods concerning the above within the area of
aerospace.

This special issue is inspired by the FMA workshop held within
FM-2009. However, submission to this special issue is open to
everyone.

IMPORTANT DATES:
================
            Submission deadline:    10th March 2010
            Author notification:    10th May 2010
            Revised papers due:     10th June 2010