Číslo projektu: 70p5 Označení: | Čísla předchozích projektů: --- |
Název projektu: | A Case Study for Termination and Bound Analysis of Pointer Programs |
|
Druh projektu: | Vědecká spolupráce |
Posouzení : | zamítnuto |
Poznámka: | |
_____________________________________________________________________________________________________________________
| Rakousko | Česká republika |
| | |
Předkladatel: | Zuleger Florian, Ph.D. | Rogalewicz Adam, Ph.D. |
Vzdělávací instituce: | Technische Universität Wien | Vysoké učení technické v Brně |
Fakulta: | Fakultät für Informatik | Fakulta informačních technologií |
Ústav/katedra: | Institut für Informationssysteme | Ústav inteligentních systémů |
E-mail: | zuleger@forsyte.at | rogalew@fit.vutbr.cz |
Tel.: | +43-1-58801-18449 | +420 54114 1188 |
| | |
_____________________________________________________________________________________________________________________
Trvání projektu od do: |
07/01/2014 - 06/30/2015 | Prodloužení do: |
|
_____________________________________________________________________________________________________________________
_____________________________________________________________________________________________________________________
| Zaměstnanci | Studenti |
Počet účastníků z Rakouska: | | |
Počet účastníků z ČR: | | |
Celkové ukončení projektu: | |
|