| Ref.No: | 67111700 |
| Start date: | 19.07.2019 |
| End date: | 26.06.2020 |
| Approval date: | 19.07.2019 |
| Department: | APPLIED MATHEMATICAL & PHYSICAL SCIENCES |
| Sector: | MATHEMATICS |
| Financier: | ΕΠΙΒΡΑΒΕΥΣΗ 2018, GGET/EPIVRAVEUSI |
| Budget: | 7.563,62 € |
| Public key: | ΩΡ2Ρ46ΨΖΣ4-ΥΕΒ |
| Scientific Responsible: | Assist. Prof. STEFANEAS |
| Email: | petros@math.ntua.gr |
| Description: | THE RPOJECT AIMS TO SUPPORT RESEARCH IN THE FIELD OF LOGIC AND FORMAL METHODS IN COMPUTER SCIENCE. MORE, SPECIFICALLY, THE RESEARCH ACTIVITIES OF THE MAIN RESEARCHER AND HIS TEAM WILL BE SUPPORTED. IT INCLUDES ALSO PURCHASE OF COMPUTER EQUIPMENT AND.... |
