Principles and Practice of Multi-Agent Systems - PRIMA 2012

                                                                              PRIMA 2012

    The 15th International Conference on Principles and Practice of Multi-Agent Systems

                                                                Kuching, Sarawak, Malaysia

                                                                    September 3-7, 2012

                                                                http://www.prima2012.org/

                                    Co-located with PRICAI 2012, DC 2012 and PKAW 2012

Paper submission: March 30, 2012

Author notification: May 28, 2012

Camera-ready papers: June 15, 2012

Agent computing is an exciting, transformational approach to developing computer systems

that can rapidly and reliably solve real-world problems that usually demand human knowledge

and expertise. The value, power and flexibility of agent and multi-agent systems has been

demonstrated in application areas such as logistics, manufacturing, simulation, robotics,

decision support, entertainment, and especially in online market environments. As one of

the largest and fastest growing research fields of Computer Science, agent research today

includes a wealth of topics. The PRIMA 2012 Program Committee invites submissions of

original, unpublished, theoretical and applied work on any such topic, and encourages

reports on the development of prototype and deployed agent systems, and of experiments

that demonstrate novel agent system capabilities.

PRIMA 2012 proceedings will be published by Springer as a volume in the LNAI series and

proceedings will be available at the conference. Submitted papers should be 12-15 pages

in Springer LNCS format and must be in a form suitable for "double-blind" review.

Each submission will be subject to peer review in two rounds coordinated by an international

Senior Program Committee, and authors will be able to provide a short "rebuttal" of the

reviews before final decisions are made. A broad range of agent topics are of interest,

but all papers should clearly identify how their scientific or technical contributions

advance the state-of-the-art of agent computing practice or have a strong potential to do so.

Submitted papers should not be under review or submitted for publication elsewhere during

the review period.

Springer LNCS Author Instructions: http://www.springer.de/comp/lncs/authors.html

Submission: http://www.easychair.org/conferences/?conf=prima2012

Enquiries: prima2012-pc-chairs@cse.unsw.edu.au

----------------------------------------------------------------------------------------------

Organization

General Chairs

  Sandip Sen  (University of Tulsa, USA)

  Toshiharu Sugawara (Waseda University, Japan)

Local Arrangements Chairs

  Dickson Lukose (MIMOS Berhad, Malaysia)

  Cheah Wai Shiang (Universiti Malaysia Sarawak, Malaysia)

Sponsorship Chairs

  Longbing Cao (University of Technology, Sydney, Australia)

  Matthias Klusch (DFKI Saarbruecken, Germany)

  Sarvapali Ramchurn (University of Southampton, UK)

  Jie Zhang (Nanyang Technological University, Singapore)

Program Chairs

  Iyad Rahwan (Masdar Institute, UAE and MIT, USA)

  Wayne Wobcke (University of New South Wales, Australia)

Senior Program Committee

  Stephen Cranefield (University of Otago, New Zealand)

  Frank Dignum (Utrecht University, The Netherlands)

  Guido Governatori (NICTA, Australia)

  Katsutoshi Hirayama (Kobe University, Japan)

  Kate Larson (University of Waterloo, Canada)

  Rey-Long Liu (Tzu Chi University, Taiwan)

  Alessio Lomuscio (Imperial College London, UK)

  Andrea Omicini (University of Bologna, Italy)

  Jeremy Pitt (Imperial College London, UK)

 David Pynadath (University of Southern California, USA)

  Alex Rogers (University of Southampton, UK)

  Paolo Torroni (University of Bologna, Italy)

Tutorial Chair

  Edith Elkind (Nanyang Technological University, Singapore)

Workshop Chairs

  Sherief Abdallah (British University in Dubai, UAE and University of Edinburgh, UK)

  Hiromitsu Hattori (Kyoto University, Japan)

Publicity Chairs

  Jacob Crandall (Masdar Institute, UAE and MIT, USA)

  Koen Hindriks (Delft University of Technology, The Netherlands)

----------------------------------------------------------------------------------------------

Topics

Foundations of Agents and Multi-Agent Systems

  Logics of Agency

  Logics of Multi-Agent Systems

  Normative Systems

  Computational Game Theory

  Uncertainty in Agent Systems

  Agent and Multi-Agent Learning

  Agent and Multi-Agent System Architectures

Agent Programming Languages and Platforms

  Multi-Agent System Languages and Platforms

  BDI Architectures and Extensions

  Normative Multi-Agent Systems

  Agent-Oriented Software Engineering

  AOSE Methodologies

  Tools for Agent and Multi-Agent System Development

  Formal Specification and Verification

  Deployed System Case Studies

Agent-Based Modelling and Simulation

  Simulation Languages and Platforms

  Artificial Societies

  Virtual Environments

  Workflow Simulation

  Emergent Behaviour

  Modelling System Dynamics

  Application Case Studies

  Collaboration/Coordination/Communication

  Agent Communication Languages and Protocols

  Distributed Problem Solving

  Teamwork Models

  Coalition Formation

  Argumentation, Negotiation, Bargaining

  Auctions and Mechanism Design

  Trust and Reputation

  Computational Voting Theory

Hybrid Technologies

  Agents in Planning

  Agent-Based Scheduling

  Agent-Based Optimization

  Distributed Constraint Satisfaction

  Agents and Data Mining

  Semantic Web Agents

  Agents and Grid Computing

  Agents and Service Oriented Computing

  Agents and Pervasive Computing

  Robotics and Multi-Robot Systems

Application Domains

  Healthcare

  Transport/Logistics

  Emergency/Disaster Management

  Energy/Utility Management

  Sustainability/Resource Management

  Games/Entertainment

  eBusiness/eCommerce/eGovernment

  eResearch/eLearning

  Security/Surveillance

  Smart Cities

Applications

  Adaptive Personal Assistants

  Embodied Conversational Agents

  Virtual Characters

  Multi-Modal User Interfaces

  Autonomous Systems

  Mobile Agents

  Human-Robot Interaction

  Social Recommender Systems

Declarative Agent Languages and Technologies (DALT 2012)

            10th International Workshop on
             Declarative Agent Languages and Technologies
                             (DALT 2012)

                          4 or 5 June 2012

                           Valencia, Spain
                (held in conjunction with AAMAS 2012)

         URL: http://www.di.unito.it/~baldoni/DALT-2012/

----------------------------------------------------------------------
                           CALL FOR PAPERS
----------------------------------------------------------------------

The workshop  on Declarative Agent Languages  and Technologies (DALT),
in  its tenth  edition this  year,  is a  well-established forum  for
researchers  interested  in  sharing  their experiences  in  combining
declarative  and  formal approaches  with  engineering and  technology
aspects  of agents  and  multiagent systems.   Building complex  agent
systems calls for models  and technologies that ensure predictability,
allow for  the verification of properties,  and guarantee flexibility.
Developing  technologies  that can  satisfy  these requirements  still
poses  an  important   and  difficult  challenge.   Here,  declarative
approaches  have the  potential of  offering solutions  satisfying the
needs   for  both  specifying   and  developing   multiagent  systems.
Moreover,  they  are gaining  more  and  more  attention in  important
application   areas  such  as   the  semantic   web,  service-oriented
computing, security,  and electronic contracting.

DALT 2012 will be held as a satellite workshop of AAMAS 2012, the 11th
International  Joint Conference  on Autonomous  Agents  and Multiagent
Systems,  in June  2011 in Valencia, Spain.   Following the  success of
nine previous editions, DALT will again aim at providing a discussion
forum to  both (i) support  the transfer of declarative  paradigms and
techniques  to   the  broader  community  of   agent  researchers  and
practitioners, and (ii) to bring  the issue of designing complex agent
systems  to  the  attention  of  researchers  working  on  declarative
languages and technologies.

