Objectif
The ETAPS Conferences
ETAPS is an open confederation of 5 main annual conferences (FOSSACS, FASE, ESOP, CC, TACAS), accompanied by a number of satellite workshops (10 planned for 2003) and other events (tutorials, project and working group meetings, etc). The series started in 1998 in Lisbon, based on the earlier tradition of the individual conferences, and through the subsequent events in Amsterdam, Berlin, Genova and Grenoble (forthcoming in 2002) has built its position as a popular annual meeting acting as a strong focus point for academic and industrial researchers working on topics related to Software Science.
The events that comprise ETAPS 2003 will address various aspects of the system development process, including specification, design, implementation, analysis and improvement. The languages, formalisms, methodologies and tools to support these activities are all well within its scope. Different kinds of theory and practice will be presented, with an inclination toward theory with a practical motivation on one hand and soundly based practice on the other hand. Many of the issues involved in software design apply to systems in general (including hardware systems) and the emphasis on software is not intended to be exclusive. The initial set of events outlined below illustrate only part of the intended scope of ETAPS 2003.
Each conference retains its own identity, with a separate programme committee selecting presentation in a competitive procedure and independent proceedings (separate LNCS volumes). Events run in parallel to a large extent, with a degree of coordination between programme chairpersons and local organizers ensuring a coherent schedule.
The conferences and satellite events fall under one of the following main themes (relevant for all four IST key actions):
- Computation theory and foundations of Software Science;
- Theory and practice of Software Engineering;
- Support tools and algorithms for system construction and analysis;
- Programming Languages.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information logiciel
- ingénierie et technologie génie mécanique génie automobile génie aérospatial technologie satellitaire
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Données non disponibles
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Coordinateur
Pologne
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.