Konferenzmanagement Software
Das neues, digitale Konferenzmanagement-
system (COMS) ist jetzt verfügbar!
Als Organisator einer Tagung benutzen Sie COMS um:
- Teilnehmer-
anmeldungen
- Vortrags-
ankündigungen
- Begutachtung, Redaktion und Auswahl der Vortrags-
anmeldungen
online anzubieten bzw. durchzuführen.
Jetzt anmelden!
Konferenzen zum Thema Softwareentwicklung in Griechenland
Conference-Service.com stellt der Öffentlichkeit ein Kalendarium wichtiger Konferenzen, Symposien und sonstiger Tagungen im wissenschaftlich-technischen Bereich zur Verfügung.
Obwohl das Verzeichnis mit großer Sorgfalt zusammengestellt und ständig aktualisiert wird, weisen wir auf die Möglichkeit von Fehlern ausdrücklich hin. Bitte vergewissern Sie sich immer beim Veranstalter, bevor Sie über die Teilnahme oder Nichtteilnahme an einer Konferenz entscheiden.
Organisatoren können kostenlos ihre Konferenzankündigungen veröffentlichen.
Wählen Sie ein Land aus:
Belgien (1) - China (1) - Deutschland (2) - Frankreich (1) - Griechenland (1) - Großbritannien (3) - Indien (1) - Israel (1) - Italien (2) - Japan (2) - Kanada (4) - Niederlande (2) - Norwegen (1) - Polen (1) - Republik Korea (1) - Schweiz (1) - Singapur (1) - Spanien (5) - Südafrika (1) - Taiwan (1) - Tunesien (1) - Vereinigte Staaten (15) - Österreich (1) - ALLE LÄNDER (50)
| 1. |  [ID=282203]SEEFM '09 — 4th South-East European Workshop on Formal Methods |
| 04. Dez 2009 → 05. Dez 2009; Thessaloniki, Griechenland |
| Zusammenfassung: 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" |
| Themen: formal methods, Web services, intelligent agents, agent-based systems, formal modelling, validation, verification, south-east Europe |
| Webseite: http://www.seefm.info/seefm09/index.html |
| Verwandte Fachgebiete: Software-Agenten |
Alle Konferenzen in Griechenland anzeigen.
Stand vom 10. Juni 2009
