Events « Month January February March April May June July August September October November December Year 2021 2022 2023 2024 2025 » M T W T F S S 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 Friday 15 September 2023 Hour 14:30 - 16:30 September 1, 2023: Stefano Nicoletti: "ATM: a Logic for Quantitative Security Properties on Attack Trees" This month's events 5 Events 05 September » September 4-5, 2023: The Foundations of Representational Content 06 September » September 4-5, 2023: The Foundations of Representational Content 15 September Hour 14:30 - 16:30 » September 1, 2023: Stefano Nicoletti: "ATM: a Logic for Quantitative Security Properties on Attack Trees" 20 September Hour 14:30 - 16:30 » September 20, 2023: Florian Fischer: Dynamicity 21 September Hour 15:00 - 19:00 » September 21, 2023: Robert Valgenti: On the Use and Abuse of Recipes for Life
