Formal Verification of Security Protocols Bernd Finkbeiner, Swen Jacobs

News



13.08.2018

Grades

Dear students,

after reviewing your summaries, your grades are now finalized and visible.

30.07.2018

Submission of Summaries

Dear Students,

we have just opened submissions for the drafts and final versions of your summaries. For the draft, it is also OK to send it directly to your tutor (and several of you have already done so). The final version must be uploaded on the submission page... Read more

Dear Students,

we have just opened submissions for the drafts and final versions of your summaries. For the draft, it is also OK to send it directly to your tutor (and several of you have already done so). The final version must be uploaded on the submission page until August 8.

23.07.2018

All talk slides available

Dear students,

all the slides of the final talks are now available from Information -> Materials -> Final Slides (most of them have been for a while). Please have another look at the talks that are related to your own topic when preparing your summary.

27.06.2018

Three talks next week

Dear students,

we will have three talks next week: papers 11 and 12, and after that paper 10, which could not be presented today. This means that our seminar will run a bit longer than usual, approx. until 14:45. If you cannot stay for the third talk because of... Read more

Dear students,

we will have three talks next week: papers 11 and 12, and after that paper 10, which could not be presented today. This means that our seminar will run a bit longer than usual, approx. until 14:45. If you cannot stay for the third talk because of other courses, please let me know.

 

13.06.2018

Talk Slides

Dear Students,

we have opened a submission for the slides of your final talks. Please upload a pdf of your slides after you have given the talk, we will make the slides available to the seminar participants.

31.05.2018

Information for Summary

Dear students,

we have just uploaded the slides from yesterday's presentation on "How to write your summary", as well as a zip-file with the LaTeX template and class files to be used for the summary (in "Information->Material->Background"). Note that the template... Read more

Dear students,

we have just uploaded the slides from yesterday's presentation on "How to write your summary", as well as a zip-file with the LaTeX template and class files to be used for the summary (in "Information->Material->Background"). Note that the template .tex file contains some "typesetting instructions" - these are meant for authors of conference papers and are not binding for you. You may find some good hints there, though.
 

23.05.2018

Final Talks

Dear all, 
next week, we will begin with the final presentations of our Proseminar. This is just a friendly reminder that the attendance to all final talks is mandatory. We are looking forward to exciting talks and discussions!‚Äč

17.04.2018

Papers assigned

The papers have now been assigned. Please have a look at your paper before the next meeting (Wed, April 25).
Also note that practice talks for Papers 1-3 are scheduled for May 2, and you should arrange a meeting with your adviser before your practice talk.

12.04.2018

Paper preferences

Due to a configuration issue, until now it was not possible to select your preferred papers. This should be possible now (under Tutorial Preferences). Sorry for the inconvenience!



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