Dimitris Dranidis (Chair of the PC) opening the SEEFM2007 workshop. |
Nikos Zaharis (Director of SEERC: Co-organiser) opening the SEEFM2007 workshop. |
Connie Haoying Bao representing SOSoRNET, one of the workshop's sponsor. |
Keynote speaker: Prof. Marco Pistore |
Keynote speaker: Prof. Martin Wirsing |
Keynote speaker: Prof. Martin Wirsing, Dimitris Dranidis (Chair of the PC) |
Howard Foster (Demonstration) |
Andreas Friesen (Demonstration) |
Prof. Mike Holcombe (Presentation) |
Tony Cowling (Presentation) |
Maurice ter Beek (Presentation) |
Chrysafis Hartonas (Presentation, BCS-FACS: Best Paper Award) |
Mircea Preda (Presentation) |
Christopher Thomson (Presentation) |
Michael Linschulte (Presentation) |
Maria Kourkouli (Presentation) |
Vojtech Merunka (Presentation) |
Eleni Berki (Presentation) |
Workshop audience |
Annapaola Marconi receiving the BCS-FACS: Best Doctoral Presentation from George Eleftherakis (PC member) |
 |
3rd
South-East European Workshop on Formal Methods SEEFM07 Satellite
of Informatics Education Europe
II Conference, 29-30 November 2006 |
 |