Close
Back
Download NATO’s broadcast-quality video content free of charge
Log in
No account?
Forgot your password?
NATO MULTIMEDIA ACCOUNT
Access NATO’s broadcast-quality video content free of charge
Create an account
Check your inbox and enter verification code
We have sent a verification code to your email address.
.
Enter the code to verify your account. This code will expire in 30 minutes.
You have successfully created your account
From now on you can download videos from our website
Subscribe to our newsletter
If you would also like to subscribe to the newsletter and receive our latest updates, click on the button below.
Reset password
Enter the email address you registered with and we will send you a code to reset your password.
Reset password
We have sent a verification code to your email address.
Enter the code to verify your account. This code will expire in 30 minutes.
Create a new password
The password must be at least 12 characters long, no spaces, include upper/lowercase letters, numbers and symbols.
Your password has been updated
Click the button to return to the page you were on and log in with your new password.
Title
Safety and Security for Software Systems: Logics, Proofs, Applications (Summer School Marktoberdorf 2019)
Mechanism
Advanced Study Institute
Dates
31 Jul 2019 – 10 Aug 2019
Location
Bavaria
Description
The main objective of the proposed ASI Summer School Marktoberdorf in 2019 will be to disseminate state-of-the-art knowledge and experience in the verification tools that have been developed to mechanize more and more tasks in the design of safe and secure programs. This year, a particular emphasis will be on Logics and Logical-based Methods that are appropriate for various application domains, and provide the basis of rigorous mathematical reasoning about safety and security and protection against failure.
Contact
https://www2.in.tum.de/mod19/
Co-Directors
Prof. Helmut Seidl
Prof. Shmuel Sagiv
Prof. Shmuel Sagiv
Ref. no.:
985602