Important dates

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



Social Events published.
Deadline Extended. A new abstract submission deadline to accelerate the reviewing process.
Accommodation info published.
Flyer Call for Papers: pdf file
Call for Papers published: plain text
Website launched.


FLACOS 2011 will take place in Málaga, Spain, September 22-23, 2011. It will be held at the premises of the School of Informatics of the University of Málaga.

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.

FLACOS 2011 is organized by the Department of Computer Science of the University of Málaga..

We would like to warmly welcome you at Málaga for this FLACOS 2011 experience.


Contact Information

For any further information, you may contact us at info.flacos2011@lcc.uma.es


Sponsored by

University of Málaga Málaga Convention Bureau Ayuntamiento de Málaga


In cooperation with

E.T.S. Ingeniería Informática Department of Lenguajes y Ciencias de la Computación Software Engineering Group - University of Málaga