10th International Conference on Software Engineering and Formal Methods (SEFM 2012)

The 10th International Conference on Software Engineering and Formal Methods is hosted by:

City College, International Faculty of the University of Sheffield

and is to be held...

Software, Engineering

Submit new post
Thank you for posting.
Share it:
More

The 10th International Conference on Software Engineering and Formal Methods is hosted by:

City College, International Faculty of the University of Sheffield

and is to be held in Thessaloniki, Greece, on 1-5 October, 2012.

The aim of the conference is to bring together researchers and practitioners 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. Authors are invited to submit both research and tool papers.

The scientific program will include invited talks, paper and tool presentations, tool demonstrations, and workshops.

When
From: October 01, 2012 00:00
To: October 05, 2012 23:59
Where

The Met Hotel, 48, 26th October Str, 546 27, Thessaloniki, Greece

Category

Software, Engineering

Tags

analyses, practical, researchers, technology, workshops

Hashtag

#sefm2012

Contact email
sefm12@gmail.com

Website

Submitted by:

Conrad

Are you the organizer?

Get in touch