Calendar of Events

Date Event Description
July 1fst, 2019 Official Start
July 12th, 2019 Kick-off Meeting Welcome message by Prof. Seidl, explanation of the RTG and further procedures, students meet professors, introduction
July 30th - August 10th, 2019 Kick-off Workshop Summer School: "Safety and Security of Software Systems: Logics, Proofs, Applications" in Marktoberdorf
October 25th, 2019 Talk Iosif Radu: Alternating Automata Modulo First Order Theories