[Om-announce] [FLACOS 2011] CFP: Workshop on Formal Languages and Analysis of Contract-Oriented Software (Málaga, Spain)

[info.flacos2011 at lcc.uma.es]

Our apologies if you have received multiple copies.
-------------------------------------------------------------------------

                       CALL FOR CONTRIBUTIONS

          Fifth Workshop on Formal Languages and Analysis of
               Contract-Oriented Software  (FLACOS'11)

                 Malaga, Spain, 22-23 September, 2011
                    http://flacos2011.lcc.uma.es


ABOUT FLACOS:

The ability to negotiate contracts for a wide range of aspects and to
provide services conforming to them is a most pressing need in
service-oriented architectures. High-level models of contracts are
making their way, but application developers are still left to their
own devices when it comes to writing code that will comply with a
contract. At the programming language level, contracts appear as
separate concerns that cut across application logic, while analysis
requires that contracts are abstracted from applications to become
amenable to formal reasoning.

The aim of this workshop is to bring together researchers and
practitioners working on language-based solutions to the above issues
through formalization of contracts, design of appropriate abstraction
mechanisms, and formal analysis of contract languages and
software. Such languages include, but are not limited to SLA, BPEL,
behavioral interfaces, deontic logic for services, social contracts
(multi-agent systems), formalised legal contracts and other
prescriptive formalisms.


IMPORTANT DATES

   Paper Submission Deadline:       April 15, 2011
   Notification of Acceptance:      June 3, 2011
   Final Version Due:               July 1, 2011
   Early registration:              July 8, 2011
   WORKSHOP:                        September 22-23, 2011


SCOPE

Topics of the workshop include (but are not limited to):

  * Formal languages for contracts
  * Contract-oriented software development
  * Formal analysis of contracts, including static analysis,
    run-time verification, and model checking techniques
  * Contract synthesis
  * Contract transformation and contract refinement
  * Contract negotiation, discovery and monitoring


SUBMISSIONS

Authors are invited to submit papers presenting their contributions
in two different categories. Regular research papers will correspond 
to original unpublished work, and they must be at most 15 pages long. 
Work-in-progress and contributions previously submitted for formal 
publication elsewhere are also permitted with a limit of 8 pages.

The abstracts of all the accepted contributions will be available at the
workshop, and accepted regular papers will be published in Electronic
Proceedings in Theoretical Computer Science (EPTCS). After the workshop, 
selected papers will be published in a special issue of the Journal of 
Logic and Algebraic Programming (Elsevier), following the standard 
reviewing process of the journal.

Submissions must be formatted in EPTCS style, accessible at: 
http://style.eptcs.org/
and they should be submitted in pdf format electronically
via the web-based submission site
http://www.easychair.org/conferences/?conf=flacos2011


REGISTRATION INFORMATION

  * This information will be provided as soon as possible at the workshop 
    Web site:
    http://flacos2011.lcc.uma.es


PROGRAMME COMMITTEE

  * B. Bjurling, SICS, Sweden
  * A. Brogi, University of Pisa, Italy 
  * S. Graf, VERIMAG, France
  * A. Lomuscio, Imperial College London, UK
  * U. Montanari, University of Pisa, Italy
  * O. Owe, University of Oslo, Norway
  * G. Pace, University of Malta, Malta
  * E. Pimentel, University of Málaga, Spain (program co-chair)
  * A.P. Ravn, Aalborg University, Denmark
  * W. Reisig, Humboldt University, Berlin, Germany
  * G. Salaün, INRIA Grenoble, France
  * G. Schneider, University of Gothenburg, Sweden 
  * K. Sere, Åbo Akademi University, Finland
  * V. Valero Ruiz, University of Castilla-La Mancha, Spain (program 
    co-chair)
  * M. Wirsing, Ludwig-Maximilians University, Munich, Germany


LOCAL ORGANISATION COMMITTEE

  * Carlos Canal 
  * Javier Cámara 
  * Javier Cubo 
  * J. Antonio Martín 
  * Meriem Ouederni 
  * Ernesto Pimentel

CONTACT INFORMATION
	
  * info.flacos2011 at lcc.uma.es
  * For more information: http://flacos2011.lcc.uma.es