Agent-Oriented Software Engineering -AOSE 2012

                        AOSE 2012
13th International Workshop on Agent-Oriented Software Engineering

********** SUBMISSION DEADLINE EXTENDED ***********


Held with AAMAS 2012, Valencia, Spain, June 4, 2012
http://winf.in.tu-clausthal.de/events/aose12


MOTIVATION

Since the early 1990s, multi-agent system researchers have developed a
large body of knowledge on the foundations and engineering principles
for designing and developing agent-based systems. The 12 past editions
of the agent-oriented software engineering workshop (AOSE) had a key
role in this endeavor. For 2012, the workshop organizers and the
steering committee propose to organize an edition of AOSE workshop aimed
at exploring the new emerging role of agent-oriented software
engineering as a bridge from the now consolidated agent oriented
programming languages and platforms, to recent systems modelling
paradigms like self-*, autonomic systems, and systems of systems (SoS).
Thus, it is our hope to explore from an agent-based perspective,
foundations, models, methods, architectures, and tools for
engineering future software-intensive IT eco-systems.

The workshop organizers plan to publish accepted papers on a USB stick
as part of the AAMAS workshop registration package.
Revised post-proceedings papers will later be published in
a volume of the Lecture Notes for Computer Science series.


GOALS and TOPICS

The general goal of this year workshop is twofold: The first goal is to
study the role of agent-oriented software engineering in the design
phase of agents development. It is well known and accepted that agents -
from the software engineering perspective - are of particular interest
as an analysis abstraction. This has been true for several years but the
most recent advancements in agent-oriented programming languages have
proposed new challenges: software engineers may now design and code
their solutions in terms of agents. The old need of moving to the
object-oriented level of abstraction is overpassed and the new
developing platforms allow for a more natural transformation of AO
analysis models into AO design models. This reality has been soon
perceived by researcher and practitioners. An example of this new trend
may be found in the refreshed interest about testing of agents.

The second goal concerns the other side of the proposed ideal bridge:
the needs of new design approaches specifically suited for facing the
needs of self-organizing systems, autonomic systems and systems of
systems. In the last years we have seen considerable research efforts on
these topics; however, only few of them have their scope and foundations
in the software engineering field.

Novel efforts are necessary to cope with these new challenges in order
to find specific solutions that could bring such systems from research
to industrialization. In this context, a means for bridging the above
mentioned research (and application) streams may come from the advances
on organizations, norms, and institutions. Are they mature enough for
being applied to stable agent-oriented languages and for contributing to
the engineering of self-organizing and autonomic systems? The proposed
aim is find an answer to this question or to propose further hints for
future investigations on the application of organizations, norms and
institutions to the design of agent-oriented systems.

Topics of regular papers include but are not restricted to:

* Agent-based concepts for systems of systems engineering
* Agent-based solutions for managing complexity in software engineering
* Agents and model-driven approaches
* Agents and services
* Agents for self-adaptive systems
* Alignment of agents with service-oriented software development
* Autonomy vs. dependability and robustness
* CASE tools to support agent-oriented software development in practice
* Coordination infrastructures for multi-agent systems
* Engineering multi-agent organizations
* Engineering self-organizing systems
* Goal-oriented design
* Implications of introducing agent-based solutions on the development organization
* Integration of agents with legacy systems
* Middleware integration of agent-based software
* Multi-agent based simulation
* Programming agents and multi-agent systems
* Qualities and tradeoffs of agent-based architectures
* Reusable design knowledge: patterns and reference architectures
* Social engineering
* Software architectures for multi-agent systems
* Standardization efforts for multi-agent systems
* Testing of agent-based software
* Validation of agent technology in practice
* Verification of agent-based software


AUTHOR GUIDELINES

AOSE welcomes the submission of theoretical, experimental,
methodological as well as application papers with a clear research focus
on the topics outlined above. Each paper will be evaluated by three
members of the PC. Papers that present a valuable idea that needs
further development can be accepted as a short paper.


SUBMISSIONS

Papers should be between 8 and 12 pages, including the text, figures,
and references. The submissions must be formatted according to the
Springer Verlag LNCS style. PDF format is required. Papers can be
submitted via EasyChair 'AOSE2012',
https://www.easychair.org/conferences/?conf=aose2012
The good receipt of your submission will be confirmed by email.


PUBLICATIONS

Pre-proceedings containing all accepted papers are provided
electronically on a USB stick as part of the AAMAS workshop registration
package. The plan is to publish revised versions of accepted papers in a
Lecture Notes in Computer Science volume. For this purpose, authors will
be given the opportunity to revise and re-submit their contributions
after the conference.