DALT 2012 will have as a special interest topics those future trends of
the web, where declarative languages and technologies for multiagents
systems will play an effective role: in particular, social computing
(models of social interactions, trust, commitments, and contracts;
social  environments based on declarative technologies) and its related
semantic issues (explicit representation of knowledge and mechanisms for
allowing societies of agents to reason on that).

----------------------------------------------------------------------
                          TOPICS OF INTEREST
----------------------------------------------------------------------

DALT topics of interest include, but are not limited to:


DALT 2012 special topic: declarative approaches for agent-based social
computing
* models of social interactions among agents
* models of buiness interactions among agents
* models of trust, commitments, and reputation for agents
* declarative description of contracts and negotiation policies
* social environments based on declarative technologies
* Semantic Web-aware declarative agents

General themes:
* specification of agents and multi-agent systems
* declarative approaches to engineering agent-based systems

Formal techniques:
* (constraint) logic programming approaches to agent systems
* distributed constraint satisfaction
* modal and epistemic logics for agent modeling
* game theory and mechanism design for multi-agent systems
* semantics of agent communication
* model checking agents and multi-agent systems
* agent communication and coordination languages
* protocol specification, verification, and reasoning

Declarative models:
* declarative models of agent beliefs, goals and capabilities
* declarative models of bounded rationality
* declarative approaches for agent-based grid computing
* declarative paradigms for the combination of heterogeneous agents
* declarative approaches to organizations and electronic institutions
* agent-inspired declarative approaches to Web services and
service-oriented computing

Applications of declarative techniques to:
* multi-agent systems for service-oriented computing
* agent-based grid computing
* security and trust in multi-agent systems
* e-health, e-commerce, e-learning, sociotechnical systems, social
networks, virtual organizations.

Evaluation of declarative approaches:
* experimental analysis of declarative agent technologies
* industrial experiences with declarative agent technologies

----------------------------------------------------------------------
                       SUBMISSION INSTRUCTIONS
----------------------------------------------------------------------

We  welcome and  encourage  the submission  of high-quality,  original
papers, which  are not being submitted  simultaneously for publication
elsewhere.  Papers  should be written in  English, formatted according
to the Springer LNCS style,  and not exceed 16 pages. Paper submission
is electronic via the conference website.

----------------------------------------------------------------------
                         WORKSHOP PROCEEDINGS
----------------------------------------------------------------------

Printed copies of  the proceedings will be available  at the workshop.
Assuming a sufficient number of high-quality submissions, we are again
going to  consider the publication of formal  post-proceedings with an
international  publisher.   The post-proceedings  of  DALT 2003  (LNAI
2990), DALT 2004  (LNAI 3476), DALT 2005 (LNAI  3904), DALT 2006 (LNAI
4327),  DALT 2007 (LNAI  4897), DALT  2008 (LNAI  5397),  DALT 2009
(LNAI  5948), and DALT 2010 (LNAI 6619) have  been published  by
Springer-Verlag  in the Lecture Notes in Artificial Intelligence series.

----------------------------------------------------------------------
                           IMPORTANT DATES
----------------------------------------------------------------------

Paper submission deadline:                    28 February 2012
Notification of acceptance/rejection:         27 March 2012
Camera-ready copies due:                      10 April 2012
Workshop Date:                                4 or 5 June     2012

----------------------------------------------------------------------
                         WORKSHOP ORGANISERS
----------------------------------------------------------------------

Matteo Baldoni (University of Torino, Italy)
Louise Dennis (University of Liverpool, UK)
Viviana Mascardi (University of Genova, Italy)
Wamberto Vasconcelos (University of Aberdeen, UK)
_______________________________________________

2nd International Conference on Reputation (ICORE 2011)

2nd International Conference on
                           Reputation
                          (ICORE 2011)
           Montpellier, France, September 19th, 2011

                     http://2011.icore.name

                         co-located with
                           ESSA 2011



IMPORTANT DATES


** Abstract submission: June, 1st, 2011 **
Full papers required on 15 June.
Notification of acceptance: 10 July.
The conference will take place on 19 September.

------------

