|
ICTAC
|
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. July, 2022 |
|
MOVEP
|
Modelling and verification of infinite state systems |
13. - 17. June 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. June - 02. July, 2022 |
|
MOVEP
|
14th Summer School on Modelling and Verification of Parallel Processes |
22. - 26. June, 2020 |
|
Summer School Marktoberdorf
|
Safety and Security of Software Systems: Logics, Proofs, Applications |
31. July - 09. August, 2019 |
|
Reinforcement Learning Summer SCOOL
|
Theory and practice of sequential decision making |
01. - 09. July, 2019 |
|
DeepLearn 2019
|
Deep Learning |
22. - 26. July, 2019 |
|
ACAI-2019/HAISS-2019
|
AI for Multi-Agent Worlds |
01. - 05. July, 2019 |
|
Jyväskylä Summer School
|
TBA |
05. - 16. August, 2019 |
|
2nd FoMLAS Workshop
|
Formal Methods for ML-Enabled Autonomous Systems Affiliated with CAV 2019 |
14. July, 2019 |
|
2nd ACDL
|
Big Data, Deep Learning & Artificial intelligence without Borders |
15. - 19. July, 2019 |
|
VTSA 2019
|
Verification Technology, Systems & Applications |
01. - 05. July, 2019 |