The conference is now over
See you on 23-27 November 2009 in Hanoi for
The aim of the conference is to bring together practitioners
and researchers from academia, industry and government to advance
the state of the art in formal methods, to scale up their application
in software industry and to encourage their integration with practical
Authors were invited to submit both research and tool papers.
The scientific program has included invited talks, paper and tool
presentations and tutorials.
The conference has been preceded by a
addressed to postgraduate students and researchers from academia and
industry of the Southern Africa region.