[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] =?utf-8?q?Call_For_Participation_***_=5BFLACOS_2011=5D=3A_?==?utf-8?q?Workshop_on_Formal_Languages_and_Analysis_of_Contract-Or?==?utf-8?q?iented_Software_=28M=C3=A1laga=2C_Spain=29?=

Please accept our apologies if you receive multiple copies of this Call
for Participation.


                       CALL FOR PATICIPATION

          Fifth Workshop on Formal Languages and Analysis of
               Contract-Oriented Software  (FLACOS'11)

                 Malaga, Spain, 22-23 September, 2011


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.

The scientific program will include invited talks, papers, and panels.


   Registration: is due on July 25th, 2011
   Workshop: will be held between September 22th to 23th, 2011

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


For more information about the venue, program, registration, and travel
please visit the workshop homepage at http://flacos2011.lcc.uma.es or 
contact us at info.flacos2011@lcc.uma.es