Obiettivo
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.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
- scienze naturali informatica e scienze dell'informazione software
- ingegneria e tecnologia ingegneria meccanica ingegneria dei veicoli ingegneria aerospaziale tecnologia satellitare
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
Polonia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.