Conference Management Software
Our Conference Management Software (COMS) can be used for online:
- registration
- paper submission
- review process
- paper selection
- conference management
Read more ...
Try our demo online
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