Workshop Venue MapBelow you will find a map of the center of Thessaloniki, together with the locations of the Workshop Venue (2 Kalapothaki Str.) as well as locations of various hotels that are around the venue. The hotels indicated are of various classes and info can be found at any touristic www site looking for "hotels in thessaloniki", e.g. http://www.greece.com/hotels/Greece/all/Thessaloniki.html
|
|
SEEFM'03 1st South-East European Workshop on Formal Methods "Agile Formal Methods: Practical, Rigorous Methods for a changing world" City College (www.city.academic.gr) South-Eastern European Research Center SEERC (www.seerc.info) Thessaloniki, Greece, 20 November 2003 Satellite of 1st Balkan Conference in Informatics, 21-23 Nov 2003 (bci1.csd.auth.gr) |
