The 8th International Workshop on SERVICE-ORIENTED COMPUTING: AGENTS, SEMANTICS, AND ENGINEERING (SOCASE)

CALL FOR PAPERS

The 8th International Workshop on

SERVICE-ORIENTED COMPUTING: AGENTS, SEMANTICS, AND ENGINEERING (SOCASE)

http://www.swin.edu.au/hosting/socase2010/

to be held at the 9th International Joint Conference on AUTONOMOUS AGENTS AND

MULTIAGENT SYSTEMS (AAMAS-2009) Toronto Canada, May 10-14 2010,

(http://www.cse.yorku.ca/AAMAS2010/)

 

IMPORTANT DATES

Please realize that we had to shorten the submission deadline by a week. For those who cannot make it till the 28 February we will still accept the paper till 7 March as long as we are informed about the possible paper submission till 28 February. The problem is that the AAMAS organizers need the final version of the papers by 28 February. Moreover, the deadline for early registration will end on 12 March. We will try our best to inform you about the outcome of our review process by 11 March but cannot guarantee that, especially not if we get the paper pretty late. Thus, be prepared to have to pay a slightly higher fee if you don't want to register for the workshop and AAMAS without knowing the result of the review process for your paper. Also, make sure that you can revise your paper till 28 March. This deadline cannot be extended any further.

 

Submission Deadline Acceptance Notification Final Version Submission Deadline Workshop held

28 Feb 2010 (7 March 2010 (see above)) 20 March 2010 27 March 2010 11 May 2010

 

DESCRIPTION

The purpose of this workshop is to present and discuss the recent significant developments at the intersections of Multi-agent Systems, Semantic Technology, and Service-oriented Computing, and to promote cross-fertilization of techniques. In particular, the workshop aims at identifying techniques from Multi-agent System and Semantic Technology research that will have the greatest impact on automating service-oriented application construction and management, focusing on critical challenges such as service quality assurance, reliability, and adaptability.

The Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE) workshop continues the theme of the previous SOCASE workshops successfully held at AAMAS’09, AAMAS’08 and AAMAS’07, the SOCABE workshops held at AAMAS’06, AAMAS’05 and the WSABE workshops held at AAMAS’04 and AAMAS’03, with an expanded theme reflecting the wide spectrum of issues of the cross section between agent-based and service-oriented paradigms.

 

TOPICS

We invite papers on all aspects relating to the overlap of Agent Technology, Semantic Web Services, and Service-oriented Computing. Topics of interest include, but are not limited to:

* Agent-oriented architectures, frameworks, and infrastructures for distributed service-oriented software and Semantic Web systems

* Agent-oriented modeling and design methods and tools for service-oriented software and

Semantic Web development

* Web services and Semantic Web technologies and standards for multi-agent system design, development, and integration

* Agent-enabled adaptation, evolution, and optimization of services and processes

* Agent-based service description, advertisement, matchmaking, discovery, and brokering

* Agent-based service composition, orchestration, and choreography

* Agent-based monitoring and exception-handling for service execution and delivery

* Agent-based negotiation and management of Quality of Service and Service Level Agreements

* Deployment and distribution of agent-based service systems and service-oriented agent systems

* Agent-based service business models, application scenarios and demos (e.g. in e-Business, e-Science, Enterprise, Telecom, etc.), and lessons learned

* Ontology matching for service discovery, negotiation, orchestration, composition, and execution

* Ontology generation, hearing and reasoning, and ontology-oriented dynamic mediation among agents

 

SUBMISSION and PUBLICATION

Submission is to be done electronically. The detailed instructions are provided at the SOCASE'10 web page https://www.easychair.org/login.cgi?conf=socase10.

Contact Zakaria Maamar (Zakaria.Maamar@zu.ac.ae) for help if required.

Submitted papers have a page limit of 15 pages and should be formatted according to LNCS specification. Authors should submit the manuscript in PDF format. Instructions and templates can be found at http://www.springer.de/comp/lncs/authors.html.

Submissions will be peer-reviewed by three reviewers per paper. Selection criteria will include:

Relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics. Since this is associated with the AAMAS conference, accepted papers must be of real relevance to the multi-agent research community. Accepted papers will be published in the workshop proceedings. Similarly to the previous years the SOCASE 2010 post-proceedings will be published with Springer’s LNCS, subject to an appropriate number and quality of submissions. A selection of best papers will also be invited to submit extended and enhanced versions of the papers to a special issue of a major international journal.

 

