Contact Person : Konstantinos Rousis and Ervin Ramollari; Last Date for the submission of abstract : 40003; Description : SEEFM'09 aims to continue bringing together
researchers of the Formal Methods community, not
only from SEE region but from the rest of the
world as well.