IMPORTANT DATES

Paper submission deadline: 11th March 2012
Paper notifications: 6th April 2012
Camera ready paper (pre-proceedings): 8th April 2012
Workshop: 4th June 2012


COMMITTEES

Organizing Committee
* Massimo Cossentino, National Research Council of Italy, Palermo, Italy
* Joerg P. Mueller, Technische Universitaet Clausthal, Institut for Informatik, Germany

Preliminary Program Committee:

Carole Bernon,Universite Paul Sabatier, France
Lars Braubach,University of Hamburg, Germany
Scott A. Deloach,Kansas State University, USA
Amal El Fallah Seghrouchni,University Pierre and Marie Curie, France
Giancarlo Fortino,Universita della Calabria, Italy
Aditya Ghose,University of Wollongong, Australia
Holger Giese,University of Potsdam, Germany
Adriana Giret,Universidad Politecnica de Valencia, Spain
Marie-Pierre Gleizes,Universite Paul Sabatier, France
Jorge Gomez-Sanz,Universidad Complutense Madrid, Spain
Juan Carlos Gonzalez Moreno,Universidad de Vigo, Ourense, Spain
Joao Leite,University of Lisbon, Portugal
Philippe Mathieu,Universite Lille 1, France
Frederic Migeon,Universite Paul Sabatier, France
Ambra Molesini,University of Bologna, Italy
Pavlos Moraitis,Universite Paul Descartes, France
Andrea Omicini,University of Bologna, Italy
Flavio Oquendo,Universite de Bretagne Sud, France
Juan Pavon,Universidad Complutense Madrid, Spain
Alexander Pokahr,University of Hamburg, Germany
Alessandro Ricci,University of Bologna, Italy
Fariba Sadri,Imperial College of Science, Technology and Medicine, England
Valeria Seidita,University of Palermo, Italy
Onn Shehory,IBM Haifa Research Lab, Israel
Danny Weyns,Linnaeus University, Sweden

16th Intl. Conference on Logic for Programming, Artificial Intelligence and Reasoning

=====================
                           CALL FOR SHORT PAPERS
                           =====================

                                  LPAR-16
           
                 16th International Conference on Logic for
             Programming, Artificial Intelligence and Reasoning

                           April 25 - May 1, 2010
                               Dakar, Senegal
                        http://www.lpar.net/lpar-16/


The series of International Conferences on Logic for Programming, Artificial 
Intelligence and Reasoning (LPAR) is a forum where, year after year, some of 
the most renowned researchers in the areas of logic, automated reasoning, 
computational logic, programming languages and their applications come to 
present cutting-edge results, to discuss advances in these fields, and to 
exchange ideas in a scientifically emerging part of the world. The 16th 
edition will be held in Dakar, Senegal.

  ---------------------------------------------------------------------------
  In keeping with the tradition of LPAR, researchers and practioners are 
  encouraged submit short papers reporting on interesting work in progress or 
  providing system descriptions. They need not be original. Extended versions 
  of the short papers may be submitted concurrently with or after LPAR-16 to 
  another conference or a journal.
  ---------------------------------------------------------------------------

Logic is a fundamental organizing principle in nearly all areas in Computer 
Science. It runs a multifaceted gamut from the foundational to the applied. 
At one extreme, it underlies computability and complexity theory and the 
formal semantics of programming languages. At the other, it drives billions 
of gates every day in the digital circuits of processors of all kinds. Logic 
is in itself a powerful programming paradigm but it is also the quintessential 
specification language for anything ranging from real-time critical systems 
to networked infrastructures. Logical techniques link implementation and 
specification through formal methods such as automated theorem proving and 
model checking. Logic is also the stuff of knowledge representation and 
artificial intelligence. Because of its ubiquity, logic has acquired a 
central role in Computer Science education.

Topics
------
New results in the fields of computational logic and applications are welcome. 
Also welcome are more exploratory presentations, which may examine open 
questions and raise fundamental concerns about existing theories and practices.

Topics of interest include, but are not limited to:
   * Automated reasoning
   * Verification
   * Interactive theorem proving and proof assistants
   * Model checking
   * Implementations of logic
   * Satisfiability modulo theories
   * Rewriting and unification
   * Logic programming
   * Satisfiability checking
   * Constraint programming
   * Decision procedures
   * Logic and the Web
   * Ontologies and large knowledge bases
   * Logic and databases
   * Modal and temporal logics
   * Program analysis
   * Foundations of security
   * Description logics
   * Non-monotonic reasoning
   * Specification using logics
   * Logic in artificial intelligence
   * Logic and types
   * Logical foundations of programming
   * Logical aspects of concurrency
   * Logic and computational complexity
   * Knowledge representation and reasoning
   * Logic of distributed systems

