Sommerschulen und Workshops

 
Sommerschule/Workshops Thema Datum
IGSC Formal Methods in Control Design 27. - 31. Mai, 2024

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. 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