Ambient Systems, Networks and Technologies (ANT-2012)

         The 3rd International Conference on Ambient Systems, Networks and Technologies (ANT-2012)
       
                                             27-29 August, 2012
                                       Niagara Falls, Ontario, Canada

                            Website:http://cs-conferences.acadiau.ca/ant-12/
             ****************************************************************************

IMPORTANT DATES
===============
- Full Paper Submission:      February 29, 2012 (Extended)
- Acceptance Notification:    April 10, 2012
- Camera-Ready Submission:    May 10, 2012
- Workshops Proposals:        December 10, 2011

ANT-2012 accepted papers will be printed in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series (on-line and CD). Procedia Computer Sciences is hosted on www.Elsevier.com and on Elsevier content platform ScienceDirect (http://www.sciencedirect.com), and will be freely available worldwide. All papers in Procedia will also be indexed by Scopus (http://www.scopus.com) and Engineering Village (Ei) (http://www.engineeringvillage.com). This includes EI Compendex (http://www.ei.org/compendex). The papers will contain linked references, XML versions and citable DOI numbers. All accepted papers will also be indexed in DBLP (http://dblp.uni-trier.de/). Selected papers will be invited for publication in special issues of international journals.

Conference Tracks:
=================
- Agent Systems, Intelligent Computing and Applications
- Automatic Networks and Communications
- Data Management
- Emerging Networking, Tracking and Sensing Technologies
- Multimedia and Social Computing
- Multimodal Interfaces
- Service Oriented Computing for Systems & Applications
- Smart Environments and Applications
- Systems Security and Privacy
- Systems Software Engineering
- Vehicular Networks and Applications
- General Track

COMMITTEES
=========

General Chairs
Nick Cercone, York University, Canada
Albert Zomaya, The University of Sydney, Australia

Program Chairs
Hossam Hassanein, Queen's University, Canada
Muhammad Younas, Oxford Brookes University, UK
Takahiro Hara, Osaka University, Japan

Advisory Committee
Ali Ghorbani, University of New Brunswick, Canada
Katia Sycara, Carnegie Mellon University, USA
Erol Gelenbe, Imperial College, UK
Vincenzo Loia, University of Salerno, Italy
Ralf Steinmetz, Technische Universitaet Darmstadt, Germany
Peter Thomas, Manifesto Research, Australia
Sajal K. Das, The University of Texas at Arlington, USA
Timothy K. Shih, Tamkang University, Taiwan

Workshops Chairs
Senol Erdogan, Maltepe University, Turkey
Markus Aleksy, ABB Corporate Research Center, Germany

Program vice Chairs
Rainer Unland, University of Duisburg-Essen, Germany
Reiner Wichert, Fraunhofer-Institut for Computer Graphics IGD, Germany
Jiang Li, Howard University, USA
Tarek Sheltami, KFUPM, Saudi Arabia
Eric Pardede, La Trobe University, Australia
Irena Mlynkova, Charles University, Czech Republic
Abdelfettah Belghith, University of Manouba, Tunisia
Anis Koubaa, Al-Imam University, Saudi Arabia/CISTER Research Unit, Portugal
Keivan Kian-Mehr, University of Western Ontario, Canada
Tansel Ozyer, TOBB Econo & Tech University, Turkey
Thomas Grill, University of Salzburg, Austria
Mohyuddin, King Abdullah International Medical Research Center, Saudi Arabia
Zakaria Maamar, Zayed University, UAE
Jamal Bentahar, Concordia University, Canada
Abdallah Mhamed, Telecom SudParis, France
Wail Mardini, Jordan University of Science and Technology, Jordan
Ridha Khedri, McMaster University, Canada
Luis Javier Garc抋 Villalba, Universidad Complutense de Madrid, Spain
Agustinus Waluyo, Monash University, Australia
Bharat Jayaraman, University at Buffalo (SUNY), USA
Soumaya Cherkaoui, Sherbrooke University, Canada
G. Ram Mohana Reddy, National Institute of Technology Karnataka, India
Adnan Al-Anbuky, Auckland University of Technology, New Zealand

International Journals Chair
Nauman Aslam, Northumbria University, UK

Local Arrangement Chairs
Ramiro Liscano, University of Ontario, Canada
Bessam Abdulrazak, Sherbrooke University, Canada

Publicity Chairs
Weiwei Fang, Beijing Jiaotong University, China
Djamal Benslimane, Lyon 1 University, France
Thais Regina de Moura Braga Silva, Federal University of Vicosa, Brazil
Wael M El-Medany, University of Bahrain, Bahrain

International Liaison Chairs
Karim Djouani, South African Institute of Technology, South African
Verdi Marchm, HP Labs Singapore, Singapore

Awards Chairs
Maytham Safar, Kuwait University, Kuwait
Bernady Apduhan, Kyushu Sangyo University, Japan

Steering Committee Chair
Elhadi Shakshuki, Acadia University, Canada

Agents Applied in Health Care

*7th Workshop on Agents Applied in Health Care*
http://deim.urv.cat/~itaka/workshops/aamas2012

To be held in conjunction with the
Eleventh International Conference on Autonomous Agents and Multi-Agent Systems
(AAMAS 2012, 4th-8th June 2012, Valencia, Spain)


/LATEST NEWS

/
/.    If the quantity and quality of the papers submitted to the workshop is appropriate, those papers accepted for presentation at the workshop and presented in Valencia will be invited to present extended versions to a *special issue on agents applied in health care of the International Journal on Artificial Intelligence Tools (IJAIT)*, included in JCR.

.    Paper* submission deadline extended to February 28th* (this deadline will not be further extended)./

*Technical description*
Intelligent agent-based systems constitute one of the most exciting research areas in Artificial Intelligence. Due to the growing interest in the application of agent-based systems in health care, a number of applications addressing clinical problems are already based in agent technology. Thus, it may now be a good time for the specialists in the field to meet and report on the results achieved in this area, to discuss the benefits (and drawbacks) that agent-based systems may bring to medical domains, and also to provide a list of the research topics that should be tackled in the near future.

This workshop will try to incorporate two novel aspects with respect to related workshops held in the last years:

.    Interdisciplinary research: special efforts will be devoted to try to attract the attention of health care and biomedical specialists, so that they attend the workshop and realise the potential benefits of agent technology.
.    Applied research: the organising committee will also pay special attention to papers describing applications which are not just academic, but are already deployed and running in a real medical environment.

Current topics of research include personalized health systems for remote and autonomous tele-assistance, communication and co-operation between distributed intelligent agents to manage patient care, information agents that retrieve medical information from distributed repositories, intelligent and distributed data mining, and multi-agent systems that assist the doctors in the tasks of monitoring and diagnosis. Several methodological and technical problems have been discovered by the researchers that attempt to deploy agent-based systems in the medical area; just to name a few, the growing number of huge databases that need to be integrated (e.g. genetic data from next generation sequencing), the difficulty to integrate new agent-based systems with legacy software, the need to apply changing national and international laws and regulations concerning the privacy of medical data and the security of the transaction of patient information between agents.

*Submitted papers should address at least one of the following issues:*

.    Co-operation between intelligent agents to improve patient management (e.g. distributed patient scheduling).
.    Agents that provide autonomous and remote care delivery.
.    Agents that provide information about medical services.
.    Multi-agent systems for patient monitoring and diagnosis.
.    Successful applications of agents and multi-agent systems in health care.
.    MAS that improve medical training or education (e.g. tutoring systems).
.    Medical agent-based decision support systems.
.    Information agents that gather compile and organise medical data and knowledge available on Internet.
.    Solutions to the basic methodological and technological problems associated to the real deployment of health-care agent-based systems:
-    Security, privacy of medical data.
-    Social acceptance of agent-based systems.
-    Integration and use of medical ontologies.
-    Lack of centralised control.
-    Communication standards.
-    Integration with other types of software.
.    Legal and ethical issues related to the use of agents in health care.
.    Surveys providing an up to date view of the state of the art in the area of agents in health care.

Submissions must be formatted following the guidelines of the main AAMAS conference. Papers must not be longer than 10 pages.

The workshop organisers would appreciate that anyone intending to submit a paper to the workshop communicates this intention before February 1st to the workshop contact person.

*Previous editions of the workshop*
.    First edition - ECAI 2002 in Lyon, France. Expanded versions of selected papers published in a special issue of AI Communications (Ed: A.Moreno, 2003).
.    Second edition - ECAI 2004 in Valencia, Spain. Expanded versions of selected papers published in a special issue of AI Communications (Ed: J.Nealon, 2005).
.    Third edition - IJCAI 2005 in Edinburgh, Scotland. Expanded versions of selected papers published in a special issue of IEEE Intelligent Systems (Ed: A.Moreno, December 2006).
.    Fourth edition - ECAI 2006 in Riva del Garda, Italy. Expanded versions of selected papers published in a volume of the Whitestein series in Software Agent Technologies and Autonomic Computing (December 2007).
.    Fifth edition - AAMAS 2008 in Estoril, Portugal.
.    Sixth edition - e-Health 2010 in Casablanca, Morocco. Papers published by Springer in a book of the series ICST Transactions on e-health.

*Preliminary workshop agenda *
The workshop will feature some of the following activities:
.    1-2 invited presentations by international experts in the field
.    Presentation of state-of-the-art papers with the latest developments in the field.
.    Possible demos of practical applications of MAS in health care.
.    Panel discussion of the main problems that have to be faced to deploy real agent-based health-care applications.

*Important dates*
.    February 28th, 2012: Deadline for paper submission (this deadline will not be further extended)
.    March 28th, 2012: Notifications of acceptance/rejection sent
.    April 10th, 2012: Deadline for sending camera-ready papers to workshop organisers.
.    June 4th or 5th, 2012: Workshop.
.    Autumn-Winter 2012:  Possibility of publishing revised and expanded versions of selected papers in a special issue of an appropriate scientific journal or book.

*
Paper review process*
All the submitted papers will be revised by at least three members of the Program Committee. The main aspects to be reviewed will be originality, technical accuracy and relevance to the workshop.
*
Post --proceedings: special issue in IJAIT*
If the quantity and quality of the papers submitted to the workshop is appropriate, those papers accepted for presentation at the workshop and presented in Valencia will be invited to present extended versions to a special issue on agents applied in health care of the International Journal on Artificial Intelligence Tools (IJAIT), included in JCR.

*Organising committee*
Antonio Moreno (contact person)
  University Rovira i Virgili (URV), Tarragona, Spain.
  e-mail: antonio.moreno@urv.net
Ulises Cortés
  Technical University of Catalonia (UPC), Barcelona, Spain
Magí Lluch-Ariet
  Informatics Research Institute, Barcelona, Spain
David Isern
  University Rovira i Virgili (URV), Tarragona, Spain.

*Scientific committee*
M.Beer, Sheffield Hallam Univ., UK
F.Grasso, Univ. of Liverpool, UK
A.Ilarramendi, Univ. of the Basque Country, Spain
P.Kostkova, City Univ., UK
L.Lhotska, Czech Technical Univ., Czech Republic
B.López, Univ. of Girona, Spain
M.Schumacher, Univ. of Applied Sciences Western Switzerland, Switzerland
A.Valls, Univ. Rovira i Virgili, Spain
L.Varga, ELTE University, Hungary

Trustworthy Multi-Agent Systems (TruMAS'12)

1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS'12)
KES-AMSTA 2012 Special Session, Dubrovnik, Croatia, 25-27 June 2012
http://www2.imm.dtu.dk/~ndra/TruMAS12
Proceedings published by Springer-Verlag in a volume of LNCS/LNAI.

IMPORTANT DATES

5 February 2012  Submission of papers
22 February 2012 Notification of acceptance
7 March 2012 Camera ready
25-27 June 2012 TruMAS and KES-AMSTA

WORKSHOP AIM AND SCOPE

The rapid development of computer-based technologies has made computers more and more complex and ubiquitous. Many computer-based systems are in charge of critical tasks such as, to mention only a few, the management of financial and medical databases, the monitoring of nuclear plants, the flying of airplanes, etc. Multi-agent systems (MAS) have been proposed as a new paradigm for conceptualizing, designing, and implementing open and distributed software systems. The foundational idea behind a Multi-Agent System is to have a loosely coupled network of software agents (i.e., sophisticated computer programs that act autonomously on behalf of their users) which interact to solve problems that are beyond the individual capacities or knowledge of each single agent. Therefore, it is not surprisingly MAS have received a lot of attention as reference computing paradigm to tackle complexity in modern computer-based systems.

However, the complexity of modern computer-based systems as well as their numerous applications has inherently increased the challenges for ensuring trustworthiness. Trustworthiness encompasses vital characteristics of a system such as safety (the non-occurrence of catastrophic consequences for the environment the system works in), security (the non-occurrence of unauthorized disclosure of information), integrity (the non-occurrence of inadequate information alteration), availability (the readiness for correct service of the system), reliability (the property of the system to continuously provide service) or more generically dependability. The overall trustworthiness of a system is connected to all the aforementioned properties and should be regarded holistically. Functional correctness, security, safety, reliability are facets that have to be ensured for the system's components as well as for the system as a whole.

The 1st International Workshop on Trustworthy Multi-Agent Systems (TruMAS 2012) aims at bringing together researchers, engineers and practitioners interested in all the different aspects of trust, dependability and security in Multi-Agent Systems. The workshop is expected to stimulate discussions about the future development of appropriate models, methods, notations, languages and tools for trustworthy Multi-Agent Systems. The overall goal is to explore the different facets of trustworthiness in Multi-Agent Systems, how every single aspect can be fostered, and how they relate.

Topics of interests include, but are not limited to:
- Trust and reputation models, metrics and assessment in Multi-Agent Systems
- Dependability facets in Multi-Agent Systems
- Fault-tolerance and robustness in Multi-Agent Systems
- Architectures for trustworthy Multi-Agent Systems
- Robust and secure communication in Multi-Agent Systems
- Robust and secure negotiation in Multi-Agent Systems
- Software engineering methodologies for trustworthy Multi-Agent Systems
- Security and access control in open Multi-Agent Systems
- Self-configuration and adaptation
- Formal methods and frameworks to model, analyze, prove, or measure aspects of trustworthy Multi-Agent Systems
- Industrial experiences in the adoption of trust-based Multi-Agent Systems approaches
- Rigorous software development to ensure trustworthiness in Multi-Agent Systems

Since the overall goal of trustworthy Multi-Agent Systems includes the investigation of several cross- disciplinary issues such as a deep understanding of trust vs. trustworthiness, trust-based approaches, dependability, etc..., a synergy between different scientific communities and research disciplines is needed. For this reason, although the workshop seems naturally focused on multi-agent issues, contributions from different disciplines such as philosophy, sociology, psychology, communication sciences, as well as from computer science specific sub-disciplines such as software engineering and dependability are welcomed and encouraged.

SUBMISSION INSTRUCTIONS

Submitted full papers must not exceed 10 pages in length, including bibliography and well-marked appendices. Papers can be submitted using the PROSE Online Paper Submission system available on the KES-AMSTA'12 Web site. Please remember to select the TruMAS invited session entry in the "Session Name" drop-down box when submitting your paper.

Please use the LNCS templates and style files available on the Springer Web site (Information for LNCS Authors).

Submitted papers will be evaluated by the program committee and chosen for presentation based on their scientific contribution and relevance to the topics of the workshop. At least one author of each accepted paper must register to the workshop and participate presenting the paper.

Proceedings will be published by Springer-Verlag in a volume of LNCS/LNAI.

CHAIRS

Nicola Dragoni
DTU Informatics
Technical University of Denmark, Denmark
ndra@imm.dtu.dk

Manuel Mazzara
School of Computing Science
Newcastle University, UK
manuel.mazzara@newcastle.ac.uk

PROGRAM COMMITTEE

Faycal Abouzaid, CRAC, Ecole Polytechnique of Montreal, Canada
Enrico Denti, DEIS, University of Bologna, Italy
Nicoletta Fornara, Faculty of Communication Sciences, University of Lugano, Switzerland
Katsuhide Fujita, Institute of Engineering Innovation, School of Engineering, The University of Tokyo, Japan
Mauro Gaspari, Department of Computer Science, University of Bologna, Italy
Paolo Giorgini, Information Engineering and Computer Science Department (DISI), University of Trento, Italy
Nathan Griffiths, Department of Computer Science, University of Warwick, UK
Koji Hasebe, Academic Computing & Communications Center, University of Tsukuba, Japan
Hiromitsu Hattori, Graduate School of Informatics, Kyoto University, Japan
Takayuki Ito, Department of Computer Science and Engineering, Nagoya Institute of Technology, Japan
Waqar Jaffry, Department of Artificial Intelligence, VU University, The Netherlands
Andrew J I Jones, Department of Informatics, King's College London, UK
Steve Marsh, Communications Research Centre, Canada
Hernan Melgratti, University of Buenos Aires, Argentina
Paul Scerri, Robotics Institute, Carnegie Mellon University, USA
Eugen Staab, imc AG, Germany
Daniel Villatoro, Artificial Intelligence Research Institute, Spanish Scientific Research Council, Spain
Mirko Viroli, DEIS, University of Bologna, Italy

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)
_______________________________________________

Programming Multi-Agent Systems (ProMAS'12)

Tenth International Workshop on Programming Multi-Agent Systems (ProMAS'12)


ProMAS'12 is a satellite workshop at AAMAS 2012 Valencia, Spain, 4-5 June 2012


Over the last decade, the ProMAS workshop series has provided a venue
for state-of-the-art research in programming languages and tools for
the development of multi-agent systems. With the increasing commercial
application of multi-agent systems, the need for development tools and
platforms capable of supporting "professional" or "industrial
strength" MAS development has only increased. Such languages and tools
must be developed in a way that is principled and and at the same time
practical, and ProMAS aims to address both theoretical and practical
issues related to developing and deploying multi-agent systems.

Now in its 10th edition, ProMAS has proved to be an invaluable venue
for bringing together leading researchers from both academia and
industry to discuss key issues in the design of programming languages
and tools for multi-agent systems. In particular, the workshop
promotes the discussion and exchange of techniques, concepts,
requirements and principles central to multi-agent programming
technology. These include the theory and application of agent
programming languages, how to effectively implement a multi-agent
system specification or design, the verification and analysis of agent
systems, as well as the implementation of social structures in
agent-based systems (e.g., organisations, coordination, and
communication in multi-agent systems).

We encourage the submission of papers describing proposals for
programming languages and tools that provide specific programming
constructs to facilitate the implementation of multi-agent system
concepts (e.g., mental attitudes, distribution, and social
interaction). We also welcome submissions describing significant
multi-agent applications, as well as agent programming tools that
allow the integration of agents with legacy systems. We are
particularly interested in approaches or applications that show
clearly the added-value of multi-agent programming, and explain why
and how this technology should be adopted by designers and programmers
both in academia and industry.

TOPICS OF INTEREST

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

- Programming languages, models and abstractions for MAS
- Extensions of traditional languages for multi-agent programming
- Programming mobile agents
- Semantics for multi-agent programming languages
- Computational complexity of MAS
- Algorithms, techniques, or protocols relevant to multi-agent
programming (e.g., coordination, cooperation, negotiation)
- Agent communication issues in multi-agent programming
- Programming social, organizational, and normative aspects of MAS
- Interoperability and standards for MAS
- Safety and security for mobile MAS deployment
- Fault tolerance and load balancing for mobile MAS
- Generic tools and infrastructures for multi-agent programming
- High-level executable multi-agent specification languages
- Formal methods and tools for specification and verification of MAS
- Agent/environment/interaction/organization development tools and platforms
- Benchmarks and testbeds for comparing multi-agent programming
languages and tools
- Applications of multi-agent programming languages including: legacy
systems, pervasive applications, multi-robot systems, autonomous
software (e.g., UAVs), (Semantic) Web and Grid-based applications, and
deployed (industrial-strength) multi-agent systems
- Integration of multi-agent and mainstream technologies

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-5 June     2012

SUBMISSION DETAILS

Authors should submit their papers via the easychair conference
management system:


Papers should be formatted using Springer LNCS style

and should be less than 16 pages in length.

PUBLICATION

Accepted papers will be appear in informal proceedings to distributed
among participants during the workshop. As was the case with previous
editions of the ProMAS workshop, we are planning to publish extended
versions of selected and invited papers as a volume of the Lecture
Notes in Computer Science series by Springer-Verlag.


ORGANISING COMMITTEE

- Mehdi Dastani (Utrecht University, Netherlands)
- Brian Logan (University of Nottingham, UK)
- Jomi Hubner (Federal University of Santa Catarina, Brazil)


STEERING COMMITTEE

- Rafael H. Bordini (Federal University of Rio Grande do Sul, Brazil)
- Mehdi Dastani (Utrecht University, Netherlands)
- Juergen Dix (Clausthal University of Technology, Germany)
- Amal El Fallah Seghrouchni (University of Paris VI, France)

Infrastructures and Tools for Multiagent Systems ITMAS 2011

Dear colleagues, I am pleased to invite you to submit a paper to ITMAS 2011, 2nd International Workshop on Infrastructures and Tools for Multiagent Systems.

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

The 2nd International Workshop on Infrastructures and Tools for Multiagent Systems ITMAS 2011 Web page: http://itmas2011.gti-ia.dsic.upv.es

To be held with AAMAS 2011 (http://www.aamas2011.tw/)

2 - 6 May, 2011, Taipei, Taiwan

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

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

DESCRIPTION

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

ITMAS aims at bringing together leading researchers from both academia and industry to discuss issues on the design and implementation of infrastructures and tools for Multiagent Systems. When developing applications based on Multiagent Systems, developers and users demand infrastructures and tools which support essential features in Multiagent Systems (such as agent organizations, mobility, etc.) and facilitate the system design, management, execution and evaluation. Agent infrastructures are usually built using other technologies such as grid systems, service-oriented architectures, P2P networks, etc. In this sense, the integration and interoperability of such technologies in Multiagent Systems is also a challenging issue in the area of both tools and infrastructures for Multiagent Systems. A long term goal is the industrial development of infrastructures for building highly scalable applications comprising pre-existing agents that must be organized or orchestrated.

In order for Multiagent Systems to be included in real domains such as media and Internet, logistics, e-commerce and health care, infrastructures and tools for Multiagent Systems should provide efficiency, scalability, security, management, monitorization and other features related to building real applications.

We encourage the submission of papers describing any kind of infrastructures and tools that are used to provide support for Multiagent Systems. We are particularly interested in infrastructures and tools that allow agent-based systems to be adopted by designers and programmers both in academia and industry.

Specific topics for this workshop include, but are not limited to:

* Agent Infrastructures

* Agent Communication Technologies

* Interoperability and Standards

* Integration of technologies to support Multiagent Systems

* Integration of Agent Infrastructures with non-agent Infrastructures

* Efficiency and Scalability Evaluation

* Agent Infrastructure Benchmarks

* Security, Privacy and Identity Management in Multiagent Systems

* Secure Infrastructures and Tools for Multiagent Systems

* Infrastructures and tools supporting Social and Organizational Models

* Infrastructures and tools supporting Trust and Reputation Models

* Infrastructures and tools supporting Intelligent Virtual Environments

* Infrastructures and tools supporting Electronic Institutions

* Infrastructures for agent-based Service-Oriented Systems

* Design, Management and Monitoring tools for Multiagent Systems

* Models and Architectures for Designing Agent Infrastructures

* Coordination infrastructures for Multiagent Systems

* Environment infrastructures for Multiagent Systems

* Infrastructure support to Model-driven Engineering in Multiagent Systems

* Infrastructure mechanisms for self-organising Multiagent Systems

* Information Retrieval Tools for Multiagent Systems

* Semantic Web Tools for Multiagent Systems

* Mobile Agent Technologies

* Industry implementations of Multiagent Systems

* Experiences using Infrastructures and Tools for Multiagent Systems

* Infrastructures and Tools for Biomedical Multiagent Systems

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

IMPORTANT DATES

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

* Paper Sumbission Deadline: JANUARY, 30, 2011

* Paper Acceptance Notification: FEBRUARY 27, 2011

* Camera-ready copies due: MARCH 7, 2011

* Workshop Date: MAY 2-3, 2011

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

ORGANIZING COMMITTEE

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

* Vicent Botti (Universitat Politècnica de València, Spain)

* Ana Garcia-Fornes (Universitat Politècnica de València, Spain)

* Michal Pěchouček (Czech Technical University in Prague, Czech Republic)

* Alessandro Ricci (Alma Mater Studiorum-Università di Bologna, Italy)

* Jose M. Such (Universitat Politècnica de València, Spain)

* Danny Weyns (Katholieke Universiteit Leuven, Belgium)

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

PROGRAM COMMITTEE (to be confirmed)

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

* Juan M. Alberola (Universitat Politècnica de València, Spain)

* Makoto Amamiya (Kyushu University, Japan)

* Matteo Baldoni (Università degli Studi di Torino, Italy)

* Fabio Bellifemine (Telecom Italia, Italy)

* Juan A. Botía (University of Murcia, Spain)

* Vicent Botti (Universitat Politècnica de València, Spain)

* Frances Brazier (Vrije Universiteit, Netherlands)

* Nadia Erdogan (I.staurkeynbul Teknik Üniversitesi, Turkey)

* Agustin Espinosa (Universitat Politècnica de València, Spain)

* Jomi F. Hübner (Federal University of Santa Catarina, Brazil)

* Ana Garcia-Fornes (Universitat Politècnica de València, Spain)

* Kamalakar Karlapalem (International Institute of Information Technology, India)

* Yasuhiko Kitamura (Kwansei Gakuin University, Japan)

* Abder Koukam (University of Technology UTBM, France)

* Michal Laclavik (Slovak Academy of Sciences, Slovak Republic)

* Pavlos Moraitis (Paris Descartes University, France)

* Andrea Omicini (Alma Mater Studiorum-Università di Bologna, Italy)

* Sascha Ossowski (University Rey Juan Carlos, Spain)

* Michal Pechoucek (Agent Technology Center, Czech Republic)

* Alessandro Ricci (Alma Mater Studiorum-Università di Bologna, Italy)

* Juan A. Rodriguez-Aguilar (IIIA-CSIC, Spain)

* Murat Sensoy (University of Aberdeen, UK)

* Carles Sierra (IIIA-CSIC, Spain)

* Michael Shumacher (University of Applied Sciences Western, Switzerland)

* Jose M. Such (Universitat Politècnica de València, Spain)

* Pavel Vrba (Rockwell Automation Research Center, Czech Republic)

* Danny Weyns (Katholieke Universiteit Leuven, Belgium)

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

SUBMISSION and REVIEW DETAILS

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

Papers will be peer-reviewed by at least 3 reviewers from the Program Committee. Criteria for the selection of papers will include: high quality, clear presentation, novelty of research, relevance to the topics, coverage of relevant state of the art and the practical implementation of the infrastructures and tools presented.

Submissions must follow the Springer LNCS paper format and should be a maximum of 12 pages.

Papers must be submitted in pdf format via the conference management system, available at:

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

As in previous editions, we are negotiating the publication of extended versions of selected papers as a volume for a special issue in a journal indexed in the SCI.

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

CONTACT

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

Ana Garcia-Fornes (agarcia(at)dsic(dot)upv(dot)es)

International Conference on Mobile Computing and Multimedia (MoMM2010)

C A L L   F O R   P A P E R S

The 8th @WAS International Conference on Mobile Computing and Multimedia (MoMM2010)

   8-10 November, 2010
      Paris, France

Conference Website: http://www.iiwas.org/conferences/momm2010/
   email: momm2010@iiwas.org



*** IMPORTANT DATES ***
June 21, 2010 (EXTENDED)   : Full papers submission
August 30, 2010            : Acceptance Notification
September 15, 2010         : Camera-Ready Papers and Registration
November 08-10, 2010       : Conference


The speed and the quality of expanding and creating a vast variety of multimedia services like voice, email, short messages, Internet access, m-commerce, to mobile video conferencing, streaming video and audio has brought true mobile multimedia experiences to mobile customers. Due to constant changing environments, limited battery life and diverse data types, Mobile Multimedia implies considerable challenges to operators, infrastructure builders in terms of ensuring fast, reliable services and accommodating the quick growing global customer needs.
MoMM2010 aims to provide an international forum by researchers, students, and professionals for presenting recent research results on mobile computing and multimedia, and to bring together experts from both academia and industry for the exchange of ideas and discussion on future challenges in mobile computing and multimedia.


*** TOPICS OF INTEREST ***
Conference program will include invited talks, peer reviewed technical program, demos, short papers, posters, tutorials, panels, workshops and invited sessions on the same or related topics, industrial presentations, exhibitions around but not limited to the following topics:

Mobile Computing Track

- Mobile Applications & Services
- Mobile Computing Software Architectures
- Mobile Network Traffic Engineering, Performance & Optimization
- Wireless & Mobile Network Management and Service Infrastructure
- Database and Data Management Mobile Computing
- Regulatory and Societal Issues of Mobile Computing
- Mobile Computing Markets & Business Models
- Provisioning of Mobile Services
- Personalization, Privacy and Security in Mobile Computing
- Mobility and Location Management
- Transaction Processing in Mobile Environments
- Integration and Interworking of Wired and Wireless Networks 
- Distributed Systems Aspects of Mobile Computing 
- Operating System and Middleware Support for Mobile Computing 
- Security and Privacy of Mobile/Wireless Systems 

Multimedia Track

- Multimedia Databases
- Multimedia streaming and services
- Multimedia Coding and Encryption
- Multimedia for Learning
- Multimedia Description Language and Standard
- Image Clustering
- Content-Based Image Retrieval
- Interfaces for Multimedia Creation
- Media Fusion for Communication and Presentation
- Audio Analysis, Modeling, Processing and Transformation
- Video Analysis, Modeling, Processing and Transformation
- Video Mining and MPEG
- Image Modeling and Editing
- AI and Image Recognition
- Distributed Multimedia System

Mobile Multimedia Track

- Mobile Multimedia Applications & Services
- Communication and Cooperation through Mobile Multimedia
- Mobile Multimedia Software Architectures
- Wireless & Mobile Multimedia Network Management
- Mobile Multimedia Network Traffic Engineering & Optimization
- Enabling Infrastructures for Mobile Multimedia
- Regulatory and Societal Issues of Mobile Multimedia
- Mobile Multimedia Markets & Business Models
- Provisioning of Mobile Multimedia Services
- Personalization, Privacy and Security in Mobile Multimedia

*** PUBLICATION ***
MoMM2010 Proceedings will be published by ACM (pending approval) in cooperation with the Austrian Computer Society as a volume set in the books@ocg series and will be indexed and included in ACM Digital Library. Distinguished papers, after further revisions, will be published in special issues of :
[1] Journal of Mobile Multimedia 
[2] International Journal of Mobile Information Systems
[3] International Journal of Mobile Computing and Multimedia Communication
[4] Journal of Multimedia Tools and Applications (MTAP)
[5] Springer Springer Multimedia Systems Journal (MSJ)
[6] International Journal of Wavelets, Multi-resolution and Information Processing (IJWMIP)
[7] … more to come


*** SUBMISSION GUIDELINES ***
Papers must be submitted electronically in Postscript, PDF, or RTF/DOC format at (http://www.iiwas.org/conferences/momm2010/)
Submitted papers must not substantially overlap with papers that have been published or that are simultaneously submitted to a journal or a conference with proceedings. Submitted papers will be blindly peer reviewed by at least three members of the international program committee and carefully evaluated based on originality, significance, technical soundness, and clarity of exposition. Accepted papers will appear in the conference proceedings to be published by ACM (pending approval) and the Austrian Computer Society in books@ocg book series. The submitted papers should not exceed 8 pages and must follow the ACM guidelines (http://www.acm.org/sigs/publications/proceedings-templates).

*** COMMITTES ***
http://www.iiwas.org/conferences/momm2010/committee.html

*** ORGANIZATION ***
The conference is endorsed by the international organization for information integration and web based applications and services (@WAS) in cooperation with ACM SIGWEB (approval pending), hosted and organized by the University of Paris 8, France and supported by Monash University, Australia, La Trobe University, Australia and will be held in conjunction with the 12th international conference on Information Integration and Web-based applications & Services (iiWAS2010 - http://www.iiwas.org/conferences/iiwas2010/).

*** CONTACT ***
David Taniar
@WAS Scientific Committee Chair
Clayton School of Information Technology
Monash University
Clayton, VIC 3800
Australia
Email: david@iiwas.org

Workshop on New Frontiers in Service-Oriented Computing

Workshop on New Frontiers in Service-Oriented Computing
 
                                 In conjunction with
                        The Fifth International Conference on
                 P2P, Parallel, Grid, Cloud, and Internet Computing 
                                   (3PGCIC'2010)
 
                          November 4-6, 2010, Fukuoka, Japan
                 
                   http://serviceware.insa-lyon.fr/nfsoc/index.html 
 

WORKSHOP OBJECTIVES 
===================
The widespread use of Internet technologies has an important impact on the way organizations deal with their partners and customers. To remain competitive, organizations are under pressure to take advantage of the information revolution that the Internet and the Web have brought about. Most organizations are adopting Web-based approaches for more automation, efficient business processes, personalization, and worldwide visibility.
 
Service-Oriented Computing design principles and their implementation technologies such as Web services, JBI, and SCA could help organizations to become more Web-oriented. This should result in building interoperable business applications that can cross organizational boundaries. The development of different industry standards, products and tools for supporting service-based  system design and development is advancing at a very rapid rate. Despite all the efforts that are put into Service-Oriented Computing research and development, many organizations still struggle with how to make their core business operations comply with Service-Oriented Computing principles.
 
The purpose of this workshop is to discuss the recent and significant developments in the field of Service-Oriented Computing. The workshop will provide a forum for articles that tackle challenges related to specification, modeling, design, development and deployment of Service-Oriented Computing-based solutions.
 
TOPICS
======
Topics of interest for each of the main research tracks of the 2009 conference edition include, but are not  limited to:
  * Foundations of Services Computing
       Formal methods for services computing
       Services composition
       Services delivery
       Services discovery
       Services modeling
       Services science 
 
  * Service-centric Computing Models
       Service-oriented architecture (SOA)
       SOA industry solutions
       SOA industry standards
       SOA solution stack
 
  * Service Computing Management 
  Service Governance
  Service Monitoring 
  Trust and Security
  Risk assessment and Mitigation  
  Performance and Evaluation
 
 
  * Service Applications
  Software as a Service 
 Business, Educational and finance Services
    Application integration services
       Service computing process modeling
 Service transformation and integration
       Service level automation and orchestration
 Software architecture development and deployment
       
 
PAPER SUBMISSION
===============================
Authors are invited to submit original, unpublished research papers. All submissions should comply with the IEEE 8.5 two-column format. Papers should contain up to 5 keywords. Papers will be evaluated for originality, significance, clarity, and soundness, and will be reviewed by at least two independent reviewers. All papers are to be submitted in PDF electronically via the workshop
Web site and will be peer-reviewed by members of the international program committee.
 
IMPORTANT DATES
===============================
Paper Submission: April 30, 2010 
Notification of Acceptance: June 31, 2010 
Camera-Ready Submission: September 15, 2010
Conference days: November 4-6, 2010 
 
ORGANIZERS
==============================
Youakim Badr, INSA de Lyon, France
Zakaria Maamar, Zayed University, UAE
Zhongjie Wang, Harbin Institute of Technology, China
 
===============================
For more information about FSOC please visit the workshop home page at
http://serviceware.insa-lyon.fr/nfsoc/index.html 

Special Issue on: Distributed Intelligence and Data Fusion for Sensor Systems

Call for Papers

Special Issue on:
Distributed Intelligence and Data Fusion for Sensor Systems

in IET Communications (SCI Indexed)
http://scitation.aip.org/IET-COM

===========================================================

Scope

Use of intelligence, data mining and data fusion has provided new momentum in 
the use of sensors and converted WSNs into a new brand of dynamic, autonomous 
and intelligent Distributed Sensor Systems. These features enable new smart 
sensors to play new roles as intelligent nodes gathering, manipulating and 
decimating data for more reliable and secure communication whilst performing 
more efficiently using less energy and number crunching.

This special issue aims at presenting innovative and signifi cant research 
papers on the design, implementation and evaluation of wireless sensors, 
especially for use of distributed intelligence and data fusion. 



Topics of primaryinterest include, but are not limited to:
 
* applications and deployment of intelligence in sensor systems and distributed 
  data fusion
* sensor networking protocols and algorithms
* sensor network management protocol and systems
* cross-layer design and sensor network management protocols
* security of distributed intelligence in sensor networks
* inter-connection between distributed sensor systems
* testbed, experimental measurements & performance analysis
* systems for context sensing and context awareness
* tools and methodologies for sensory data fusion
* QoS provisioning protocols with data fusion technology
* collaborative in-network processing and data sharing
* use of Intelligence and data in energy harvesting



IMPORTANT DATES

* Deadline for Submission of Paper:   01 July 2010
* Authors to receive a 1st decision:  30 September  2010
* Final notification of acceptance:   31 January 2011
* On-line and print publication:      Q1/Q2 2011



Paper Submission:
All papers must be submitted through the journal's Manuscript Central system:




Guest editors:
 
 Dr. Lei Shu (Corresponding)
 Nishio Lab., Department of Multimedia Engineering
 Graduate School of Information Science and Technology
 Osaka University, Japan
 E-mail: lei.shu@ieee.org
 
 Prof. Jaime Lloret Mauri
 Polytechnic University of Valencia, Spain
 E-mail: jlloret@dcom.upv.es

 Prof. Joel Rodrigues
 University of Beira Interior, Portugal
 E-mail: joeljr@ieee.org

 Prof. Min Chen
 Seoul National University, Korea
 E-mail: minchen@ieee.org



IET Publishing Dept. contact:
 Paul Rowley
 Editorial Assistant
 IET Communications
 E-mail: prowley@theiet.org
 
 Professor Habib F. Rashvand
 Series Editor
 IET Communications
 E-mail: h.rashvand@warwick.ac.uk

Special Issue On Web-Based Enterprise Social Networks

International Journal of Information Technology and Web Engineering  
(IJITWE)
 
Special Issue On Web-Based Enterprise Social Networks
(http://www.igi-global.com/journals/details.asp?ID=4768&v=callForPapersSpecial)
 
Submission Due Date: May 2, 2010
 
Guest Editors
Yacine Atif
Youakim Badr
Youcef Baghdadi
Hamdi Yahyaoui
Zakaria Maamar
 
Introduction
With the popularity of Web-based applications, and widespread use of advanced mobile devices, socializing over the Web has become an integral part of our daily lives. Web 2.0 technologies have further fueled new collaborative applications leading to a new "social" dimension based on which new Web content is being produced and disseminated. This social dimension and new Web content developments led to a flurry of new applications and speculations on their potential to revolutionize future enterprises. Given how enthusiastically people have embraced social networks on the Web such as Facebook, MySpace, and Twitter, new models of social networks could also have a room within the enterprise. Already, some enterprises have deployed many of them to increase collaboration and communication among employees. However, these dominating social-networking Web applications lack some tools that would make them truly efficient enterprise solutions. Sparked by consumer use, could social networks become an enterprise trend as well? Would market shares be influenced? Will employees adopt new practices with the infiltration of social networks in the enterprise? Do we need to deploy new tools/infrastructure/framework? How well this form of socialization benefit enterprises? Could it liberate workforces from the constraints of raditional emails? And, could social networks become a B2B phenomenon?
 
 
Objective of the Special Issue
This special issue provides a forum for addressing the innovative opportunities, which are emerging from the confluence of Web 2.0 developments and social network applications in enterprise contexts. In this special issue, we solicit visionary as well as technology and application papers, which address Web-based social networks implications on future enterprises. Particular emphasis will be given  
to papers discussing data sharing scenarios, novel technologies or methodologies for building and managing enterprise social networks. We also welcome contributions relating to particular types of applications as well as to cross-cutting issues. This special issue journal aims at catalyzing new collaborations between academia and business operators, focusing on next generation Web empowered enterprises, which incorporates new Web-based ideas of collaboration  
as well as consumers and business partners Web empowerment.
 
 
Recommended Topics
Topics to be discussed in this special issue include (but are not limited to) the following:
 
- Web-based Social Network Design and Evolution
- Modeling social networks on the Web
- Web Architectures of social network
- Evolution and growth mechanisms of Web based social networks
- Online communities
- Information diffusion in social networks
- Recommendation models in Web-based the social network
- Web-based Social networking for enterprises
- Social network of agents, services, or resources on the Web
- Intelligence Emergence from Social Network
- Web based collaboration
- Web-based 3D environments (Second Life)
- Social Security and Trust
- Trustworthy social networks
- Security and privacy of social networks
- Anomaly detection in social network evolution
- Data protection in Web communities
- Modeling trust and reputation in Web ñbased social networks
- Misbehavior detection in communities
- Access control policies
- Intellectual property in Web 2.0
- Network geography
- Geographical clusters, networks, and innovation
- Web-based Social geography
- International Collaborations in e-Social networks
- Data and workflow provenance in Web 2.0
- Cloud computing
- Virtual worlds
- Evaluation
- Social networking management and monitoring
- Visualization of social networking on the Web
- Economical impact of social network discovery
- Web-enabled Social advertising
- Use of social networks for e-marketing.
- Search algorithms on social networks
- Web-based test collection
- Benchmark creation
- Measures and methodologies
- Data mining analysis of blogs
 
 
Submission
To view the full guidelines for submission, please visit the following page: http://www.igi-global.com/development/author_info/guide.asp
 
All submissions and inquiries should be directed to the attention of:
 
Dr. Yacine Atif
Point of Contact
Email: Yacine.Atif@uaeu.ac.ae
_

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/

Special Session on "Data Mining in Cloud Computing" in RSKT2010

Special Session on "Data Mining in Cloud Computing" in RSKT2010

Brief Description
The ‘Data Mining in Cloud Computing Session’ of the Fifth International Conference on Rough Set and Knowledge Technology (RSKT 2010) invites the submission of original high-quality research papers. The goal of this session is to bring together researchers and practitioners in the field of Cloud computing, Data mining and Knowledge Technology together to addresses the problems and emerging opportunities about Cloud Computing in the era of Knowledge Technology. Submissions will be in Springer LNCS style. Accepted and registered papers will be included in the Springer LNAI proceedings available at the conference. Extensions of selected papers from the RSKT2010 proceedings will be considered for publication in special issues of some international journals, such as Fundamental Informatics (EI, SCI indexed), International Journal of Computational Intelligence Systems (SCI indexed), etc.

Scope and Topics
Topics of interest include but not limited to:
* Knowledge technology in cloud computing
* Compute and storage cloud architectures and implementations
* Data intensive scalable computing
* Distributed data intensive computing
* Service models
* Programming models
* Charging models
* Virtual appliance management and composition
* Models, frameworks and systems for cloud security
* New applications on cloud

Important Dates
Full paper submission due: Apr.15.2010 
Paper acceptance/rejection notification: May 20, 2010
Camera ready submission and registration: July 6, 2010

Instructions for Authors
Articles should be submitted electronically. PDF format are acceptable and submissions should be according to the instruction for authors (see http://rskt2010.bjtu.edu.cn/paper.htm). Please specify that the paper is for the Knowledge Technology meet Cloud Computing session, and send an electronic copy of paper in PDF format in English to cqupt.yangyong@gmail.com. Same electronic copy must also be submitted online at EasyChair Login Page for RSKT 2010（https://www.easychair.org/login.cgi?a=a03a9c904a6d;iid=19053）.

Special session cochiars:
Prof. Zhongzhi Shi, Chinese Academy of Sciences, P.R.China
Prof. Dr. Guoyin Wang, Chongqing University of Posts and Telecommunications, P.R.China
Prof. Dr. Yiyu Yao, University of Regina, Canada
Dr. Yong Yang, Chongqing University of Posts and Telecommunications, P.R.China

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 .

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

WORLDCOMP'10

CALL  FOR  PAPERS
        Paper Submission Deadline: March 21, 2010

                      WORLDCOMP'10

       The 2010 World Congress in Computer Science,
       Computer Engineering, and Applied Computing
            July 12-15, 2010, Las Vegas, USA

        http://www.world-academy-of-science.org/

You are invited to submit a full paper for consideration. All
accepted papers will be published in the respective conference
proceedings. The proceedings will be indexed in Inspec / IET /
The Institute for Engineering & Technology, DBLP / Computer
Science Bibliography, and others.)


ACADEMIC & TECHNICAL CO-SPONSORS (a partial list):

The Berkeley Initiative in Soft Computing (BISC), University of
California, Berkeley, USA; Collaboratory for Advanced Computing
and Simulations (CACS), University of Southern California, USA;
Intelligent Data Exploration & Analysis Lab., University of
Texas at Austin, Texas, USA; Harvard Statistics Department
Genomics & Bioinformatics Lab., Harvard University,
Massachusetts, USA; BioMedical Informatics & Bio-Imaging Lab.,
Georgia Institute of Technology & Emory University, Georgia,
USA; Hawkeye Radiology Informatics, Department of Radiology,
College of Medicine, University of Iowa, USA; Minnesota
Supercomputing Institute, University of Minnesota, USA; Center
for the Bioinformatics and Computational Genomics, Georgia
Institute of Technology, USA; Medical Image HPC & Informatics
Lab. (MiHi Lab), University of Iowa, USA; University of North
Dakota, USA; NDSU-CIIT Green Computing & Communications Lab.,
North Dakota State University, USA; Knowledge Management &
Intelligent System Center (KMIS) of University of Siegen,
Germany; UMIT, Institute of Bioinformatics and Translational
Research, Austria; SECLAB of University of Naples Federico II,
University of Naples Parthenope, & Second University of Naples,
Italy; National Institute for Health Research; World Academy of
Biomedical Sciences and Technologies; High Performance
Computing for Nanotechnology (HPCNano); Supercomputer Software
Department (SSD), Institute of Computational Mathematics &
Mathematical Geophysics, Russian Academy of Sciences; Int'l
Council on Medical & Care Compunetics; The UK Department for
Business, Innovation and Skills, UK; VMW Solution Ltd.;
Scientific Technologies Corporation; HoIP - Health without
Boundaries; Space for Earth Foundation; and Manjrasoft (Cloud
Computing Technology company), Melbourne, Australia.


WORLDCOMP 2010 CONFERENCES: (all will be held simultaneously;
ie, same location and dates - tracks that have already received
a sufficient number of papers have been excluded from this list.)

o  BIOCOMP'10 - 11th annual Conference on Bioinformatics and
   Computational Biology
o  CDES'10 - 10th annual Conference on Computer Design
o  CGVR'10 - 14th annual Conference on Computer Graphics and
   Virtual Reality
o  CSC'10 - 7th annual Conference on Scientific Computing
o  DMIN'10 - 6th annual Conference on Data Mining
o  EEE'10 - 9th annual Conference on e-Learning, e-Business,
   Enterprise Information Systems, and e-Government
o  ESA'10 - 8th annual Conference on Embedded Systems and
   Applications
o  FCS'10 - 6th annual Conference on Foundations of Computer
   Science
o  FECS'10 - 6th annual Conference on Frontiers in Education:
   Computer Science and Computer Engineering
o  GCA'10 - 6th annual Conference on Grid Computing and
   Applications
o  GEM'10 - 7th annual Conference on Genetic and Evolutionary
   Methods
o  ICAI'10 - 12th annual Conference on Artificial Intelligence
o  ICOMP'10 - 11th annual Conference on Internet Computing
o  ICWN'10 - 9th annual Conference on Wireless Networks
o  IKE'10 - 9th annual Conference on Information and Knowledge
   Engineering
o  IPCV'10 - 14th annual Conference on Image Processing,
   Computer Vision, & Pattern Recognition
o  MSV'10 - 7th annual Conference on Modeling, Simulation and
   Visualization Methods
o  PDPTA'10 - 16th annual Conference on Parallel and Distributed
   Processing Techniques and Applications
o  SAM'10 - 9th annual Conference on Security and Management
o  SERP'10 - 9th annual Conference on Software Engineering
   Research and Practice
o  SWWS'10 - 6th annual Conference on Semantic Web and
   Web Services

Each of the conferences listed above has its own proceedings;
its own program committee members, and infrastructure. A
link to each of these conferences can be found at:
http://www.world-academy-of-science.org


GENERAL INFORMATION:

WORLDCOMP 2010 will be composed of research presentations,
keynote lectures, invited presentations, tutorials, panel
discussions, and poster presentations. In recent past,
keynote/tutorial/panel speakers have included: Prof. David A.
Patterson (pioneer/computer architecture, U. of California,
Berkeley), Dr. K. Eric Drexler (known as Father of
Nanotechnology), Prof. John H. Holland (known as Father of
Genetic Algorithms; U. of Michigan), Prof. Ian Foster (known
as Father of Grid Computing; U. of Chicago & ANL), Prof. Ruzena
Bajcsy (pioneer/VR, U. of California, Berkeley), Prof. Barry
Vercoe (Founding member of MIT Media Lab, MIT), Dr. Jim Gettys
(known as X-man, developer of X Window System, xhost; OLPC),
Prof. John Koza (known as Father of Genetic Programming,
Stanford U.), Prof. Brian D. Athey (NIH Program Director, U.
of Michigan), Prof. Viktor K. Prasanna (pioneer, U. of Southern
California), Dr. Jose L. Munoz (NSF Program Director &
Consultant), Prof. Jun Liu (Broad Institute of MIT & Harvard U.),
Anousheh Ansari (CEO, Prodea Systems & first female private
space explorer), and many other distinguished speakers. To get
a feeling about the conferences' atmosphere, see the 2009 delegates
photos available at: http://www.pixagogo.com/1672514104
Featured keynote speakers for 2010 are (this is a partial list;
there are 22 other keynotes/invited talks):
Prof. Lotfi A. Zadeh (Father of Fuzzy Logic) and Dr. Firouz Naderi
(Head, NASA Mars Exploration Program/2000-2005 and Associate Director,
Project Formulation & Strategy, Jet Propulsion Lab, CalTech/NASA).


WORLDCOMP 2010 MEMBERS OF STEERING COMMITTEE:
(Each conference has its own committee members - what appears
below is a partial list of members of the steering committee
of the federated event.)

Dr. Selim Aissi
Chief Strategist - Security, Manageability and Virtualization,
Ultra Mobile Group, Intel Corporation, USA

Prof. Hamid R. Arabnia (Contact Person)
Coordinator & General Co-Chair, WORLDCOMP 2010,
ISIBM Fellow & Professor, Department of Computer Science,
Editor-in-Chief, The Journal of Supercomputing (Springer),
Co-Editor/Board, Journal of Computational Science (Elsevier),
Advisory Board, IEEE Technical Committee on Scalable Computing,
The University of Georgia, Georgia, USA
email: hra@cs.uga.edu

Prof. Ruzena Bajcsy
Member, National Academy of Engineering,
IEEE Fellow, ACM Fellow,
Professor, Electrical Engineering & Computer Sciences
University of California, Berkeley, California, USA

Prof. Hyunseung Choo
ITRC Director of Ministry of Information & Communication, Korea,
Director, ITRC: Intel. HCI Convergence Research Center, Korea,
Director, Korea Information Processing Society,
Assoc. Editor, ACM Transactions on Internet Technology,
Assoc. Editor, Transactions on Computational Science, Springer;
Director, Korean Society for Internet Info. (KSII);
Sungkyunkwan University, Korea

Prof. (Winston) Wai-Chi Fang
IEEE Fellow
TSMC Distinguished Chair Professor,
National Chiao Tung University,
Hsinchu, Taiwan, ROC

Prof. Andy Marsh
Director HoIP (Healthcare over Internet Protocol),
Secretary-General WABT (World Academy of Biomedical Sci. & Tech.),
Vice-president ICET (Int'l Council for Engineering & Technology),
Vice-president ICMCC (Int'l Council on Medical & Care Compunetics),
Visiting Professor, University of Westminster, UK

Prof. Layne T. Watson
IEEE Fellow, NIA Fellow, ISIBM Fellow,
Fellow of The National Institute of Aerospace,
Departments of Computer Science and Mathematics,
Virginia Polytechnic Institute & State University,
Blacksburg, Virginia, USA

Prof. Lotfi A. Zadeh
Member, National Academy of Engineering,
IEEE Fellow, ACM Fellow, AAAS Fellow, AAAI Fellow, IFSA Fellow,
Director, Berkeley Initiative in Soft Computing,
Professor, University of California, Berkeley, USA


SUBMISSION OF PAPERS, PUBLICATION, INDEXING INFORMATION:

Prospective authors are invited to submit their papers
by uploading them to the evaluation web site at:
http://worldcomp.cviog.uga.edu/
Submissions must be uploaded by the end of March 21, 2010
and they must be in either MS doc (but not docx) or pdf
formats (about 5 to 7 pages - single space, font size of
10 to 12). At this time, all reasonable typesetting formats
are acceptable (later, the authors of accepted papers will
be asked to follow a particular typesetting format to
prepare their final papers for publication.)

The length of the Camera-Ready papers (if accepted) will be
limited to 7 (IEEE style) pages. Papers must not have been
previously published or currently submitted for publication
elsewhere. The first page of the draft paper should include:
title of the paper, name, affiliation, postal address, and
email address for each author. The first page should also
identify the name of the Contact Author and a maximum of 5
topical keywords that would best represent the content of
the paper.

All accepted papers will be published in the respective
conference proceedings (in both, printed book/ISBN form as
well as online). The proceedings will be indexed in Inspec /
IET / The Institute for Engineering and Technology, DBLP /
Computer Science Bibliography, and others. 7247) The printed
proceedings will be available for distribution on site at
the conference.

In addition to the publication of the proceedings, selected
authors will be invited to submit extended versions of their
papers for publication in a number of research books being
proposed/contracted with various publishers (such as,
Springer, Elsevier, IOS, ...) - these books would be
composed after the conference. Also, many chairs of sessions
and workshops will be forming journal special issues to be
published after the conference.


IMPORTANT DATES:

March 21, 2010:    Submission of papers (about 5 to 7 pages)
April 10, 2010:    Notification of acceptance (+/- two days)
May 1, 2010:       Final papers + Copyright + Registration
July 12-15, 2010:  The 2010 World Congress in Computer Science,
                   Computer Engineering, and Applied Computing
                   (WORLDCOMP'10)

LOCATION OF CONFERENCES:

See:
http://www.world-academy-of-science.org/worldcomp10/ws/location

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/