Contact Person : Dimitris Dranidis; Last Date for the submission of abstract : 31/08/2007; Description : The theme of this workshop is twofold and deals
with Service-Oriented Computing and Formal
Methods and Teaching Formal Methods. This year
the workshop will be a satellite of the
Informatics Education Europe II Conference