Cel
FORTE/PSTV 2000 is a single, articulated event consisting of a Tutorial day followed by a three-day Conference; both focus on Formal Methods for the development (requirements capture, specification, verification, performance analysis, implementation, testing) of distributed systems and communication protocols. A multidisciplinary Satellite Workshop, in parallel with the Tutorials, is meant to explore applications of Formal Methods to a variety of other fields. Several approaches are considered, based on Process Algebras (CCS, pi-calculus, LOTOS, stochastic), Extended Automata, (SDL, Estelle, timed automata, statecharts, reactive), Set Theory (B, Z, VDM), Petri Nets, Logics (temporal, TLA), Abstract Data Types (OBJ, Larch) and other standard notations (MSCs, ASN.l TTCN, etc). FORTE/PSTV has been and still is the only international conference to provide such a wide coverage of theory and application of Formal Methods, perhaps with the exception of FM'99 (World Congress on Formal Methods for Computing Systems - Toulouse). A demo-room shall be available during the conference for industrial and academic tool demonstrations. The objective of the conference project is to continue providing an internationally recognized forum for presentation of the state of the art in theory, application, tools and industrialization of Formal Methods, and to provide a comprehensive orientation for young researchers and newcomers.
The topic of Formal Methods has quite strong European roots. As the attention to this topic increases outside Europe, and, most notably, in the United States, this first Italian edition of the Conference will once more represent a European contribution to an area of Computer Science where Europe can still claim some leadership.
ftp://ftp.cordis.lu/pub/improving/docs/HPCF-2000-00084-1.pdf(odnośnik otworzy się w nowym oknie)
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.
- inżynieria i technologia przemysł maszynowy inżynieria pojazdów inżynieria lotnicza i kosmiczna technika satelitarna
- nauki przyrodnicze informatyka
Aby użyć tej funkcji, musisz się zalogować lub zarejestrować
Przepraszamy… podczas wykonywania operacji wystąpił nieoczekiwany błąd.
Wymagane uwierzytelnienie. Powodem może być wygaśnięcie sesji.
Dziękujemy za przesłanie opinii. Wkrótce otrzymasz wiadomość e-mail z potwierdzeniem zgłoszenia. W przypadku wybrania opcji otrzymywania powiadomień o statusie zgłoszenia, skontaktujemy się również gdy status ulegnie zmianie.
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
Włochy
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.