CITY College Thessaloniki


Latest changes / news:

  • The proceedings of the workshop were published also as a book by SEERC in June 2006. The book can be downloaded in parts (papers) from this link together with the references in bibtex format. (new)
  • A number of selected papers were peer reviewed once more and were included in a post-proceedings volume issue of the international journal Annals of Mathematics, Computing and Teleinformatics (AMCT). (new)
  • Important dates
    • WORKSHOP: 18-19 November 2005. The workshop belongs to the past now. It was a very succesful event and we all look forward for the next one. To get more information about what happened in this workshop (SEEFM05), read the conclusions.
  • See the photos of the workshop. In case someone has some more s/he can send them to the SEEFM secretariat to share them with the others by including them here.
  • Invited Speakers
    • Prof. Jonathan Bowen, Professor of Computing, London South Bank University
      Title: Ten Commandments Ten Years On: An Assessment of Formal Methods Usage
    • Prof. John Derrick, Professor of Computer Science, University of Sheffield
      Title: Applying model-checking techniques to verify fault-tolerant Erlang code
For more details see the appropriate link.

2nd South-East European Workshop on Formal Methods
"Practical dimensions: Challenges in the business world"
City College (
South-Eastern European Research Center SEERC (
Ohrid, 18-19 November 2005
Satellite of 2nd Balkan Conference in Informatics, 17-20 Nov 2005 (