Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs


Export as .ics-file
Items per page:

Type Title Location Serial Start End All Day
Lecture Kick-off Meeting, Introduction 11.04.18 11.04.18 No 
Lecture How to give a Talk? 25.04.18 25.04.18 No 
Practice Talks Practice Talks 1 02.05.18 02.05.18 No 
Practice Talks Practice Talks 1 09.05.18 09.05.18 No 
Practice Talks Practice Talks 1 16.05.18 16.05.18 No 
Practice Talks Practice Talks 1 23.05.18 23.05.18 No 
Final Talks Final Talks 2 30.05.18 30.05.18 No 
Final Talks Final Talks 2 06.06.18 06.06.18 No 
Final Talks Final Talks 2 13.06.18 13.06.18 No 
Final Talks Final Talks 2 20.06.18 20.06.18 No 
Final Talks Final Talks 2 27.06.18 27.06.18 No 
Final Talks Final Talks 2 04.07.18 04.07.18 No 
Summary Summary: Draft 01.08.18 N/A Yes 
Summary Summary: Final Version 08.08.18 N/A Yes 
Items per page:


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators