Formal approaches to software development are techniques that aim at developing quality software by employing notations, analysis processes, etc., based on mathematical grounds. Although traditionally they aim at increasing software correctness, formal techniques have been applied to various other aspects of software quality. Moreover, while originally formal methods employed complex "heavyweight" mechanisms for analysis (often manual or semi automated), there has been a progress towards embracing "lightweight", many times fully automated, analysis techniques, that broaden the adoption of formal methods in various software engineering contexts.
The workshop will be held as an associated even of CONCUR 2013, the 24th International Conference on Concurrency Theory. It will be held in Buenos Aires, Argentina’s capital and largest city, and one of the most interesting cultural places in South America.
Marcelo F. Frias, Instituto Tecnológico de Buenos Aires and CONICET, Argentina