ORGANIZING COMMITTEE

* Rainer Unland, University of Duisburg-Essen, Germany

  (point of contact: rainer.unland@icb.uni-due.de)

* Ryszard Kowalczyk, Swinburne University, Australia

* Michael Huhns, University of South Carolina, USA

* Zakaria Maamar, Zayed University, UAE

* Quoc Bao Vo, Swinburne University, Australia

* Mohan Baruwal Chhetri, Swinburne University, Australia

 

PROGRAM COMMITTEE

* Stanislaw Ambroszkiewicz, Polish Academy of Sciences, Poland

* Taleb Bendiab, Liverpool John Moores University, UK

* M. Brian Blake, University of Notre Dame, USA

* Ivona Brandic, Vienna University of Technology, Austria

* Cherif Branki, University of West Scotland - Paisley, UK

* Frances Brazier, Delft University of Technology, The Netherlands

* Owen Cliffe, University of Bath, UK

* Christian Derksen, University of Duisburg-Essen, Germany

* Frank Dignum, University of Utrecht, The Netherlands

* Virginia Dignum, Delft University of Technology, The Netherlands

* Antonio Garcia Dominguez, University of Cadiz,

* Torsten Eymann, University of Bayreuth, Germany

* Christian Guttmann, Monash University, Australia

* Benjamin Hirsch, Berlin University of Technology, Germany

* Matthias Klusch, German Research Center for Artificial Intelligence, Germany

* Winfried Lamersdorf, University of Hamburg, Germany

* Tim Lessner, University of Scotland - Paisley, UK

* Wathiq Mansoor, American University of Dubai, Dubai

* Lars Moench, University of Hagen, Germany

* Ganna Monakova, University of Stuttgart, Germany

* Volker Nissen, Technical University of Ilmenau, Germany

* Andreas Oberweis, Karlsruhe Institute of Technology

* Guadalupe Ortiz-Bellot, University of Cadiz, Spain

* Sascha Ossowski, University Rey Juan Carlos, Span

* Julian Padget, University of Bath, UK

* Marcin Paprzycki, Systems Research Institute of the Polish Academy of Sciences, Poland

* Dana Petcu, Western University of Timisoara, Romania

* Thomas Quillinan, Thales Netherlands, Netherlands

* Munindar Singh, North Carolina State University, USA

* Sebastian Stein, University of Southampton, UK

* Huaglory Tianfield, Glasgow Caledonian University, UK

* Ingo Timm, Goethe University, Frankfurt, Germany

* Alexander Walz, University of Stuttgart, Germany

* Danny Weyns, K.U. Lueven, Belgium

* Franco Zambonelli, Universita' di Modena e Reggiio Emilia, Italy

Second International Working Conference on Human Factors and Computational Models in Negotiation (HuCom 2010 @ GDN)

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

Second International Working Conference on Human Factors and Computational
Models in Negotiation (HuCom 2010 @ GDN)

June 21 - 24, 2010, Delft, The Netherlands

http://mmi.tudelft.nl/HuCom10/

IMPORTANT DATES:

• April 1, 2010: Paper Submissions Due
• April 16, 2010: Notification of paper acceptance/rejection
• May 1, 2010: Camera-ready copies of accepted papers
• June 21 - 24, 2010: Working Conference on Human Factors and Computational
• Models in Negotiation

PUBLICATION:

We are pleased to solicit original and unpublished papers for publication
and presentation in the Working Conference on Human Factors and
Computational Models in Negotiation. Articles describing novel ideas and
applications in all areas related to human factors and computational models
in negotiation are of interest. We also invite submissions of statements of
interests or position papers. Submit your paper electronically in either PDF
or postscript format. Papers should not be more 6000 words. Submission is
entirely automated by a paper management tool, which is available from the
main web site: http://www.easychair.org/conferences/?conf=hucom10. 

Accepted papers will be published in the Proceedings of the Group Decision
and Negotiation conference.

AIMS AND SCOPE:

Negotiation is a complex and sometimes emotional decision-making process
aiming to reach an agreement to exchange goods or services. Although a daily
activity, extensive research has shown that few people are effective
negotiators. Current state of the art negotiation support systems can help
make a significant improvement in negotiation performance. In particular,
when the negotiation space is well-understood such systems can make a
difference, partly because machines can much better deal with the
computational complexity involved. However, the negotiation space can only
be properly developed if the human parties jointly explore their interests.
The inherent semantic problem and the emotional issues involved make that
negotiation cannot be handled by artificial intelligence alone, and a
human-machine collaborative system is required. Such systems are not only to
support humans in providing strategic advice but also in coping with
emotions and moods in human-human interactions.

