CALL FOR CONTRIBUTIONS

       First Workshop on Formal Languages and Analysis of 
              Contract-Oriented Software  (FLACOS'07)

               Oslo, Norway, 9-10 October, 2007
                 http://www.ifi.uio.no/flacos07


The fast evolution of the Internet has popularized service-oriented 
architectures with their promise of dynamic IT-supported inter-business 
collaborations. 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, business people turn to contracts as a mechanism to reduce 
risks. The ability to negotiate contracts (e.g. for quality of service, 
security, and distribution of information) and to provide services based 
on them is therefore one of the most pressing needs to make collaborations 
a reality. High-level models of contracts are slowly making their way into 
service-oriented architectures, but application developers are still left 
to their own devices when it comes to writing code that will comply with a 
contract concluded just before service provision. At the programming 
language level, contracts appear as separate concerns that crosscut through 
application logic. The aim of this workshop is to bring together researchers 
and practitioners working on language-based solutions to the above problem 
through the formalization of contracts, the design of appropriate abstraction 
mechanisms that would guide the developer in the production of contract-aware 
applications, and formal analysis of such contract languages/software.


IMPORTANT DATES

      Paper Submission Deadline:        September 3, 2007
      Notification of Acceptance:       September 15, 2007
      Registration Deadline:            September 25, 2007
      WORKSHOP:                         October 9-10, 2007


FLACOS'07 is partially supported by the Nordunet3 project "Contract-Oriented 
Software Development for Internet Services".


SCOPE

Typical 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


INVITED PARTICIPANTS

* Gilles Barthe (INRIA Sophia-Antipolis, France)
* Gerd Behrmann (Aalborg University, Denmark)
* Frank S. de Boer (CWI, The Netherlands)
* Ma. Emilia Cambronero Piqueras (University of Castilla-La Mancha, Spain)
* Giuseppe Castagna (University of Paris 7, France)
* Jean-Marc Eber (LexiFi, France)
* Fritz Henglein (DIKU, Denmark)
* Fabio Massacci (University of Trento, Italy)
* John-Jules Ch. Meyer (Utrecht University, The Netherlands)
* Ralf Reussner (University Karlsruhe, Germany)
* Marek Sergot (Imperial College, UK)
* Isabelle Simplot-Ryl (University of Lille 1, France) 
* Valentin Valero Ruiz (University of Castilla-La Mancha, Spain)



SUBMISSIONS

Authors wishing to give a talk at the workshop are requested to submit an abstract 
of 1-3 pages (ps or pdf, printable on A4 paper) to flacos-07@ifi.uio.no by 
September 3, 2007. Submission of work submitted for formal publication elsewhere 
and work in progress is permitted.

The abstracts of the accepted contributions will be available at the workshop.
After the workshop, selected papers will be published in a special issue of 
the Journal of Logic and Algebraic Programming (Elsevier) together with selected 
publications from NWPT'07.


REGISTRATION INFORMATION

* The registration fee is 400 NOK (approx. 50 Euros). The fee includes workshop proceedings, 2 lunches, and the workshop dinner.
* If you register to both NWPT and FLACOS the fee is 1700 NOK (approx. 212 Euros).
* More information to follow.


PROGRAMME COMMITTEE

* Pablo Giambiagi, SICS, Sweden
* Olaf Owe, University of Oslo, Norway (co-chair)
* Anders P. Ravn, Aalborg University, Denmark
* Gerardo Schneider, University of Oslo, Norway (co-chair)


CONTACT INFORMATION

* flacos-07@ifi.uio.no


RELATED EVENTS

* FLACOS'07 will be co-located with NWPT'07.


-Updated: 29 August 2007