WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010

Second INTERNATIONAL WORKSHOP on Collaborative Agents -- REsearch and Development (CARE) 2010
31st August 2010, York University, Toronto, Canada

Abstract submission: April 14, 2010
Full paper submission: April 16, 2010

http://www.csse.monash.edu.au/~xtg/CARE2010/
============================================================

The workshop is held in conjunction with the International Conference on Intelligent Agent Technology (IAT).
http://www.yorku.ca/wiiat10/

Summary
=======

Collaboration is required when multiple agents achieve complex goals that are difficult or impossible to attain for an individual agent. This collaboration takes place under conditions of incomplete information, uncertainty, and bounded rationality, much of which has been previously studied in economics and artificial intelligence. However, many real world domains are characterised by even greater complexity, including the possibility of unreliable and non-complying collaborators, complex market and incentive frameworks, and complex transaction costs and organisational structures. This workshop's thematic focus is on collaborative and autonomous agents that plan, negotiate, coordinate, and act under this complexity.

This workshop aims to foster discussions on computational models of collaboration in distributed systems, addressing a range of theoretical and practical issues. We seek contributions of members in research and industry that use the agent paradigm to approach their problems.

Some issues of interest of this workshop are:
o How to enable agents to form and follow joint agreements and contracts in complex organisational and market driven domains.
o How to develop a comprehensive contractual formation/maintenance framework applicable to many application domains.
o How to build comprehensive customer lifecycle management systems for customers, including telecommunication consumers, students and patients.
o How to deploy lifecycle management systems in real world applications, such as healthcare, telecommunication, and smart campuses.
o How to design markets that are adequate for agents to act with incomplete and uncertain information of the behaviour of collaborating agents. o How to build MAS that work efficiently in partially regulated markets (where governance policy or partnership agreements govern part of the market).
o What are the implications of partial regulation on the management of contractual relationships and service delivery.
o How organisational structures influence the negotiation of agents and the distribution/execution of tasks.
o How to cope with collaborators that exhibit unreliable and non-conformant behaviour, eg where agreements are made but are not always conformed with.
o How can interventions and incentive structures assist in managing contractual relationships and service delivery.
o How to assign transaction costs to actions in planning, assignment, and execution in organisational structures. o How can transaction costs influence the social outcome of the system which is further influenced by the organisational context under which the collaboration takes place. o Can lessons learnt in game theoretic computation inform collaborative agent settings.
o What role does learning and adaptivity play in building organisational MAS.

The one day workshop will feature a mixture of invited talks, discussions and submitted contributions describing current work or work in progress in collaborative agent research and technology. The workshop environment fosters open discussions among all participants, particularly encouraging students to discuss their research topics and seek feedback from senior agent researchers.


Contact
=======

CARE organisers

christian.guttmann@gmail.com
dignum@cs.uu.nl

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

Abstract submission: April 14, 2010
Full paper submission: April 16, 2010

Notification: May 28, 2010
Camera ready: June 7, 2010


Topics of Interest include (but are not limited to):
====================================================

RESEARCH
* Collaboration frameworks
* Models of teamwork and joint action
* Organisation/Institutes/Norms
* Auctioning/Negotiation
* Task/Resource allocation
* Behaviour modelling/monitoring
* Adherence/Intervention mechanisms
* Incentive frameworks
* Intervention mechanisms
* Agreement technology
* Contract networks/formation
* Cloud computing

APPLICATION AREAS
* Collaborative care planning/management * Disaster planning/management
* Traffic planning/management
* Transport/Logistics
* Applications in primary and preventative healthcare * Chronic disease planning/management
* Epidemiological agent models
* Unmanned air/land vehicles
* Robotic soccer/Robotic rescues
* Weather forecast
* Artificial and natural immune systems
* Social networks (e.g., LinkedIn, Facebook,...)
* Smart grid network (e.g., electricity/gas metering)

Submission and Publication
==========================

Submission is to be done electronically at Cyberchair at: http://wi-consortium.org/cyberchair/wiiat10/scripts/ws_submit.php. CARE 2010 seeks 4-page submissions formatted according to IEEE specification.
Style Files for Paper Submission
IEEE Computer Society Proceedings Manuscript Formatting Guidelines:
DOC: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.doc PDF:ftp://pubftp.computer.org/press/outgoing/proceedings/instruct8.5x11.pdf PS: ftp://pubftp.computer.org/press/outgoing/proceedings/instruct.ps LaTex Formatting Macros:
ftp://pubftp.computer.org/Press/Outgoing/proceedings/IEEE_CS_Latex8.5x11x2.zip

