Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software September 21, 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.

Official Website: http://flacos11.lcc.uma.es/