Conference Service Mandl

Meetings/Workshops on Software Engineering in Greece

Conference-Service.com offers, as part of our business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organizer before making arrangements to participate in an event!

Meeting organizers can submit meetings free of charge for inclusion into the listing.

Select a location:
Austria (1) - Belgium (1) - Canada (4) - China (1) - France (1) - Germany (2) - Greece (1) - India (1) - Israel (1) - Italy (2) - Japan (2) - Netherlands (2) - Norway (1) - Poland (1) - Singapore (1) - South Africa (1) - South Korea (1) - Spain (5) - Switzerland (1) - Taiwan (1) - Tunisia (1) - United Kingdom (3) - United States (15) - ALL COUNTRIES (50)

1.	[ID=282258]SEEFM '09 — 4th South-East European Workshop on Formal Methods
	04 Dec 2009 → 05 Dec 2009; Thessaloniki, Greece
	abstract: After the successful organisation of the first three workshops (SEEFM'03 - Thessaloniki, SEEFM'05 - Ohrid, SEEFM'07 - Thessaloniki) the 4th South-East European Workshop on Formal Methods 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. The theme of this workshop is twofold and involves: (a) "Formal Methods for Web Services", and (b) "Formal Methods for Agent-based Systems"
	topics: formal methods, Web services, intelligent agents, agent-based systems, formal modelling, validation, verification, south-east Europe
	weblink: http://www.seefm.info/seefm09/index.html
	related subject(s): Software Agents

View all listed conferences in Greece.

last updated: 10 June 2009