[ecoop-info] Extended Deadlines [FLACOS 2011] CFP: Workshop on Formal Languages and Analysis of Contract-Oriented Software (Málaga, Spain)
info.flacos2011 at lcc.uma.es
info.flacos2011 at lcc.uma.es
Fri Apr 8 23:48:14 CEST 2011
Apologies if you receive multiple copies
====================================================================================================
The FLACOS Deadlines Have Been Extended As follows:
* A new abstract submission deadline is due on April 15th to accelerate
the reviewing process.
* The full paper submission deadline is extended until April 29th.
====================================================================================================
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
Abstract Deadline: April 15, 2011
Paper Submission Deadline: April 29, 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
More information about the ecoop-info
mailing list