CFP: LADS'010

[Mehdi Dastani]

                        Call for papers
                 Third international Workshop on

           LAnguages, methodologies and Development tools
                     for multi-agent systemS
                          --  LADS'010 --

             ****** Submission Deadline Extended ******

                   http://www.cs.uu.nl/lads2010


      with special track on Agents, Web Services and Ontologies,
                       Integrated Methodologies
                           -- AWESOME'010 --
                     http://di.unito.it/awesome010

       To be held with MALLOW 2010 (http://mallow2010.emse.fr/)
                August 30th - September 2nd, Lyon, France



LADS'010 workshop aims to address both theoretical and practical issues
related to developing and deploying multi-agent systems. From a
theoretical point of view, theories, methodologies, models and
approaches are needed to facilitate the development of multi-agent
systems ensuring their predictability and verifications. Moreover,
formal declarative models and approaches have the potential of offering
solutions satisfying the needs for specifying and design of multi-agent
systems. From a practical point of view, LADS aims to address how
multi-agent system specifications or designs can be effectively
implemented and tested. To address such issues, the workshop promotes
the discussion and exchange of ideas concerning concepts, methodologies,
techniques and principles that are important for multi-agent programming
technology. Moreover, contributions that combine theoretical aspects
with practical ones are gaining more and more attention in important
application areas such as the electronic institutions, semantic web, web
services, security, grid computing, ambient intelligence, pervasive
computing, and electronic contracting. We encourage the submission of
original papers in any of the areas listed below.


Topics of interest Topics of interest include, but are not limited to, 
the ones below:
	Programming languages for multi-agent systems
	Extensions of traditional languages for multi-agent programming
	Semantics for multi-agent programming languages
	Implementation of social and organisational aspects of MAS
	Modal and epistemic logics for agent modelling
	Model checking agents and multi-agent systems
	Algorithms for multi-agent issues (e.g., coordination, cooperation,
         negotiation, distributed constraint satisfaction)
	Declarative approaches to engineering agent systems
	Declarative models of agent beliefs and capabilities
	Declarative models of bounded rationality
	Declarative paradigms for the combination of heterogeneous agents
	Specification and verification logics
	Logic programming approaches to agent systems
	Methodologies for MAS analysis and design
	Agent-oriented requirements analysis and specification
	Theoretical and practical aspects of multi-agent programming
	Computational complexity of MAS
	High-level executable multi-agent specification languages
	Agent communication in multi-agent programming
	Implementation of social and organisational aspects of MAS
	Agent development tools and platforms
	Generic tools and infrastructures for multi-agent programming
	Interoperability and standards for MAS
	Programming of mobile agents
	Safety and security for mobile MAS deployment
	Fault tolerance and load balancing for mobile MAS
	Formal methods for specification and verification of MAS
	Verification tools for implementations of MAS
	Experimental analysis of declarative agent technologies
	Industrial experiences with (declarative) agent technologies
	Service-oriented multiagent systems
	Protocol specification and conformance checking
	Declarative description of contracts and negotiation policies
	Application areas for multi-agent programming languages
	Applications using legacy systems
	Programming MAS for Grid-based applications
	Programming MAS for the Semantic Web
	Deployed (industrial-strength) MAS
	Benchmarks and testbeds for comparing MAS languages and tools
	Test and debugging tools and techniques for MAS
	Electronic institutions


* Important dates:

Paper submission deadline: *** 13 June 2010 ***
Notifications of acceptance/rejection: 6 July 2007
	
Workshop Date: 30 August 2010 - 2 September 2010


* Submission details

Papers should be written in English, formatted according to the
IEEEtran style [http://www.michaelshell.org/tex/ieeetran/], and they
should not exceed seven (7) pages including title page, figures,
references, etc.  Authors can submit their papers via a conference
management system Easychair
	   http://www.easychair.org/conferences/?conf=lads010
Accepted papers will be published as a technical report and
distributed among participants during the workshop. Post-proceedings
of selected and revised LADS'010 papers will be published as a volume
in Springer's Lecture Notes in Artificial Intelligence series.

* Programme Committee:
	Marco Alberti, New University of Lisbon, Portugal
	José Júlio Alferes, New University of Lisbon, Portugal
	Matteo Baldoni, University of Torino, Italy
	Juan A. Botía, Murcia University, Spain
	Lars Braubach, University of Hamburg, Germany
	Yves Demazeau, Institut IMAG, Grenoble, France
	Juergen Dix, Clausthal University, Germany
	Paolo Giorgini, University of Trento, Italy
	Koen Hindriks, Delft University, The Netherlands
	Shinichi Honiden, NII, Tokyo, Japan
	Wojtek Jamroga, Clausthal University, Germany
	Peep Küngas, SOA Trader, Ltd., Tallin, Estonia
	Brian Logan, University of Nottingham, UK
	Alessio Lomuscio, Imperial College London, UK
	Viviana Mascardi, University of Genova, Italy
	John-Jules Meyer, Utrecht University, The Netherlands
	Alexander Pokahr, University of Hamburg, Germany
	Alessandro Ricci, University of Bologna, Italy
	Patrick Taillibert, Thales Airborne Systems, Elancourt, France
	Paolo Torroni, University of Bologna, Italy
	Leendert van der Torre, University of Luxembourg, Luxembourg
	M. Birna van Riemsdijk, Delft University, The Netherlands
	Pinar Yolum, Bogazici University, Istanbul, Turkey
	Yingqian Zhang, Delft University, The Netherlands

* Organising Committee:
	Mehdi Dastani, Utrecht University, The Netherlands
	Amal El Fallah Seghrouchni, University of Paris VI, France
	Jomi Hübner, Federal University of Santa Catarina, Brazil
	João Leite, New University of Lisbon, Lisbon

* Steering Committee:
	Mehdi Dastani, Utrecht University, The Netherlands
	Amal El Fallah Seghrouchni, University of Paris VI, France
	João Leite, New University of Lisbon, Lisbon
	Paolo Torroni, University of Bologna, Italy


-- 


Mehdi Dastani
Intelligent Systems Group
Utrecht University
P.O.Box 80.089
3508 TB Utrecht
The Netherlands
Tel: +31 - 30 - 253 3599
Fax: +31 - 30 - 251 3791
URL: http://www.cs.uu.nl/~mehdi