In order to develop human-machine collaborative negotiation support systems
there is a need for the development of computational models, frameworks, and
experimental, user-centred and ergonomic methods that enable the engineering
of negotiation support systems. It is important for this purpose to study
the role of human factors in negotiation as well as computational models to
enable intelligent support for negotiation. To develop the next generation
of negotiation support systems there are still many, diverse challenges:
models of (qualitative, incomplete) preferences, preference change and
strategies, preference elicitation, assessment methods for negotiation
performance, learning and adaptativeness in negotiation, models of emotion
and user awareness, the use and creation of domain knowledge, user
interfaces for negotiation support, human-supported assessment of opponent,
conflict handling styles, experimental methods.

Topics covered include but are not limited to:
- Negotiation strategies (bidding, acceptance)
- Argumentation for negotiation
- Negotiation interaction
- Learning in negotiation
- Negotiation domain knowledge
- Case studies
- Preference elicitation
- Qualitative preferences
- Incomplete preferences
- Ontologies for negotiation (protocols, preferences, domain knowledge)
- Negotiation Support Systems
- User interfaces for Negotiation Support Systems
- Human-machine negotiation
- Negotiation, conflict handling, and experiments related to e.g. consensus
building
- Personality in negotiation (e.g. Big Five)
- Emotions in negotiation
- Cultural factors in negotiation
- Negotiation bidding advice
- Negotiation conflict styles
- Trust in automatically generated negotiation advice
- Negotiation applications
- E-commerce
- Methods and tools for negotiation tasks
- Design and Evaluation of support systems
- Conflict handling styles and consensus building
- HCI aspects and human factors of negotiation

Program Chairs:
 

Koen Hindriks - Delft University of Technology, Delft, The Netherlands
Catholijn Jonker - Delft University of Technology, Delft, The Netherlands
Pascal Wiggers - Delft University of Technology, Delft, The Netherlands

PROGRAM COMMITTEE:

Brooke Abrahams - Victoria University, Melbourne, Australia
Reyhan Aydogan - Bogazici University, Turkey
Willem-Paul Brinkman - Delft University of Technology
Frank Dignum - Utrecht University, The Netherlands
Shaheen Fatima - Loughborough University, UK
Yakov Gal - Harvard University, US
Joseph Giampapa - Carnegie Mellon University, US
Gert Jan Hofstede - Wageningen University, The Netherlands
Mark Hoogendoorn - Vrije Universiteit, The Netherlands
Takayuki Ito - Nagoya Institute of Technology, Japan
Raz Lin - Bar-Ilan University, Israel
Steve Love - Brunel University, UK
Tom McEwan - Napier University, UK
Mark Neerincx - TNO, The Netherlands
Iyad Rahwan - British University in Dubai, United Arab Emirates
Valentin Robu - University of Southamption, UK
Carles Sierra - IIIA-CSIC, Spain
Liz Sonenberg - University of Melbourne, Australia
Dmytro Tykhonov - Delft University of Technology
Tim Verwaart - Delft University of Technology
Hans Weigand - Tilburg University, The Netherlands
John Zeleznikow - Victoria University, Melbourne, Australia

INFORMATION:

For further information please contact: k.v.hindriks@tudelft.nl

Deadline Extension: AISC 2010

CALL FOR PAPERS
      AISC 2010 - 10th International Conference on 
    ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION 
        Theory, Implementations and Applications
      http://cicm2010.cnam.fr/aisc/
           
     CNAM, Paris, France, July 5th - July 6th, 2010

**********************************************************************
DEADLINE EXTENSION: - Abstracts:      March 9, 2010
                    - Full papers:   March 12, 2010