Submissions will be peer-reviewed by two or three reviewers per paper. Selection criteria will include relevance, significance, impact, originality, technical soundness, quality of presentation. Some preference may also be given to papers which address emergent trends or important common themes, or which enhance balance of workshop topics.

Post-Proceedings will be published with a major international publisher (most likely Springer as for the CARE 2009).

Workshop Officials
==================

GENERAL CHAIRS
Christian Guttmann (Monash University, Australia)
Frank Dignum (University Utrecht, Netherlands)

PROGRAM COMMITTEE
Wei Chen (Intelligent Automation, Inc., United States of America)
Philippe Pasquier (Simon Fraser University, Canada) Michael Luck (King's College London, United Kingdom)
Lawrence Cavedon (NICTA and RMIT University, Australia)
Samin Karim (Accenture, Australia)
Cees Witteveen (Delft University of Technology, Netherlands)   
Franziska Klügl (Örebro University, Sweden)
Toby Walsh (NICTA and UNSW, Australia)
Cristiano Castelfranchi (Institute of Cognitive Sciences and Technologies, Italy)
Alexander Pokahr (University Hamburg, Germany)
Lars Brauchbach (University Hamburg, Germany)
Wayne Wobcke (University of New South Wales, Australia)
Rainer Unland (University of Duisburg-Essen, Germany)
Liz Sonenberg (Melbourne University, Australia) Kumari Wickramasinghe (Monash University, Australia)
Simon Thompson (British Telecom Research Laboratories, United Kingdom)
Gord McCalla (University of Saskatchewan, Canada)
Andrew Gilpin (Hg Analytics, United States of America)
David Morley (SRI International, United States of America)
Marcelo Blois Ribeiro (Pontifical Catholic University of Rio Grande do Sul, Brazil)
Simon Goss (Defence Science and Technology Organisation DSTO, Australia)

ACT4SOC 2010 - Workshop on Architectures, Concepts and Technologies for Service Oriented Computing

---------------------------------------------------------------------------------------------
WORKSHOPS IMPORTANT DATES
    Regular Paper Submission: April 06, 2010
    Authors Notification: May 04, 2010
    Final Paper Submission and Registration: May 19, 2010
---------------------------------------------------------------------------------------------

************************************************************************************************************
ACT4SOC 2010
4th International Workshop on
Architectures, Concepts and Technologies for Service Oriented Computing
Website: http://www.icsoft.org/ACT4SOC.htm 
************************************************************************************************************

Co-chairs:
Marten van Sinderen
University of Twente
The Netherlands

Brahmananda Sapkota
University of Twente
The Netherlands

Supported by IICREST and seekda!

Topics of interest for the workshop include, but are not limited to:

    * Service Foundation and Design Issues
          o Principles of SOC/SOA, Service Science
          o Service Modelling Approaches
          o Formal Specification and Analysis
          o Reasoning Approaches
          o Model-driven Development, Platform-independence
          o Service Interoperability (Semantic, Pragmatic), Matching and (Dynamic) Composition
          o Ontology-centered Design
          o Requirements-functionality (Business-IT) Alignment
          o Web 2.0, Social Networking, Mash-ups
          o Rest vs WS
          o Repeated Aggregation of Services into Composite Applications and Business Processes

    * Service Technology and Infrastructure Issues
          o Architectural Patterns
          o Service Registry Management
          o Requirements Management, Service Evolution
          o Quality-of-Service Management
          o Cross-domain Service Delivery
          o Specific Technology Platform Solutions
          o Language-specific Solutions
          o Tool Support
          o Applicability and Performance Experiences
          o Service Level Agreements

    * Service Usage Issues and Applications of SOC/SOA
          o Service Registration, Update, de-Registration
          o Service Discovery, Matching, Selection, Replacement
          o Service Invocation, Interaction, Monitoring
          o Service Choreography, Mediation, Orchestration
          o Traceability of Technology Changes in Requirements and Vice versa
          o Mobile and Ubiquitous Applications
          o Health and Homecare Applications
          o Supply Chain Management Applications
          o e-Commerce Applications


************************************************************************************************************
ACES 2010
1st International Workshop on
Autonomic Computing for Enterprise Systems 
Website: http://www.icsoft.org/ACES.htm 
************************************************************************************************************

Co-chairs:
Frances Brazier
Delft University of Technology
The Netherlands 

Martijn Warnier
Delft University of Technology
The Netherlands

Areas / Topics of interest include, but are not limited to:
1 - Software Engineering Methods for Building Autonomic Systems
2 - QoS Management in Autonomic and Dynamic Environments
3 - Emergent Behavior, Emergent Configurations
4 - Service Agreements and Negotiation
5 - Legal Implications of Self-management/autonomy in Networked Systems


************************************************************************************************************
DMIA 2010
1st International Workshop on
Data Management and Information Analytics
Website: http://www.icsoft.org/DMIA.htm
************************************************************************************************************

Co-chairs:

Markus Helfert
School of Computing, Dublin City University
Ireland

Brian Donnellan
National University of Ireland, Maynooth
Ireland

Topics of interest include, but are not limited to:

    * Managing Large Data Manufacturing Systems
    * Organizational Concepts and Best Practice
    * Architectural Concepts
    * Data and Information Quality
    * Data Modeling
    * Methods for Data Management
    * Modeling and Analyzing Relationship Data
    * Modeling Large Data Manufacturing Systems
    * Data Warehousing and Data Cleansing
    * Data Visualization
    * Data Privacy and Integrity
    * Management of Uncertain Data
    * Accessibility of Data
    * Mobile Data Management
    * Management of Sensor Data
    * Data Integration
    * Integration and Analyzing Semi-structured and Unstructured Data
    * Text Analytics
    * Business Cases and Cost/Benefit Analysis of Data Management Approaches


************************************************************************************************************
RTABIS 2010
1st International Workshop on
Recent Trends in Aspect based Information Systems
Website: http://www.icsoft.org/RTABIS.htm
************************************************************************************************************

Co-chairs:

Philippe Lahire
Laboratoire I3S, University of Nice Sophia-Antipolis
France

Jean-Yves Tigli
I3S Laboratory, Polytech'Nice Sophia Antipolis, University of Nice Sophia Antipolis
France

Valérie Monfort
Université Paris 1 Panthéon Sorbonne / ISIG, Kairouan University
France / Tunisia

Topics of interest include, but are not limited to:

- Software Engineering

    * Requirements Engineering
    * Analysis and Design Modeling
    * Domain Engineering
    * Software Architectures
    * Evaluation and Metrics
    * Modular Reasoning
    * Testing and Verification
    * Interference and Composition
    * Traceability
    * Software Development Methods
    * Process and Methodology Definition
    * Patterns

- Programming Languages

    * Language Design
    * Compilation and Interpretation
    * Verification and Static Program Analysis
    * Formal Languages and Calculi
    * Execution Environments and Dynamic Weaving
    * Dynamic and Scripting Languages
    * Domain-specific Aspect Languages

- Related Paradigms

    * Model-driven Development
    * Generative Programming
    * Software Product Lines
    * Meta-programming
    * Contracts and Components
    * View-based Development

- Tool Support

    * Aspect Mining
    * Evolution and Reverse Engineering
    * Crosscutting Program Views
    * Refactoring

- Applications

    * Distributed/Concurrent Systems
    * Middleware, Services, and Networking
    * Pervasive Computing
    * Runtime Verification
    * Performance Improvement SOA and Aspects
    * Multi Agent Systems and Aspects
    * E-learning and Intelligent Tutoring Systems and Aspect

- Industrial Feedback

    * Project Management with AOP
    * Success Story or Failure
    * Other Applications Experiences


************************************************************************************************************
RTSE4CAA 2010
1st International Workshop on Recent Trends
in Software Engineering for Context-Aware Applications
Website: http://www.icsoft.org/RTSE4CAA.htm
************************************************************************************************************

Co-chairs:
Yacine Atif
College of Information Technology, United Arab Emirates University
U.A.E.

Olivier Camp
ESEO, Angers
France

Slimane Hammoudi
ESEO, Angers
France

Zakaria Maamar
College of Information Technology, Zayed University
U.A.E.

Topics of interest include, but are not limited to:

    * Modelling of Context and of Context Aware Applications
    * Model Driven Engineering of Context Aware Applications
    * Ontologies for Context-aware Applications
    * Dynamic Adaptation in Context Aware Applications
    * Discovery, Composition and Adaptation of Services in Context-aware Applications
    * Intelligent Context Aware Applications
    * Programming Paradigm and Software Architectures for Context Aware Applications
    * Benchmarking and Performance of Context Aware Applications
    * Specification, Verification and Test of Context Aware Applications
    * Context Aware Business Processes
    * Database and Knowledge Management in Context-aware Applications
    * Trust, Privacy and Security Issues in Context Aware Applications
    * Human-computer Interaction in Context-aware Applications


************************************************************************************************************
S2C 2010
1st International Workshop on
Software and Simulation Components
Website: http://www.icsoft.org/S2C.htm
************************************************************************************************************

Co-chairs:

Alexander Verbraeck
Delft University of Technology
The Netherlands

Mamadou Seck
Delft University of Technology
The Netherlands


Areas / Topics of interest include, but are not limited to:

1 - Theory Formation for Hierarchical and Component-based Modeling
2 - Component-based and Hierarchical Modeling in the Software Engineering Field
3 - Component-based and Hierarchical Modeling in the Simulation Field
4 - Use of Libraries of Components to Enhance (Distributed) Systems Development
5 - Best Practices for Component Development, Reuse, and Hierarchical Systems Development


Kind regards,
Monica Saramago
ICSOFT Workshops Secretariat
Av. D. Manuel I, 27A 2.esq.
2910-595 Setubal, Portugal
Tel.: +351 265 520 185
Fax: +44 203 014 5433
Email: icsoft.workshops.secretariat@insticc.org
Website: http://www.icsoft.org

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 Servise-Oriented Computing and Multi-Agent Systems (SOCMAS 2010)

   IEEE 2010 First International Workshop on Servise-Oriented Computing and Multi-Agent Systems (SOCMAS 2010)

Miami, Florida, USA, one day between July 5-10, 2010
in conjunction with SERVICES 2010

Description

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

List of Topics:

We invite papers on all aspects relating to the overlap of Agent Technology, Semantic Web services, and Service-oriented Computing. Topics of interest include, but are not limited to:
* Agent-oriented architectures, frameworks, and infrastructures for distributed service-oriented software and Semantic Web systems
* Agent-oriented modeling and design methods and tools for service-oriented software and Semantic Web development
* Web services and Semantic Web technologies and standards for multi-agent system design, development and integration
* Agent-enabled adaptation, evolution, and optimization of services and processes
* Agent-based service description, advertisement, matchmaking, discovery, and brokering
* Agent-based service composition, orchestration, and choreography
* Agent-based monitoring and exception-handling for service execution and delivery
* Agent-based negotiation and management of Quality of Service and Service Level Agreements
* Deployment and distribution of agent-based service systems and service-oriented agent systems
* Agent-based service business models, application scenarios and demos (e.g. in e-Business, e-Science, Enterprise, Telecom, etc.), and lessons learned
* Ontology matching for service discovery, negotiation, orchestration, composition, and execution
* Ontology generation, learning and reasoning, and ontology-oriented dynamic mediation among agents
* Use of agent-based technology in service-oriented computing (applications)

Important Dates

• Submission deadline 15 April 2010
• Acceptance notification April 22 2010
• Camera-ready deadline 30 April 2010
• Workshop held on 5-10 July 2010

 

Paper Submission, Review Process, and Publication

All submitted manuscripts will be peer-reviewed by at least 3 program committee members. Please note that the same paper should NOT be submitted to other conferences or events simultaneously. Such duplicate submissions will be rejected without review.

Submitted manuscripts will be limited to 8 (IEEE Proceedings style) pages and required to be formatted using the IEEE Proceedings Formatting Information page. Electronic submission of manuscripts (in PDF or Word format) is required. Detailed instructions for electronic paper preparation and submission, panel proposals, tutorial proposals, and review process can be found at www.servicescongress.org. At least one author of each accepted paper is required to register to the workshop and present the paper.

Only the accepted and presented papers will appear in the CD proceedings of the workshop. It is intended to publish after workshop proceedings with Springer LNCS. Extended versions of selected best papers will be invited for potential publication in the IOS Press International Journal of Multiagent and Grid Systems (MAGS).

Workshop Organizers

Rainer Unland (primary contact), University of Duisburg-Essen,
Email: Rainer.Unland   at  icb.uni-due.de
Ryszard Kowalczyk, Swinburne University of Technology

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/