[agents] CFP: LADS'010 - Deadline 13th of June 2010

Sat Jun 12 11:22:34 EDT 2010

******** Submission deadline  : 13th of June 2010 *****

Call for papers
Third international Workshop on
LAnguages, methodologies and Development tools
for multi-agent systemS 
--  LADS'010 --
 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 

_______________________________________________
agents mailing list
agents at cs.umbc.edu
http://lists.cs.umbc.edu/mailman/listinfo/agents