Summer Schools and Workshops

 
Summer Schools Topic Date
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