[Om-announce] FLACOS 2012 Call for Papers

[FLACOS 2012]

We apologise for multiple copies.


                      CALL FOR PAPERS

          Sixth Workshop on Formal Languages and Analysis of
               Contract-Oriented Software  (FLACOS'12)

                 Bertinoro, Italy, 19 September 2012
                 http://www.um.edu.mt/ict/flacos2012

                       Co-located with ESOCC
                    http://esocc12.cs.unibo.it/

ABOUT FLACOS:

The fast evolution of the Internet has popularized service-oriented
architectures with their promise of dynamic IT-supported inter-business
collaborations and rich repositories in the cloud. Realizing this promise
involves integrating services which are geographically distant and are
offered by a variety of organizations which do not fully trust each
other.Indeed, collaboration presumes a minimum level of mutual trust.
Wherever trust is perceived as insufficient, people turn to contracts as a
mechanism to reduce risks.

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 into the area, but application developers are still left to
their own devices when it comes to writing code that will comply with a
contract concluded before service provision. At the programming language
level, contracts appear as separate concerns that crosscut through
application logic. Therefore analysis requires that contracts are
abstracted from applications to become amenable to formal reasoning using
formal language techniques.

The aim of this workshop is to bring together researchers and
practitioners working on language- or application-based solutions to the
above problem through the formalization of contracts, the design of
appropriate abstraction
mechanisms, and tools and techniques for analysis of contracts, and
analysis, testing and monitoring of conformance to contracts by
applications.

SCOPE

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

  * Formal languages for contracts
  * Contract-oriented software development
  * Formal analysis of contracts, including static analysis,
        runtime verification, and model checking techniques
  * Contract testing
  * Contract synthesis
  * Contract transformation and contract refinement
  * Contract negotiation, discovery and monitoring
  * Rich and behavioural interfaces
  * Service modeling, service-oriented analysis and design
  * Contract- and model-driven Web service engineering
  * Service quality and service interface design guidelines
  * Service Level Agreements for Web services
  * Contracts for service security and privacy concerns


IMPORTANT DATES

   Paper Submission Deadline:       June 17, 2012
   Notification of Acceptance:      July 2, 2012
   Final Version Due:               July 30, 2012
   WORKSHOP:                        September 19, 2012


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 10 pages long.
Work-in-progress and contributions previously submitted for formal
publication elsewhere are also permitted with a limit of 5 pages.

Submissions must be formatted in EPTCS style (available from
http://style.eptcs.org/) and should be submitted in pdf format
electronically via the web-based Easychair website:
http://www.easychair.org/conferences/?conf=flacos2012

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.


REGISTRATION INFORMATION

  * This information will be provided once available, at the workshop
    Web site: http://www.um.edu.mt/ict/flacos2012


PROGRAMME COMMITTEE

 * Antonio Brogi, University of Pisa, Italy
 * Thomas Hildebrandt, IT University of Copenhagen, Denmark
 * Gordon J. Pace, University of Malta, Malta (co-chair)
 * Ernesto Pimentel, University of Málaga, Spain
 * Anders P. Ravn, Aalborg University, Denmark (co-chair)
 * Gerardo Schneider, University of Gothenburg, Sweden
 * Valentin Valero Ruiz, University of Castilla-La Mancha, Spain
 * Daniel Le Metayer, INRIA-Rhone Alpes, France
 * Alessio Lomuscio, Imperial College London, UK
 * Ugo Montanari, University of Pisa, Italy
 * Olaf Owe, University of Oslo, Norway
 * Wolfgang Reisig, Humboldt University, Berlin, Germany
 * Gwen Salaun, INRIA Grenoble, France
 * Kaisa Sere, Abo Akademi University, Finland
 * Martin Wirsing, Ludwig-Maximilians University, Munich, Germany


CONTACT INFORMATION

  * flacos2012 at um.edu.mt
  * For more information: http://www.um.edu.mt/ict/flacos2012