**********************************************************************
INVITED SPEAKERS: James Davenport (http://people.bath.ac.uk/masjhd/)
                  Bruno Salvy     (http://algo.inria.fr/salvy/)
**********************************************************************

Artificial  Intelligence and  Symbolic Computation  are two  views and
approaches for automating  problem solving, in particular mathematical
problem solving.  The two  approaches are based  on heuristics  and on
mathematical  algorithmics, respectively. Artificial  Intelligence can
be  applied to Symbolic  Computation and  Symbolic Computation  can be
applied  to Artificial  Intelligence. Hence,  a wealth  of challenges,
ideas, theoretical insights and  results, methods and algorithms arise
in  the  interaction  of  the  two fields  and  research  communities.
Advanced tools of software technology and system design are needed and
a broad spectrum  of applications is possible by  the combined problem
solving power of the two fields.

Hence, the conference is in the center of interest and interaction for
various research communities:

 * Artificial Intelligence  * Logic
 * Symbolic Computation     * Software Technology 
 * Computer Algebra         * Semantic Web Technology
 * Automated Reasoning      * Mathematical Knowledge Management 
 * Formal mathematics       * Computer-based Math Teaching & Didactics
 * Machine Learning         * Computer-Supported Publishing 
 * Automated Discovery      * Language and System Design 
    
Topics
======

Topics of particular interest of the conference include:

  * AI in Symbolic Mathematical Computing
  * Computer Algebra Systems and Automated Theorem Provers
  * Symmetries in AI problems
  * Engineering, Industrial and Operations Research Applications
  * Foundations and Complexity of Symbolic Computation
  * Mathematical Modeling of Multi-Agent Systems
  * Implementations of Symbolic Computation Systems
  * Programming Languages for Symbolic Computation
  * Symbolic Computations for Expert Systems and Machine Learning
  * Symbolic Computation and Ontologies 
  * Logic and Symbolic Computing
  * Implementation and Performance Issues
  * Intelligent Interfaces
  * Symbolic Techniques for Document Analysis

Papers on  other topics  with links to  the above research  fields and
topics will also be welcomed for consideration.

Proceedings
===========

The proceedings of the conference will be published as a volume in the
series   Lecture   Notes   in   Artificial  Intelligence   (LNAI)   by
Springer-Verlag. Accepted papers will have to be prepared in LaTeX and
formatted according to the  requirements of the Springer's LNAI series
(the    corresponding   style   files    can   be    downloaded   from
http://www.springer.de/comp/lncs/authors.html  and  are  the same  for
LNCS and LNAI).   In addition to the  formal proceedings  published by
Springer,  we intend to  make online versions  of the published papers 
available from the conference website.

Submission
==========

Theoretical and applied research papers on all topics within the scope
of the conference are invited.  Submitted papers (in English) must not
exceed 15 pages  in length (in the LNCS style).  The title page should
contain the title,  author(s) with affiliation(s), e-mail address(es),
listing of keywords  and abstract plus the topics  from the above list
to which the paper is related. The program committee (PC) will subject
all  submitted papers  to a  peer review.  Theoretical papers  will be
judged  on their  originality  and contribution  to  their field,  and
applied papers  on the importance and originality  of the application.
Results must be original and have not been published elsewhere.

The web page for electronic submission is at:

  http://www.easychair.org/conferences/?conf=aisc20100

Best Paper Awards
=================

Every  submission automatically  competes  for the  Best Paper  Award.
Papers  which have  been mainly  developed  by (PhD)  students can  be
marked as student papers upon  submission to also compete for the Best
Student Paper Award.

Important Dates
===============

 Abstract Submission deadline (extended):       Tuesday, March 9, 2010 
 Submission deadline (extended):                Friday, March 12, 2010
 Notification:                                          April 18, 2010
 Camera Ready Version:                                  April 28, 2010
 Conference:                                     July 5 - July 6, 2010

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

2010 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10)

It would be highly appreciated if you could share this announcement with your colleagues, students and individuals whose research area is in artificial intelligence, knowledge-based systems, soft-computing,  evolutionary computing and related areas.

Call for papers: AIPR-10, Orlando, USA, July 2010

The 2010 International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10) (website: http://www.PromoteResearch.org ) will be held during 12-14 of July 2010 in Orlando, FL, USA. AIPR is an important event in the areas of Artificial Intelligence (AI) as well as Pattern Recognition (PR) and focuses on all areas of AI, PR and related topics. The conference will be held at the same time and location where several other major international conferences will be taking place. The conference will be held as part of 2010 multi-conference (MULTICONF-10).

MULTICONF-10 will be held during July 12-14, 2010 in Orlando, Florida, USA. The primary goal of MULTICONF is to promote research and developmental activities in computer science, information technology, control engineering, and related fields. Another goal is to promote the dissemination of research to a multidisciplinary audience and to facilitate communication among researchers, developers, practitioners in different fields. The following conferences are planned to be organized as part of MULTICONF-10.

•           International Conference on Artificial Intelligence and Pattern Recognition (AIPR-10)

•           International Conference on Automation, Robotics and Control Systems (ARCS-10)

•           International Conference on Bioinformatics, Computational Biology, Genomics and Chemoinformatics (BCBGC-10)

•           International Conference on Computer Communications and Networks (CCN-10)

•           International Conference on Enterprise Information Systems and Web Technologies (EISWT-10)

•           International Conference on High Performance Computing Systems (HPCS-10)

•           International Conference on Information Security and Privacy (ISP-10)

•           International Conference on Image and Video Processing and Computer Vision (IVPCV-10)

•           International Conference on Software Engineering Theory and Practice (SETP-10)

•           International Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS-10)

