Formal Methods Europe

Homepage of FME

AVoCS 2011

By admin • Jul 26th, 2011 • Category: News, Sponsored by FME

Tom Maibaum, a Canada Research Chair in the Foundations of Software Engineering at McMaster University, will be an FME invited speaker at the coming 11th International Workshop on Automated Verification of Critical Systems (AVOCS). AVoCS 2011 will be organised in Newcastle upon Tyne (UK) on September 12-15, 2011 (for more information see http://conferences.ncl.ac.uk/AVoCS2011/).

The workshop organisers are from Newcastle and Dusseldorf Universities (Jens Bendisposto, Cliff Jones, Michael Leuschel and Alexander Romanovsky). It is supported by the FP7 ICT DEPLOY integrated project on Industrial deployment of system engineering methods providing high dependability and productivity (http://www.deploy-project.eu/) and by Centre of Software Reliability at Newcastle University (CSR).

Prof Maibaum is is well known for his work on the theory of specification and its application in various contexts. At AVoCS 2011 he will give an invited talk entitled Positioning Verification in the Context of Software/System Certification.

admin is
Email this author | All posts by admin

Comments are closed.