Logiciel de gestion de conférences
Notre système de gestion de conférences en ligne (COMS) vous permet de:
- gérer l'organisation de la conférence en ligne
- gérer les inscriptions
- gérer les soumissions de présentations
- gérer la procédure de revue
- sélectionner les présentations
Pour en savoir plus ...
Conférences - Génie logiciel - Grèce
Conference-Service.com met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs.
Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!
Les organisateurs peuvent soumettre une réunion ou une conférence pour inclusion dans nos listes, et ceci gratuitement.
Sélecionner un pays:
Afrique du Sud (1) - Allemagne (2) - Autriche (1) - Belgique (1) - Canada (4) - Chine (1) - Corée du Sud (1) - Espagne (5) - France (1) - Grèce (1) - Inde (1) - Israël (1) - Italie (2) - Japon (2) - Norvège (1) - Pays-Bas (2) - Pologne (1) - Royaume-Uni (3) - Singapour (1) - Suisse (1) - Taïwan (1) - Tunisie (1) - États-Unis (15) - TOUS LES PAYS (50)
| 1. |  [ID=282236]SEEFM '09 — 4th South-East European Workshop on Formal Methods |
| 04 Dec 2009 → 05 Dec 2009; Thessaloniki, Grèce |
| Résumé: 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" |
| Sujets: formal methods, Web services, intelligent agents, agent-based systems, formal modelling, validation, verification, south-east Europe |
| Page web: http://www.seefm.info/seefm09/index.html |
| Sujets apparentés: Agents logiciel |
Grèce: liste de tous les évènements/conférences.
dernière mise à jour: 10 Juin 2009