MULTICONF-10 will be held at Imperial Swan Hotel and Suites.  It is a full-service resort that puts you in the middle of the fun! Located 1/2 block south of the famed International Drive, the hotel is just minutes from great entertainment like Walt Disney World® Resort, Universal Studios and Sea World Orlando. Guests can enjoy free scheduled transportation to these theme parks, as well as spacious accommodations, outdoor pools and on-site dining — all situated on 10 tropically landscaped acres. Here, guests can experience a full-service resort with discount hotel pricing in Orlando.

We invite draft paper submissions. Please see the website http://www.PromoteResearch.org for more details.

Sincerely

John Edward

Mixed Reality at Robocup 2010

Mixed Reality

at RoboCup 2010

CALL FOR TEAMS

There is still time for you to join us for the Mixed Reality games at the RoboCup 2010 in Singapore! You don't even need to have a robot to participate!

The Mixed Reality is an original concept which explores the balance between simulation and real robot applications. The league is based on real tiny little robots that operate on a virtual environment where anything is possible.

Put together a team and join us to play at our robot soccer tournament and share your creative ideas for the augmented reality setup.

Don't have the budget to acquire the robots? No problem. A complete simulation framework is provided for you to develop and debug your code. During the event robots will be available for you to borrow.

You can find some videos of our system at work in this YouTube playlist. More info at our wiki and fell free to join our mailing list and participate in our forum. For those looking for a more formal description please have a look at this paper (and its references). Our software package is open-source and it can be found here.

Interested? Hurry-up! Pre-registration should be done up to February, 28th, at midnight (UTC).

Decision Making in Multiagent Systems

AAMAS-2010 Tutorial
on
Decision Making in Multiagent Systems

Call for Participation

Toronto, Canada,
May 10-14 2010

We are glad to invite you to participate in the Decision Making in Multiagent Systems Tutorial, that brings together two very successful tutorial from previous years: the DEMI Tutorial from AAMAS-09 and the Decision Theoretic Planning Tutorial from IJCAI-09.

This full-day tutorial deals with time-extended decision making in multi-agent systems. Drawing motivation, in part, from the search and rescue applications in disaster management, the tutorial will span the range of multiagent interactions of increasing generality, and study a set of optimal and approximate solution techniques to time-extended decision making in both noncooperative and cooperative multiagent contexts. This self-contained tutorial will begin with the relevant portions of game theory and culminate with several advanced decision-theoretic models of agent interactions.

The list of topics includes:

* Requirements for the multiagent decision model and solution

* Game theory background
  -- Repeated strategic and Bayesian games
  -- Iterative solution methods (e.g. fictitious play)

* Partially observable stochastic games (POSGs)
  -- Basics of Markov Decision Processes (MDPs) and Partial Observability (POMDPs)
  -- Decentralised Formulation of MDPs (Dec-MDPs)
  -- Interactive POMDPs (I-POMDPs)

* Uncertainty utilization
  -- Targeted trajectory distributions (TTD-MDP)
  -- Stigmergic solution with perceptual control (Multi-agent EMT)

* Team decision making in Dec-MDP models
  -- Decision theoretic view of Dec-MDPs
  -- Computational and structural analysis of Dec-MDP models
  -- Optimal and approximate algorithm design for Dec-MDPs

All tutorial materials will be made available on-line at
http://users.isr.ist.utl.pt/~mtjspaan/tutorialDMMS/

Registration information will be available soon at
http://www.cse.yorku.ca/AAMAS2010/index.php?content=registration

Sincerely,

Tutorial Organizing Committee

Prashant Doshi, Zinovi Rabinovich, Piotr Gmytrasiewicz, Matthijs Spaan, Shlomo Zilberstein, Christopher Amato