The second International Conference on *Reputation*: 'Society,
Economy, Trust' follows the success of the first edition
(http://2009.icore.name) as a point of convergence in the
interdisciplinary study of reputation.

The study of reputation and gossip is paramount in many fields of the
social sciences, for example organization science, policy-making,
(e-)governance, cultural evolution, social dilemmas, socio-dynamics,
and sociobiology. Interest in reputation is increasing in philosophy,
psychology, social psychology, sociology, and cognitive science;
formal models appear in game theoretical, mathematical, and physics
journals; computational reputation systems are among the most studied
subjects in multi-agent technology and social simulations.

Our objective is that of providing a common ground for all the
interested disciplines to share techniques and ideas on a stage where
the selection process approach is founded not on one specific method,
and even less on established practices and rituals, but rather on an
open-minded scientific approach to the the object of study.

This year, the  conference focuses on the foremost of Reputation's
relative, trust, and their effects together on the economy, and on the
society as a whole. What is the link between reputation and trust on
one side, and social well-being, equality and happiness on the other?
We invite contributions on reputation and trust, and how these come to
affect the society of agents that use them, ranging from web
reputation platforms to informal models of gossip. Trust and
reputation as means to build social capital and to overcome inequality
and misunderstandings are deeply needed from society just now.


TOPICS


We invite papers from all scientific communities working on reputation.

Topics for ICORE 2011 include but are not limited to:

   * Theory of reputation
   * Simulation of reputation
   * Computational models of reputation
   * Agent reputation models
   * Ontologies of reputation
   * Logical formalization of reputation
   * Experimental evidence of reputation diffusion
   * Reputation-based e-government, e-learning, e-business
   * Reputation in p2p systems
   * Reputation in grid environments
   * Reputation for partner selection
   * Incentives in reputation mechanisms
   * Image and reputation
   * Reputation management and optimisation
   * Reputation and social networks
   * Reputation and norms
   * Reputation and altruism, reciprocity, and cooperation
   * Reputation and trust
   * Reputation for sabotage tolerance in large-scale applications
   * Reputation and exchange
   * Reputation and institutions
   * Reputation and social capital
   * Corporate and firm reputation
   * Reputation and peer review
   * Reputation, trust, and societal cohesion
   * Reputation, trust and equality


SUBMISSIONS INSTRUCTIONS

Please check the conference website (http://2011.icore.name) where
detailed information on how to submit papers will appear.

Submission is in two steps: extended abstract first, followed by an
open discussion phase, then full paper. See important dates above.

REVIEW CRITERIA

Papers should present novel ideas related to reputation, clearly
motivated by problems from current practice or applied research.
We expect claims to be substantiated by theoretical or formal
analysis, experimental evaluations, comparative studies, and so on.
Authors are also encouraged to submit application papers. Application
papers are expected to address an indication of the real world
relevance of the problem that is solved, including a description of
the deployment domain, and some form of evaluation of performance,
usability, or superiority to alternative approaches.

CLIMA XII - 12th International Workshop on Computational Logic in Multi-Agent Systems

CLIMA XII
12th International Workshop on
Computational Logic in Multi-Agent Systems

with special sessions on:
* Norms and Normative Multi-Agent Systems.
* Logics for Games and Social Choice.

http://centria.di.fct.unl.pt/events/climaXII/

Barcelona, Spain, July 17-18, 2011.

Affiliated with IJCAI'11.
Submission deadline: April 4/8th.

Proceedings: LNCS/LNAI volume (available at the workshop).

JLC Special Issue: Selected extended papers will be published in a
Special Issue of the Journal of Logic and Computation.

++++++++++++++++++++++++++++++++++++++++++++++++++++

The purpose of the CLIMA Workshop Series is to provide a forum for
discussing techniques, based on computational logic, for representing,
programming and reasoning about agents and multi-agent systems in a
formal way.

Following the previous ten, very successful, editions, the 12th CLIMA
will be affiliated with IJCAI'11 and will take place in Barcelona, Spain,
on the 17th and 18th of July 2011.

In addition to CLIMA's regular topics and sessions, this edition will
feature two special sessions:

* Norms and Normative Multi-Agent Systems
* Logics for Games and Social Choice

We welcome and encourage the submission of high quality, original
papers, which have not been accepted for publication nor are currently
under review for another journal or conference.

LNCS Proceedings: CLIMA's Proceedings will be published by
Springer as a volume in the Lecture Notes in Computer Science, and
will be available in time for the workshop.

JLC Special Issue: After the workshop, authors of selected papers will
be invited to extend and re-submit their work to be considered for inclusion
in a CLIMA Special Issue of the Journal of Logic and Computation.

Detailed information regarding CLIMA, its topics of interest, the two Special
Sessions, formatting and submission instructions is available at
http://centria.di.fct.unl.pt/events/climaXII/

Important dates:
* Submission: April 4th (Abstracts) / April 8th (Papers)
* Notification: May 4th
* Camera Ready: May 16th

CLIMA XII Chairs:
* João Leite, New University of Lisbon, Portugal
* Paolo Torroni, University of Bologna, Italy

Special Session Organisers:

Norms and Normative Multi-Agent Systems:
* Guido Boella, University of Turin, Italy
* Leon van der Torre, Univ. of Luxembourg, Luxembourg

Logics for Games and Social Choice:
* Thomas Ågotnes, University of Bergen, Norway


Please send all enquiries about CLIMA XII to clima2011@easychair.org.

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

Special Issue on: FORMAL MODELS OF NORM CHANGE

Journal of Applied Non-Classical Logic

Special Issue on:

FORMAL MODELS OF NORM CHANGE

----------------------------------------------------------------------

Formal models of norm change have been drawing attention since the seminal work of Alchourrón and Bulygin on normative systems, and that of Alchourrón, Gärdenfors and Makinson on the logic of theory change. Research trends in Artificial Intelligence have recently revived this attention emphasizing the importance of a formal analysis of the type(s) of dynamics involved in systems of norms, and norm change has become the topic of a dedicated international workshop: http://www.cs.uu.nl/events/normchange2/index.html

This special issue aims at providing an up to date account of this recent and lively research area at the interface of logic, philosophy, computer science and legal theory.

We invite submissions on any topic in the following, not exclusive, list:

  * Dynamic logic approaches to norm change
  * AGM-like approaches to norm change
  * Deontic logic and the dynamics of informational attitudes
  * Deontic logic and game theory
  * Formal analysis of legal procedures
  * Norm change in legal theory
  * Norm change and multi-agent systems


SUBMISSION
==========

The papers can be submitted via email to Davide Grossi (d.grossi@uva.nl ).

The paper must be unpublished and not submitted for publication elsewhere. Submissions will be refereed according to the usual high standards of JANCL.

Submissions exceeding 25 pages will require a specific justification and the agreement of the editors.

The paper must be prepared in LaTeX. Typing instructions and style files can be obtained:
- in .ZIP format from: http://www.irit.fr/JANCL/Styles/Latex/Jancl_style_V2.1.6.zip
- in TAR.GZ format from: http://www.irit.fr/JANCL/Styles/Latex/Jancl_style_V2.1.6.tar.gz

Any further information about submission can be asked to Davide Grossi (d.grossi@uva.nl ).


PLANNED SCHEDULE
================

Deadline for submissions:               15 June 2010
First referee reports:                  15 August 2010
Submission revision (if necessary):     15 September 2010
Notification:                           30 September 2010
Final version:                          30 October 2010


GUEST EDITORS
=============

Jan Broersen, Utrecht University (broersen@cs.uu.nl )
Davide Grossi, University of Amsterdam (d.grossi@uva.nl )
Leendert van der Torre, University of Luxembourg (leon.vandertorre@uni.lu )


URL of the CFP: http://staff.science.uva.nl/~grossi/SpecialIssue/NormChangeJANCL





=================================
Davide Grossi
ILLC, University of Amsterdam
phone: +31 020 525 8254
_www.illc.uva.nl/~grossi_
=================================

Workshop on Logics, Agents, and Mobility (LAM'10)

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

http://www.dur.ac.uk/lam.10

15 July 2010, Edinburgh, Scotland, UK

organised as satellite workshop at the 
Twenty-Fifth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK

***************************************************************
NEWS: Invited Speakers: Frank Pfenning, David Pym
***************************************************************

Workshop Purpose:

The aim of this series of workshops is to bring together active researchers in
the areas of logics and other formal frameworks that can be used to describe
and analyse dynamic or mobile systems. The main focus is on the field of
logics and calculi for mobile agents, and multi-agent systems.

Many notions used in the theory of agents are derived from philosophy, logics,
and linguistics (belief, desire, intention, speech act, etc.), and
interdisciplinary discourse has proved fruitful for the advance of this
domain. The workshop intends to encourage discussion and work across the
boundaries of the traditional disciplines.

Outside of academia, distributed systems are a reality and agent programming
is beginning established itself as a serious contender against more
traditional programming paradigms. For example, the deployment of large-scale
pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs,
etc.) raises a number of scientific and technological challenges for the
modelling and programming of such large-scale, open and highly-dynamic
distributed systems. The agent and multi-agent systems approach seems
particularly adapted to tackle this challenge, but there are many issues
remaining to be investigated. For instance, the agents must be location-aware
since the actual services available to them may depend on their (physical or
virtual) location. The quality and quantity of resources at their disposal is
also largely fluctuant, and the agents must be able to adapt to such highly
dynamic environments. Moreover, mobility itself raises a large number of
difficult issues related to safety and security, which require the ability to
reason about the software (e.g. for analysis or verification).

Logics and type systems with temporal or other kinds of modalities (relating
to location, resource and/or security-awareness) play a central role in the
semantic characterisation and verification of mobile agent systems. In the
past two or three years, some logics have been proposed that would be able to
handle certain aspects of these requirements, but there are still many open
problems and research questions in the theory of such systems. The workshop is
intended to showcase results and current work being undertaken in the areas
outlined above with a focus on logics and other formalisms for the
specification and verification of dynamic, mobile systems.


Scopes of Interest:

The main topics of interest include
- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking 
- treatment of location and resources in logics
- security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.


Previous Workshops:

LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany 
LAM'09: 10 August 2009 at LICS in Los Angeles, USA


Format of the Workshop:

The workshop will be held as a one day event after LICS. There will 
be a short introduction and brief survey of the field by the 
organiser as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a 
discussion session. The latter is will give the participants a 
chance to discuss informally research directions, open problems, and 
possible co-operations.


Submission details:

Authors are invited to submit a full paper of original work in the 
areas mentioned above. The workshop chair should be informed of 
closely related work submitted to a conference or journal in advance 
of submission. One author of each accepted paper will be expected to 
present it at the LAM’10 workshop. Submissions should not exceed 15 
pages, preferably using the LaTeX article class. The following formats 
are accepted: PDF, PS. 

Please send your submission electronically via
EasyChair (http://www.easychair.org/conferences/?conf=lam09)
by the deadline listed below. The submissions will be reviewed by 
the workshop's programme committee and additional reviewers. 
Accepted papers will appear in electronic proceedings and authors 
will be encouraged to re-submit papers to formal proceedings to 
be published as a separate publication, e.g. as a special journal issue.


Invited Speakers:

Frank Pfenning (Carnegie Mellon University)
David Pym (University of Bath and HP)


Important Dates:

Submission Deadline: 9 April 2010
Notification: 1 May 2010
Workshop: 15 July 2010


Programme Committee:

Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Marina De Vos, Bath, UK
Louise Dennis, Liverpool, UK
Jürgen Dix, Clausthal, Germany
Berndt Farwer (chair), Durham, UK
Michael Fisher, Liverpool, UK
Didier Galmiche, Nancy, France
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Wojtek Jamroga, Clausthal, Germany
Michael Köhler-Bußmeier, Hamburg, Germany
João Leite, Lisbon, Portugal
Alessio Lomuscio, London, UK
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Vladimiro Sassone, Southampton, UK
Wamberto Vasconcelos, Aberdeen, UK


Further Information:

About the workshop: http://www.dur.ac.uk/lam.10
About LICS: http://www2.informatik.hu-berlin.de/lics/lics10/

CALL FOR TUTORIALS -- EASSS 2010

      !!!   CALL FOR TUTORIALS -- EASSS 2010   !!!

The twelfth edition of the European Agent Systems Summer School (EASSS 2010) will be in conjunction with MALLOW 2010 and take place at

  Ecole Nationale Supérieure des Mines de Saint-Etienne
                  Saint-Etienne, France
                   23-27 August, 2010
                http://easss2010.emse.fr

Researchers and lecturers in the field of autonomous agents and multi-agent systems are invited to submit a proposal for a state-of-the-art course in the twelfth edition of the European Agent Systems Summer School. Like its very successful predecessors, EASSS 2010 aims to offer a valuable forum for knowledge exchange between various research groups in this field for the benefit of students and researchers at both beginner and advanced level. The success of this summer school is essential not only for the mutual benefit of research groups, but also in forming future generations of researchers to maintain the excellence of Agents research and development in Europe.

Tutors are encouraged to submit a 1-page course proposal including:
the topic and its importance for the field, intended audience and their required background knowledge, outline of the topics to be presented, how the course material will be prepared, the tutors and their experience, level of the course (beginners/advanced), duration (typically 4 or 6 hours), and any special equipment requirements. Proposals will be evaluated based on the importance and quality of the topic description, the quality of the presentation material, and the teaching ability of the proposed speakers.

Deadline for proposals:         April 18, 2010
Notification:                   May 24,   2010
material for reader (< 26 pp)   July 4,   2010

A typical course has 4 hours in total, but variations are possible. Courses should be broad enough to provide a general introduction to the chosen topic, but it should also cover the most important contributions in depth. Courses are expected to take a wider perspective than one specific approach practised by an individual or group. For an impression, the courses given in 2001 are collected in a volume of Springer's LNAI series (No 2086), and programmes of previous editions of EASSS can be found via the webpage of EASSS09 (http://agents009.di.unito.it/EASSS.html).

The summer schools attract about 100 students each year. We intend to give a modest contribution towards tutors' expenses by providing free accommodation, but EASSS would not normally cover tutors' travel costs. Please note that this year EASSS is in conjunction (but not co-located) with MALLOW 2010 for the third time and takes place one week before that event. MALLOW 2010 will be in Lyon (very close to Saint-Etienne).

Submissions of tutorial proposals should be sent to Mehdi Dastani (mehdi@cs.uu.nl).

The EASSS-2010 Committee members are:

Local Chairs:
Olivier Boissier                Saint-Etienne, France
Gauthier Picard                 Saint-Etienne, France
Laurent Vercouter               Saint-Etienne, France

Program Committee:
Mehdi Dastani (chair)           Utrecht, Netherlands
Rafael Bordini                  Durham, UK
Catholijn Jonker                Delft, Netherlands
Barbara Keplicz                 Warszawa, Poland
Nicolas Maudet                  Paris, France
Andrea Omicini                  Bologna, Italy
Michal Pechoucek                Prague, Czech Republic

For information about local organisation please contact
Laurent Vercouter (easss2010@emse.fr).

POSSIBLE TOPICS:

* action selection and planning in multi-/agent systems
* adaptation, evolution and learning in multi-/agent systems
* agent-based simulation and modeling
* agent communication, agent dialogues and agent argumentation
* agents, ontologies, web services and semantic web
* agent-oriented software engineering and development methodologies
* agent programming languages and development tools   
* agent standardizations in industry and commerce
* applications and deployment for agents and multi-agent systems
* architectures for multi-agent systems
* artificial market systems, auctions, trading agents and electronic commerce, electronic institutions
* autonomous robots and robot teams
* believability, human-like qualities of synthetic agents, humanoid and sociable robots
* game theory and coalition formation for agents based systems
* computational complexity in agent systems
* conventions, commitments, norms, social laws and legal issues in multi-agent systems
* coordination, cooperation, and collaboration in multi-agent systems
* emergence, self-organisation and collective behavior in agent-based systems
* foundational issues and theories of agency     
* information agents, routers, brokering and matchmaking
* logics for specification, verification and validation of multi-agent systems
* mobile agents
* negotiation, task and resource allocation, and conflict handling in multi-agent systems
* privacy, safety and security in multi-agent systems
* scalability, robustness and dependability of multi-agent systems
* social and cognitive models for agents   
* social and organizational structures of multi-agent systems
* trust and reputation in multi-agent systems
* Multi-agent systems and/for Web Intelligence
* Multi-agent systems and/for Ambient Computing

14th International Conference on Artificial Intelligence: Methodology, Systems, Applications

The 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications
AIMSA 2010 - AI and Knowledge Societies: Learning, Sharing, Amplifying -

Varna, Bulgaria, 8-10th September, 2010
http://www.aimsaconference.org

**** Submission deadline: April 15th, 2010 ****

**** Proceedings published by Springer/LNCS ****

**** Keynote Speakers ****
John Domingue, Knowledge Media Institute, The Open University, UK
Wolfgang Wahlster, German Research Center for AI, DFKI, Germany

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

SCOPE
The AIMSA conference series has provided a biennial forum for the presentation of Artificial intelligence research and development since 1984. The conference, which is held in Bulgaria, covers the full range of topics in Artificial Intelligence and related disciplines and provides an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world.

The AIMSA conference series has provided a biennial forum for the presentation of AI research and development since 1984. The conference, which is held in Bulgaria, covers the full range of topics in Artificial Intelligence and related disciplines and provides an ideal forum for international scientific exchange between Central/Eastern Europe and the rest of the world. AIMSA 2010 is supported by ECCAI, European Coordinating Committee for Artificial Intelligence.

As its name indicates, the conference is dedicated to Artificial Intelligence in its entirety. However, for AIMSA 2010, we would like to put the emphasis on the application and leverage of Artificial Intelligence technologies in the context of knowledge societies where knowledge creation, accessing, acquiring, and sharing empower individuals and communities. A number of AI techniques play a key role in responding to these challenges. Artificial Intelligence is extensively used in the development of systems for effective management and flexible and personalized access to large knowledge bases, in the semantic web technologies that enable sharing and reuse of and reasoning over semantically annotated resources, in the emerging social semantic web applications that aid humans to collaboratively build semantics, in the construction of intelligent environments for supporting (human and agent) learning, etc. In building such intelligent applications, Artificial Intelligence techniq
ues are typically combined with results from other disciplines such as the social sciences, distributed systems, databases, digital libraries, information retrieval, service oriented applications, etc.  AIMSA 2010 aims to reflect this plethora of avenues with special attention to works that demonstrate the potential of AI for supporting learning, sharing, and amplifying of knowledge.

TOPICS
The conference welcomes submissions of original, high quality papers in all areas of Artificial Intelligence, including but not limited to:

   * AI in education
   * Ambient intelligence
   * Automated reasoning
   * Collaborative knowledge construction
   * Computer vision
   * Data mining and data analysis
   * Data semantics
   * Dialogue management and argumentation
   * Distributed AI
   * Information integration
   * Information retrieval
   * Intelligent decision support
   * Intelligent techniques for personalization and recommendation
   * Intelligent user interfaces
   * Knowledge engineering
   * Knowledge representation and reasoning
   * Large scale knowledge management
   * Logic and constraint programming
   * Machine learning
   * Multi-agent systems
   * Multimedia systems
   * Natural language processing
   * Neural networks
   * Ontologies (creating, learning, mapping, merging, alignment, evolution)    * Planning
   * Robotics
   * Semantic interoperability
   * Semantic peer-to-peer and grid systems
   * Semantic web content creation and annotation
   * Semantic web for desktops or personal information management
   * Semantic web for e-learning, e-business, e-culture, e-government, healthcare    * Semantic web inference schemes
   * Semantic web services (description, invocation, composition)    * Semantic web technologies for collaboration and cooperation    * Social network analysis, including community discovery and structure
   * Social networks and processes on the semantic web
   * Trust, privacy, and security on the web
   * Visualization and modelling and AI

All submissions will be subject to academic peer review by at least two members of the program committee. Selection criteria include accuracy and originality of ideas, clarity and significance of results, and quality of presentation. For each accepted paper, at least one author is required to attend the conference to present the paper.

The best paper of the conference, as selected by the AIMSA 2010 programme committee, will receive the Best Paper Award during the conference.

IMPORTANT DATES
   Submission deadline: April 15, 2010     Notification of acceptance: June 05, 2010
   Deadline for camera-ready: June 25, 2010
   Conference: September 8-10, 2010

SUBMISSION DETAILS
Papers have to be submitted electronically (in PDF format) on the address: http://www.easychair.org/conferences/?conf=aimsa2010.

Papers should be written in English and should be no more than 10 pages, font Times 11pt. Authors are requested to follow the LNCS Style. The first page should contain the title of the paper, names and addresses of all authors (including e-mail), an abstract (100-150 words) and a list of keywords.

Submissions should describe original research. Papers accepted for presentation at AIMSA 2010 cannot be presented or have been presented at another meeting with publicly available published proceedings. Papers that are being submitted to other conferences must indicate this on the title page, as must papers that contain significant overlap with previously published work.

Over lengthy or late submissions will be rejected without review. Notification of receipt and acceptance of papers will be sent to the first author.

PROCEEDINGS
The proceedings will be published by Springer-Verlag in their Lecture Notes in Artificial Intelligence subline of the Lecture Notes in Computer Science series.

LANGUAGE
The official language of the conference is English.

LOCATION
AIMSA will be held at the Golden Sands Tourist Complex, 18 km from the north-east of Varna and 24 km from Varna airport. More information is available in the brochure at the conference web site.

PROGRAMME COMMITTEE CHAIR
Darina Dicheva Winston-Salem State University
Winston-Salem, North Carolina, USA
dichevad@wssu.edu
http://myweb.wssu.edu/dichevad/
LOCAL ORGANIZING COMMITTEE CHAIR
Danail Dochev Institute of Information Technologies
Bulgarian Academy of Sciences
Acad. G. Bonchev 29A, 1113 Sofia, Bulgaria
E-mail:  dochev@iinf.bas.bg

PROGRAMME COMMITTEE
Gennady Agre (Bulgarian Academy of Sciences, Bulgaria)  Galia Angelova (Bulgarian Academy of Sciences, Bulgaria)   Grigoris Antoniou (ICS-FORTH, Heraklion, Greece)     Annalisa Appice (University of Bari, Italy)  Sören Auer (University of Leipzig, Germany) Franz Baader (Technical University Dresden, Germany)  Roman Barták (Charles University, Czech Republic)  Petr Berka (University of Economics, Prague)   Mária Bieliková (Slovak University of Technology, Slovakia) Guido Boella (University of Torino, Italy) Paulo Bouquet (University of Trento, Italy) Diego Calvanese (Free University of Bozen-Bolzano, Italy) Valerie Camps (IRIT, Paul Sabatier University, France)  Yves Demazeau (CNRS, LIG Laboratory, France) Christo Dichev (Winston-Salem State University, USA)
Ying Ding (Indiana University, USA) Danail Dochev (Bulgarian Academy of Sciences, Bulgaria) Peter Dolog (Aalborg University, Denmark)  Ben du Boulay (University of Sussex, UK) Stefan Edelkamp (TZI, Bremen University, Germany) Floriana Esposito (University of Bari, Italy) Jérôme Euzenat (INRIA Rhône-Alpes, France)  Dragan Gasevic (Athabasca University, Canada)  Chiara Ghidini (FBK, Center for Information Technology, Italy)  Enrico Giunchiglia (University of Genova, Italy) Vania Dimitrova (University of Leeds, UK)   Martin Dzbor (Open University, UK)  Michael Fisher (University of Liverpool, UK) Harry Halpin (University of Edinburgh, UK) Dominikus Heckmann (Saarland University, Germany) Pascal Hitzler (Wright State University, USA) Geert-Jan Houben (Delft University of Technology, Netherlands) Irena Koprinska (University of Sydney, Australia)  Atanas Kyriakov (Ontotext Lab, Sirma Group Corp., Bulgaria) H. Chad Lane (USC/Institute for Creative Technologies, USA)  Ruben Lara (Telefonica R&D, Spain) Dominique Longin (IRIT, Paul Sabatier University, France)  Pierre Marquis (University of Artois, France) Erica Melis (German Research Institute for Artificial Intelligence (DFKI), Germany) Michela Milano (University of Bologna, Italy) Tanja Mitrovic (University of Canterbury , New Zealand)  Riichiro Mizoguchi (Osaka University, Japan) Radoslav Pavlov (Bulgarian Academy of Sciences, Bulgaria)  Marco Pistore (FBK, Center for Information Technology, Italy)  Enric Plaza (Artificial Intelligence Research Institute – CSIC, Spain) Allan Ramsay (University of Manchester, UK)  Zbigniew Ras  (University of North Carolina, Charlotte, USA) Ioannis Refanidis (University of Macedonia, Greece) Francesca Rossi (University of Padova, Italy) Paolo Rosso (Polytechnic University of Valencia, Spain) Giovanni Semeraro (University of Bari, Italy)  Luciano Serafini (FBK, Center for Information Technology, Italy)       Pavel Shvaiko (TasLab, Informatica Trentina, Italy)  Giorgos Stamou (National Technical University of Athens, Greece) Umberto Straccia (Institute of Information Science and Technologies - CNR, Italy) York Sure (University of Koblenz-Landau, Germany) Valentina Tamma (University of Liverpool, UK)    Annette ten Teije (Free University Amsterdam, Netherlands)  Klaus Tochtermann (Know-Center Graz, Austria) Dan Tufis (Research Institute for Artificial Intelligence, Romanian Academy, Romania) Petko Valtchev (University of Montréal, Canada) Julita Vassileva (University of Saskatchewan, Canada) Johanna Voelker (University of Mannheim, Germany)

ORGANISERS
Bulgarian Artificial Intelligence Association
Institute of Information Technologies at the Bulgarian Academy of Sciences (IIT – BAS)

LOGICS IN SECURITY (workshop at ESSLLI 2010)

CALL FOR PAPERS

LOGICS IN SECURITY (workshop at ESSLLI 2010)
August 9-13, 2010        Copenhagen, Denmark
    http://lis.gforge.uni.lu
    http://esslli2010cph.info/

----------------------------------------------------------------------

ABSTRACT

In the past two decades, a number of logics and formal frameworks have
been proposed to model and analyse interconnected systems from the
security point of view. Recently, the increasing need to cope with
distributed and complex scenarios forced researchers in formal security
to employ non-classical logics to reason about these systems.

The aim of this workshop is to bring together logicians and formal
security researchers to foster the cross-fertilization between these two
areas. Logicians have a lot to benefit from specifying and reasoning
about real-world scenarios as well as researchers in security
can apply recent advances in non-classical logics to improve their
formalisms.

We are interested in logical foundations of security and in particular
in the following topics:

Language-based security                  Access Control
Judgemental Analysis                     Privacy
Automated Theorem Proving                Protocol Verification
Term-Rewriting Systems      applied to   Security Architectures
Logical Programming                      Trust and Reputation Management
Modal Logic                              Static Analysis of Programs
Dynamic Logic                            Risk Management
Epistemic and Deontic Logic              Policy Compliance
                                         Security in Multi-Agent System
                                         Formal Cryptography

More details can be found at http://lis.gforge.uni.lu .

----------------------------------------------------------------------

SPECIAL ISSUE

A selection of the accepted papers will be published in a special issue
of the Journal of Logic and Computation

----------------------------------------------------------------------

IMPORTANT DATES

Paper submission deadline:    April 1, 2010.
Notification of acceptance:   May 25, 2010.
Workshop:                     August 9-13, 2010.

--------------------------------------------------------------

PAPER SUBMISSION

Papers should not exceed 15 pages, including references, in the Springer
LNCS style (http://www.springer.de/comp/lncs/authors.html). Authors of
accepted papers must guarantee that their papers will be presented at
the workshop. Papers should be submitted electronically, in pdf, via
easychair: http://www.easychair.org/conferences/?conf=lis2010 .

--------------------------------------------------------------

WORKSHOP CHAIRS

Dov Gabbay (King's College London, Bar-Ilan University and University of
Luxembourg)
Leendert van der Torre (University of Luxembourg)

PROGRAMME COMMITTEE

Steve Barker (King's College, UK)
Moritz Y. Becker (Microsoft Research, UK)
Guido Boella (University of Torino, Italy)
Frédéric Cuppens (ENST-Bretagne, France)
Deepak Garg (Carnegie Mellon University, USA)
Fausto Giunchiglia (University of Trento, Italy)
Wojtek Jamroga (University of Luxembourg, Luxembourg)
Simon Kramer (University of Tsukuba, Japan)
Alessio Lomuscio (Imperial College London, UK)
Fabio Martinelli (CNR, Italy)
Fabio Masacci (University of Trento, Italy)
Sjouke Mauw (University of Luxembourg, Luxembourg)
Catuscia Palamidessi (INRIA and Ecole Polytechnique, France)
Jun Pang (University of Luxembourg, Luxembourg)
Jean-Francois Raskin (Université Libre de Bruxelles, Belgium)
Mark Ryan (University of Birmingham, UK)
Hans van Ditmarsch (University of Sevilla, Spain)
Luca Viganò (University of Verona, Italy)

------------------------------------------------------------

CONTACT

For further inquiries please contact leon.vandertorre@uni.lu .

--------------------------------------------------------------

IEEE/WIC/ACM Intelligent Agent Technology 2010

#####################################################################
        IEEE/WIC/ACM Intelligent Agent Technology 2010
                  CALL FOR PAPERS
#####################################################################

2010 IEEE/WIC/ACM International Conference on 
Intelligent Agent Technology (IAT-10)

August 31 - September 3, 2010, York University, Toronto, Canada 

http://www.yorku.ca/wiiat10

Sponsored By
IEEE Computer Society
Web Intelligence Consortium (WIC)
Association for Computing Machinery (ACM)

##################################################################
# Papers Due: *** March 26, 2010 ***
# Accepted papers will be published in the conference proceedings
# by the IEEE Computer Society Press.
##################################################################

IAT 2010 will provide a leading international forum to bring together
researchers and practitioners from diverse fields, such as computer
science, information technology, business, education, systems
engineering, and robotics, to (1) examine the design principles and
performance characteristics of various approaches in intelligent agent
technology, and (2) increase the cross-fertilization of ideas on the
development of autonomous agents and multi-agent systems among
different domains.  By encouraging idea-sharing and discussions on the
underlying logical, cognitive, physical, and sociological foundations
as well as the enabling technologies of intelligent agents, IAT 2010
will foster the development of novel paradigms and advanced solutions
in agent-based computing.

IAT 2010 will be jointly held with the 2010 IEEE/WIC/ACM International
Conference on Web Intelligence (WI-10).  The two conferences will have
a joint opening, keynote, reception, and banquet. Attendees only need
to register for one conference and can attend workshops, sessions,
tutorials, panels, exhibits and demonstrations across the two
conferences. We are also planning a joint panel, joint paper sessions,
and a doctoral mentoring program to discuss
common problems in the two areas.

+++++++++++++++++++
Topics of Interest
+++++++++++++++++++

We invite submissions in all IAT related areas. Areas of interest include, 
but are not limited to:

* Autonomy-Oriented Computing (AOC)

- Autonomy-Oriented Modeling and Computing Methods
- Complex Behavior Characterization
- Complex Systems Modeling and Simulation
- Emergent Behavior
- Hard Computational Problem Solving
- Large-Scale Systems Applications (e.g., Social, Policy, Sustainability,
  Brain Informatics (BI), and Web Intelligence (WI) Applications) 
- Nature-Inspired Computing
- Regularities and Models of AOC
- Self-Organization in Multi-Agent Systems
- Self-Organized Complex Networks
- Swarm or Collective Intelligence
- Unconventional, Self-Organized Computing Paradigms

* Autonomous Knowledge and Information Agents

- Agent-Based Knowledge Discovery and Sharing
- Autonomous Information Services
- Distributed Data Mining
- Distributed Knowledge Systems
- Evolution of Topics, Trends, Knowledge Networks and Communities
- Human-Agent Interaction
- Information Filtering Agents
- Knowledge Aggregation
- Ontology-Based Services
- Recommender Systems

* Agent Systems Modeling and Methodology

- Agent Interaction Protocols
- Cognitive Architectures
- Cognitive Modeling of Agents
- Emotional Modeling
- Fault-Tolerance in Multi-Agent Systems
- Formal Framework for Multi-Agent Systems
- Information Exchanges in Multi-Agent Systems
- Learning and Self-Adaptation in Multi-Agent Systems
- Mobile Agent Languages and Protocols
- Multi-Agent Autonomic Architectures
- Multi-Agent Coordination Techniques
- Multi-Agent Planning
- Neuroeconomics
- Peer-to-Peer Models for Multi-Agent Systems
- Social Interactions in Multi-Agent Systems
- Task-Based Agent Context
- Task-Oriented Agents

* Distributed Problem Solving

- Agent-Based Cloud Computing
- Agent Networks in Distributed Problem Solving
- Collective Group Behavior
- Coordination and Cooperation
- Distributed Intelligence
- Distributed Search
- Dynamics of Agent Groups and Populations
- Efficiency and Complexity Issues
- Market-Based Computing
- Problem-Solving in Dynamic Environments

* Autonomous Auctions and Negotiation

- Agent-Based Marketplaces
- Auction Markets
- Combinatorial Auctions
- Hybrid Negotiation
- Integrative Negotiation
- Mediating Agents
- Pricing Agents

* Applications

- Agent-Based Assistants
- Agent-Based Virtual Enterprise
- Embodied Agents and Agent-Based Systems Applications
- Games
- Interface Agents
- Knowledge and Data Intensive Systems
- Perceptive Animated Interfaces
- Scalability
- Social Simulation (e.g., Social Behavior, Social Inference, Social
  Networks, and Social Norms)
- Socially Situated Planning
- Software and Pervasive Agents
- Tools and Standards
- Ubiquitous Systems and e-Technology Agents
- Virtual Humans
- XML-Based Agent Systems

++++++++++++++++++++++++++++++++++++
On-Line Submissions and Publication
++++++++++++++++++++++++++++++++++++

High-quality papers in all WI related areas are solicited. 
Paper submissions should be limited to a maximum of 8 pages in 
the IEEE 2-column format. 
The same format will be used for final camera-ready papers
(see the Author Guidelines at
http://www.ieeeconfpublishing.org/cpir/AuthorKit.asp?Community=CPS&Facility=CPS_Dec&ERoom=WI%2DIAT+2008).  
All submitted papers will be reviewed by the Program Committee 
on the basis of technical quality, relevance, significance, and clarity. 

Note that IAT'10 will accept ONLY on-line submissions in 
PDF format. Please use the Submission Form on the WI'10
website to submit your paper. Accepted papers will be published in the
conference proceedings by the IEEE Computer Society Press that is
indexed by EI.

Submissions accepted as regular papers will be allocated 8 pages in the
proceedings and accorded oral presentation times in the main conference. 
Submissions accepted as short papers will be allocated 4
pages in the proceedings and will have a shorter presentation time at
the conference than regular papers.

All co-authors will be notified at all time, for the submission,
notification, and confirmation on the attendance. Submitting a paper
to the conference and workshops means that, if the paper is accepted,
at least one author should attend the conference to present the
paper. The acceptance list and no-show list will be openly published
on-line. For no-show authors, their affiliations will receive a
notification.

Papers receiving outstanding review scores from IAT'10 will be 
invited for possible inclusion, in an expanded/revised form, 
in Web Intelligence and Agent Systems: An International Journal 
(http://wi-consortium.org/journal.html). Those that are recommended by 
reviewer(s) to the Journal will also be considered.

The best paper awards will be conferred at the conference on the
authors of (1) the best research paper and (2) the best application
paper. Application-oriented submissions will be considered for the
best application paper award. 

More detailed instructions and the On-Line Submission Form will be
found on the IAT'10 homepage: 
http://www.yorku.ca/wiiat10/contributors.php

++++++++++
Workshops
++++++++++

An important part of the conference is the workshop program which will
focus on new research challenges and initiatives.  All papers accepted
for workshops will be allocated 4 pages and will be included in the
Workshop Proceedings published by the IEEE Computer Society Press that
are indexed by EI, and will be available at the workshops. Detailed
information is available at the conference homepage.

Note: we will not have a separate workshop registration fee
(i.e., conference registration covers everything).

Accepted Workshops:

The Third WI-IAT Doctoral Workshop (WI-IAT DW)
http://roughsets.home.pl/www/WI-IAT2010/DoctoralWS.html

First International Workshop on the Adaption of Web Services (AWS)
http://www.uc.rnu.tn/aws2010.html

Second International Workshop on Collaborative Agents - 
Research and development (CARE)
http://www.csse.monash.edu.au/~xtg/CARE2010/

Human Aspects in Ambient Intelligence: Agent Technology, 
Human-Oriented Knowledge, and Applications (HAI)
http://www.cs.vu.nl/~tbosse/HAI10/

Service Intelligence and Engineering (SIE)
http://166.111.68.103/WI-SI2010/

Service-Oriented Computing for Collective Intelligence (SOC4CI)
http://paginas.fe.up.pt/~melania/SOC4CI2010.html

Third Workshop on Logics for Intelligent Agents and Multi-Agent Systems 
(WLIAMAS)
http://www.comp.mq.edu.au/conferences/wliamas10/

3rd Workshop on Collective Intelligence in Semantic Web and 
Social Networks (CISWSN)
http://resources.smile.deri.ie/ciswsn2010/

4th International Workshop on Intelligent E-government and 
Emergency Management (IEEM)
http://management.dlut.edu.cn/IEGEM10/index.htm

International Workshop on Computational Social Networks (IWCSN)
http://arg.vsb.cz/iwcsn2010/

International Workshop on Intelligent Web Interaction (IWI)
http://ymd.ex.nii.ac.jp/ws/iwi/10/

10th International Workshop on Meta-synthesis and Complex Systems (MCS)
http://meta-synthesis.iss.ac.cn/mcs2010/

Natural Language Processing and Ontology Engineering (NLPOE)
http://nlpoe2010.pqpq.net/

First International Workshop on Opinion Mining for Business Intelligence (OMBI)
http://www.yorku.ca/xhyu/OMBI10/

2nd Workshop on Soft Approaches to Information Access on the Web (SAIAW)
http://scdmir.ugent.be/node/16

Trust and Recommender Systems for Social Search and Web Logs Analysis (TReSSS)
http://www.tresss.org/public/

International Workshop on Web-scale Knowledge Representation, Retrieval, 
and Reasoning (Web-KR3)
http://www.wici-lab.org/wici/web-kr3-2010/

3rd International Workshop on Web Information Retrieval Support Systems (WIRSS)
http://uxlab.cs.mun.ca/wirss2010/

Web Personalization and Recommender Systems (WebPRES)
http://www.webpres-workshop.com/

Optimization-based Data Mining and Web Intelligence (ODMWI)
http://www.feds.ac.cn/kxyj/WI-IAT2010.htm

++++++++++
Tutorials
++++++++++

IAT'10 also welcomes Tutorial proposals. IAT'10 will include tutorials
providing in-depth background on subjects that are of broad interest
to the Web intelligence community. Both short (2 hours) and long (half
day) tutorials will be considered. The tutorials will be part of the
main conference technical program. Detailed information is available
at the conference homepage.

Note: we will not have a separate tutorials registration fee
(i.e., only one conference registration covers everything).

++++++++++++++++++++
Industry/Demo-Track
++++++++++++++++++++

We solicit Industry/Demo-Track papers by the following methods.

(1) Industry papers of 4 pages can be submitted on the same schedule as
    the research track.
(2) Separate 2 page demo proposals can submitted at a later schedule.
(3) Full regular paper submissions can include a demo option.
    That is, a full paper submissions will be asked to
    specify if they would like to give a demonstration; choice of
    demonstrations (while utilizing information from the regular reviewing
    process) will be selected based on value as a demonstration.

For options (1) and (2), more detailed instructions will be found at
the homepage: http://www.yorku.ca/wiiat10/participants.php 

++++++++++++++++
Important Dates
++++++++++++++++

 * Electronic paper submission (8 pages): March 26, 2010
 * Tutorial proposal submission: March 26, 2010
 * Workshop paper submission: April 16, 2010
 * Author notification: May 28, 2010
 * Conference dates: August 31-September 3, 2010

++++++++++++++++++++++++
Conference Organization
++++++++++++++++++++++++

Conference General Chair:
  * Nick Cercone, York University, Toronto, Canada 

Program Chair:
  * Jimmy Huang, York University, Toronto, Canada

IAT Program Co-Chairs:
  * Takahira Yamaguchi, Keio University, Japan 
  * Ali A. Ghorbani, University of New Brunswick, Canada
  * Mohand-Said Hacid, Universite Claude Bernard Lyon 1, France 

WI Program Co-Chairs:
  * Vijay Raghavan, University of Louisiana, USA 
  * Irwin King, The Chinese University of Hong Kong, Hong Kong
  * Gareth Jones, Dublin City University, Ireland 

Organizing Co-Chairs:
  * Aijun An, York University, Toronto, Canada 
  * Thomas Lynam, York University, Toronto, Canada 
  * Marshall Walker, York University, Toronto, Canada 

Workshop Co-Chairs:
  * Orland Hoeber, Memorial University of Newfoundland, Canada
  * Yuefeng Li, Queensland University of Technology, Australia 

Industry-Demo Co-Chairs: 
  * Dominik Slezak, Infobright Inc., Canada 
  * Tony Abou-Assaleh, GenieKnows.com, Canada 

Tutorial Co-Chairs:
  * Sourav Saha Bhowmick, Nanyang Technological University, Singapore 
  * Mounia Lalmas, University of Glasgow, UK 

Publicity Co-Chairs: 
  * Vlado Keselj, Dalhousie University, Canada 
  * Markus Kirchberg, Institute for Infocomm Research, A*STAR, Singapore 
  * Jianhan Zhu, University College London, UK

IEEE-CS-TCII Chair:
 * Ning Zhong, Maebashi Institute of Technology, Japan

ACM-SIGART Chair
 * Maria Gini, University of Minnesota, USA

WIC Co-Chairs/Directors:
 * Ning Zhong, Maebashi Institute of Technology, Japan
 * Jiming Liu, Hong Kong Baptist University, Hong Kong 

WIC Advisory Board: 
 * Edward A. Feigenbaum, Stanford University, USA
 * Setsuo Ohsuga, University of Tokyo, Japan
 * Benjamin Wah, University of Illinois, Urbana-Champaign, USA
 * Philip Yu, University of Illinois, Chicago, USA
 * L.A. Zadeh, University of California, Berkeley, USA

WIC Tech. Committee & WI/IAT Steering Committee:
 * Jeffrey Bradshaw, UWF/Institute for Human and Machine Cognition, USA
 * Nick Cercone, York University, Canada
 * Dieter Fensel, University of Innsbruck, Austria
 * Georg Gottlob, Oxford University, UK
 * Lakhmi Jain, University of South Australia, Australia
 * Jianchang Mao, Yahoo! Inc., USA
 * Pierre Morizet-Mahoudeaux, Compiegne University of Technology, France
 * Hiroshi Motoda, Osaka University, Japan
 * Toyoaki Nishida, Kyoto University, Japan
 * Andrzej Skowron, Warsaw University, Poland
 * Jinglong Wu, Okayama University, Japan
 * Xindong Wu, University of Vermont, USA
 * Yiyu Yao, University of Regina, Canada

*** Contact Information ***

Jimmy Huang (Conference General Program Chair)
Email: wiiat10@yorku.ca 

The WIC Office
Email: wi10@wi-consortium.org

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

3rd International Workshop on Logics, Agents, and Mobility (LAM'10)

http://www.dur.ac.uk/lam.10

15 July 2010, Edinburgh, Scotland, UK

organised as satellite workshop at the Twenty-Fifth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE (LICS 2010), Edinburgh, Scotland, UK
(part of FLoC 2010)



Workshop Purpose:

The aim of this series of workshops is to bring together active researchers in the areas of logics and other formal frameworks that can be used to describe and analyse dynamic or mobile systems. The main focus is on the field of logics and calculi for mobile agents, and multi-agent systems. 

Many notions used in the theory of agents are derived from philosophy, logic, and linguistics (belief, desire, intention, speech act, etc.), and interdisciplinary discourse has proved fruitful for the advance of this domain. The workshop intends to encourage discussion and work across the boundaries of the traditional disciplines.

Outside of academia, distributed systems are a reality and agent programming is beginning established itself as a serious contender against more traditional programming paradigms. For example, the deployment of large-scale pervasive infrastructures (mobile ad-hoc networks, mobile devices, RFIDs, etc.) raises a number of scientific and technological challenges for the  modelling and programming of such large-scale, open and highly-dynamic distributed systems. The agent and multi-agent systems approach seems particularly adapted to tackle this challenge, but there are many issues remaining to be investigated. For instance, the agents must be location-aware since the actual services available to them may depend on their (physical or virtual) location. The quality and quantity of resources at their disposal is also largely fluctuant, and the agents must be able to adapt to such highly dynamic environments. Moreover, mobility itself raises a large number of difficult issues related to safety and security, which require the ability to reason about the software (e.g. for analysis or verification). 

Logics and type systems with temporal or other kinds of modalities (relating to location, resource and/or security-awareness) play a central role in the semantic characterisation and verification of mobile agent systems. In the past two or three years, some logics have been proposed that would be able to handle certain aspects of these requirements, but there are still many open problems and research questions in the theory of such systems. The workshop is intended to showcase results and current work being undertaken in the areas outlined above with a focus on logics and other formalisms for the  specification and verification of dynamic, mobile systems.


Scopes of Interest:

The main topics of interest include
- specification and reasoning about agents, MAS, and mobile systems
- modal and temporal logics
- model-checking 
- treatment of location and resources in logics
- security
- type systems and static analysis
- logic programming
- concurrency theory with a focus on mobility or dynamics in agent systems.


Previous Workshops:

LAM'08: 4--8 August 2008 at ESSLI in Hamburg, Germany 
LAM'09: 10 August 2009 at LICS in Los Angeles, USA


Format of the Workshop:

The workshop will be held as a one day event after LICS. There will 
be a short introduction and brief survey of the field by the 
organiser as an introduction to the workshop.

The workshop will contain invited talks, contributed talks, and a 
discussion session. The latter is will give the participants a 
chance to discuss informally research directions, open problems, and 
possible co-operations.


Submission details:

Authors are invited to submit a full paper of original work in the 
areas mentioned above. The workshop chair should be informed of 
closely related work submitted to a conference or journal in advance 
of submission. One author of each accepted paper will be expected to 
present it at the LAM'10 workshop. Submissions should not exceed 15 
pages, preferably using LaTeX and a suitable class for the proceedings. 
The following formats are accepted: PDF, PS. 

Please send your submission electronically via
EasyChair 
by the deadline listed below. The submissions will be reviewed by 
the workshop's programme committee and additional reviewers. 
Accepted papers will appear in electronic proceedings (probably in  EPTCS) 
and authors will be encouraged to re-submit papers to formal proceedings 
to be published as a separate publication, e.g. as a special journal issue.


Invited Speakers:

David Pym (University of Bath and HP)
TBA


Important Dates:

Submission Deadline: 9 April 2010
Notification: 1 May 2010
Workshop: 15 July 2010


Programme Committee:

Thomas Agotnes, Bergen, Norway
Matteo Baldoni, Torino, Italy
Marina De Vos, Bath, UK
Louise Dennis, Liverpool, UK
Jürgen Dix, Clausthal, Germany
Berndt Farwer (chair), Durham, UK
Michael Fisher, Liverpool, UK
Didier Galmiche, Nancy, France
James Harland, Melbourne, Australia
Andreas Herzig, Toulouse, France
Wojtek Jamroga, Clausthal, Germany
Michael Köhler-Bußmeier, Hamburg, Germany
João Leite, Lisbon, Portugal
Alessio Lomuscio, London, UK
Dale Miller, INRIA, France
Frederic Peschanski, Paris, France
Vladimiro Sassone, Southampton, UK
Wamberto Vasconcelos, Aberdeen, UK


Further Information:

About the workshop: http://www.dur.ac.uk/lam.10
About LICS: http://www2.informatik.hu-berlin.de/lics/lics10/

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