Sommerschulen und Workshops
| Sommerschule/Workshops | Thema | Datum |
|---|---|---|
| Theoretical aspects of computing and the exploitation of theory through methods and tools for system development | 26. - 30. September, 2022 | |
| VTSA | Verification Technology, Systems & Applications | 05. - 09. September, 2022 |
| EDBT-INTENDED | Data and Knowledge | 04. - 09. Juli, 2022 |
| MOVEP |
Modelling and verification of infinite state systems |
13. - 17. Juni 2022 |
| S3CS | S3CS consists of mini-courses on The Method of Moments in Computer Science and Beyond by Ankur Moitra and Polyhedral Techniques in Combinatorial Optimization by Ola Svensson. | 26. Juni - 02. Juli, 2022 |
| MOVEP | 14th Summer School on Modelling and Verification of Parallel Processes | 22. - 26. Juni, 2020 |
| Summer School Marktoberdorf | Safety and Security of Software Systems: Logics, Proofs, Applications | 31. Juli - 09. August, 2019 |
| Reinforcement Learning Summer SCOOL | Theory and practice of sequential decision making | 01. - 09. Juli, 2019 |
| DeepLearn 2019 |
Deep Learning |
22. - 26. Juli, 2019 |
| ACAI-2019/HAISS-2019 | AI for Multi-Agent Worlds | 01. - 05. Juli, 2019 |
| Jyväskylä Summer School | 05. - 16. August, 2019 | |
|
2nd FoMLAS Workshop
|
Formal Methods for ML-Enabled Autonomous Systems Affiliated with CAV 2019 |
14. Juli, 2019 9:00 Uhr |
| 2nd ACDL | Big Data, Deep Learning & Artificial intelligence without Borders | 15. Juli - 19. Juli 2019 |
| VTSA 2019 |
Verification Technology, Systems & Applications |
01. Juli - 05. Juli 2019 |