Home | Scope & Topics | Committees | Call for Papers | Important Dates | Info for Authors, Submission & Proceedings |  Location & Travel

Invited Speakers | Registration | Sponsors | Related Events | Programme 

 RELATED EVENTS

• 1st SEEFM Workshop
• 2nd SEEFM Workshop
• Informatics Education Europe II
• 8th Workshop on Membrane Computing
• Software Engineering and Formal Methods

• 1st International Workshop on Web Services and Formal Methods (WS-FM 2004)
• 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005)
• 3rd International Workshop on Web Services and Formal Methods (WS-FM 2006)
• 4th International Workshop on Web Services and Formal Methods (WS-FM 2007)

Home | Scope & Topics | Committees | Call for Papers | Important Dates | Info for Authors, Submission & Proceedings |  Location & Travel

Invited Speakers | Registration | Sponsors | Related Events | Programme 

3rd South-East European Workshop in Formal Methods SEEFM07 
South-East European Research Centre SEERC (www.seerc.org)
City College, Affiliated Institution of the University of Sheffield (www.city.academic.gr) 
Thessaloniki, 30 November-1 December 2007

Satellite of Informatics Education Europe II Conference, 29-30 November 2007
Contact: seefm07@seerc.org