[TYPES/announce] Call for contributions: FLACOS'07
Gerardo Schneider
gerardo at ifi.uio.no
Wed Jun 27 04:16:21 EDT 2007
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 for authors closes: 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)
* Frank S. de Boer (CWI, The Netherlands)
* John-Jules Ch. Meyer (Utrecht University, The Netherlands) - To be
confirmed
* Marek Sergot (Imperial College, UK)
* Isabelle Simplot-Ryl (University of Lille 1, France)
* Valentín Valero Ruiz (University of Castilla-La Mancha, Spain
* More to be announced.
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 at 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
* 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 at ifi.uio.no
RELATED EVENTS
* FLACOS'07 will be co-located with NWPT'07.
--
Gerardo Schneider - Dept. of Informatics, Univ. of Oslo
P.O Box 1080 Blindern, N-0316 Oslo, Norway
Phone: +47 22 85 29 71, fax: +47 22 85 24 01
http://folk.uio.no/gerardo/
More information about the Types-announce
mailing list