Programme Chairs
----------------
   * Ed Clarke
   * Andrei Voronkov

Programme Committee
-------------------
   * Rajeev Alur
   * Matthias Baaz
   * Peter Baumgartner
   * Armin Biere
   * Nikolaj Bjorner
   * Iliano Cervesato
   * Agata Ciabattoni
   * Hubert Comon-Lundh
   * Nachum Dershowitz
   * Juergen Giesl
   * Guillem Godoy
   * Georg Gottlob
   * Jean Goubault-Larrecq
   * Reiner Haehnle
   * Claude Kirchner
   * Michael Kohlhase
   * Konstantin Korovin
   * Laura Kovacs
   * Orna Kupferman
   * Leonid Libkin
   * Aart Middeldorp
   * Luke Ong
   * Frank Pfenning
   * Andreas Podelski
   * Andrey Rybalchenko
   * Helmut Seidl
   * Geoff Sutcliffe
   * Ashish Tiwari
   * Toby Walsh
   * Christoph Weidenbach

Submission Details
------------------
Short papers are limited in length to 5 pages in the EasyChair format. The 
class style may be downloaded from http://www.easychair.org/easychair.zip. 
Short papers must be submitted through the EasyChair system using the web 
page ...
     http://www.easychair.org/conferences/?conf=lpar16short

The short paper proceedings will be available as an EasyChair collection 
volume.

Participation
-------------
Authors of accepted papers are required to ensure that at least one of them 
will be present at the conference. Papers that do not adhere to this policy 
will be removed from the proceedings.

Important Dates
---------------
Paper submission deadline:  17 March 2010
Notification of acceptance: 25 March 2010
Final version:               1 April 2010
LPAR-16:                    25 April - 1 May 2010

Logics for Games and Strategic Reasoning

************************************************************************

    Special session on ==Logics for Games and Strategic Reasoning==
       at CLIMA XI (Computational Logic in Multi-Agent Systems)
               Lisbon, Portugal, August 16-17, 2010
                     (colocated with ECAI'10)
      http://centria.di.fct.unl.pt/events/climaXI/sessions.html

                       1st Call for Papers

************************************************************************
Submission deadline: May 7th.
Proceedings: LNCS/LNAI volume (available at the workshop).
Postproceedings: extended versions of selected papers will be published
in a special issue of Annals of Mathematics and Artificial Intelligence.
************************************************************************


INTRODUCTION

Strategic reasoning occurs in many multi-agent systems. This is
especially evident in game-theoretical and decision-theoretical models
of MAS, but also in more informal settings using the game metaphor (like
computer games or social network services). Mathematical logic can
contribute to this view in many ways by providing specifications,
models, and/or algorithms for game-like scenarios. We invite papers that
address how logic can contribute to our understanding, modeling and
analysis of games, but also ones that investigate how the metaphor of
games and strategies can help in constructing and using logical formalisms.

The list of subjects includes (but is not limited to) the following topics:
- Logics for reasoning about games and strategies
- Modal logics of strategic ability
- Logical foundations of game and decision theory
- Logical approaches to rationality and bounded rationality
- Solving games and verification of strategies by model checking
- Logics for mechanism design
- Game semantics for logics
- Games in verification of logical specifications

SUBMISSION

We encourage submission of high quality, original papers which have not
been accepted for publication nor are currently under review for another
journal or conference. Submissions should not exceed 16 pages in the
Springer LNCS format. For templates and instructions for authors, see
http://www.springer.de/comp/lncs/authors.html . Papers should be
submitted electronically via EasyChair:
http://www.easychair.org/conferences/?conf=clima2010 .

PROCEEDINGS AND POST-PROCEEDINGS

LNCS Proceedings: All the accepted papers (including special session
papers) will be published by Springer as a volume in Lecture Notes in
Computer Science, and will be available in time for the workshop.

AMAI Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to a special issue of
Annals of Mathematics and Artificial Intelligence.

IMPORTANT DATES

Paper submission:                              May 7, 2010
Author notification:                          June 4, 2010
Camera-ready deadline:                       June 16, 2010
Workshop:                               August 16-17, 2010

ORGANIZATION AND CONTACT

The special session is organized by Wojtek Jamroga, University of
Luxembourg. In case of questions, please do not hesitate to contact us
at wojtek.jamroga@uni.lu . General questions about CLIMA XI should be
sent to clima2010@easychair.org .

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