Cel
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.
Dziedzina nauki (EuroSciVoc)
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
Klasyfikacja projektów w serwisie CORDIS opiera się na wielojęzycznej taksonomii EuroSciVoc, obejmującej wszystkie dziedziny nauki, w oparciu o półautomatyczny proces bazujący na technikach przetwarzania języka naturalnego. Więcej informacji: Europejski Słownik Naukowy.
- nauki przyrodnicze informatyka oprogramowanie
- inżynieria i technologia przemysł maszynowy inżynieria pojazdów inżynieria lotnicza i kosmiczna technika satelitarna
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Program(-y)
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Wieloletnie programy finansowania, które określają priorytety Unii Europejskiej w obszarach badań naukowych i innowacji.
Temat(-y)
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenia do składania wniosków dzielą się na tematy. Każdy temat określa wybrany obszar lub wybrane zagadnienie, których powinny dotyczyć wnioski składane przez wnioskodawców. Opis tematu obejmuje jego szczegółowy zakres i oczekiwane oddziaływanie finansowanego projektu.
Zaproszenie do składania wniosków
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
Brak dostępnych danych
Procedura zapraszania wnioskodawców do składania wniosków projektowych w celu uzyskania finansowania ze środków Unii Europejskiej.
System finansowania
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Program finansowania (lub „rodzaj działania”) realizowany w ramach programu o wspólnych cechach. Określa zakres finansowania, stawkę zwrotu kosztów, szczegółowe kryteria oceny kwalifikowalności kosztów w celu ich finansowania oraz stosowanie uproszczonych form rozliczania kosztów, takich jak rozliczanie ryczałtowe.
Koordynator
Polska
Ogół kosztów poniesionych przez organizację w związku z uczestnictwem w projekcie. Obejmuje koszty bezpośrednie i pośrednie. Kwota stanowi część całkowitego budżetu projektu.