Abbrevation
SEFM 2008
Link
http://www.ianano.org/index.html
City
Cape Town
Country
South Africa
Deadline Paper
Start Date
End Date
Abstract

<p><font size=&#8243;2&#8243;><span style=&#8243;&#8243; lang=&#8243;EN&#8211;US&#8243;></span></font></p><p>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 engineering methods&#046;</p> <p>Authors are invited to submit both research and tool papers&#046; The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops&#046; and </p><p>The conference will be preceded by a <strong><a class=&#8243;content&#8243; target=&#8243;_new&#8243; href=&#8243;http://www&#046;iist&#046;unu&#046;edu/SEFM08/School/&#8243;>two&#8211;… school,</a></strong> addressed to postgraduate students and researchers from academia and industry of the Southern Africa region&#046;</p>