Formal Compiler Security

Xaver Fabian, Matthis Kruse, Faezeh Nasrabadi, Robert Künnemann

News

Grades

Geschrieben am 29.09.23 von Matthis Kruse

Dear all,

You can find the grades on your personal status page.
Thanks again for your participation in the seminar. It's been fun! 

Best,
Xaver, Faezeh & Matthis

Presentations

Geschrieben am 25.09.23 von Xaver Fabian

Dear all,

the room and time for the presentations are now fixed.

Where: Room 2.22 at E9.1
When: 29.09. We will start at 10:00 AM sharp

Let us know if you have any more questions

Cheers!

Lectures

Geschrieben am 04.09.23 (letzte Änderung am 04.09.23) von Matthis Kruse

Dear all,

We are very much looking forward to meet you all during the lectures next week.

Where: Room 2.22 at E9.1 in the main CISPA building (C0)
When: Each day from 11.09. to 15.09.

We will have two lectures per day from 10:00 (sharp) to ~11:30 as well as 13:00 (sharp) to ~14:30.
Please… Weiterlesen

Dear all,

We are very much looking forward to meet you all during the lectures next week.

Where: Room 2.22 at E9.1 in the main CISPA building (C0)
When: Each day from 11.09. to 15.09.

We will have two lectures per day from 10:00 (sharp) to ~11:30 as well as 13:00 (sharp) to ~14:30.
Please be there on time and let us know if you have any questions.

Cheers!

Summary Grades

Geschrieben am 04.09.23 von Matthis Kruse

You can find the points for your summaries on your personal status page.

Deadline 1st Paper Summary

Geschrieben am 31.05.23 von Xaver Fabian

Hello all,

a short reminder that the first paper summary is due to tomorrow 1.06.23.

Cheers!

Your Papers and Summaries

Geschrieben am 28.04.23 von Matthis Kruse

Hello all,

not everyone has given their preferences with regards to the paper they want to present.
Regardless, paper assignment was due today. You can find your paper on your personal status page in the CMS.
If you are in e.g. tutorial slot 5, your paper is number 5. Ignore the tutorial… Weiterlesen

Hello all,

not everyone has given their preferences with regards to the paper they want to present.
Regardless, paper assignment was due today. You can find your paper on your personal status page in the CMS.
If you are in e.g. tutorial slot 5, your paper is number 5. Ignore the tutorial time.

For the summaries, the assignment will be as follows:

If you have paper 1, you summarize papers 3 and 10.
If you have paper 3, you summarize papers 5 and 11.
If you have paper 5, you summarize papers 10 and 12.
If you have paper 10, you summarize papers 11 and 1.
If you have paper 11, you summarize papers 12 and 3.
If you have paper 12, you summarize papers 1 and 5.

Let us know if you've got any questions, be it with regards to your paper or organization of the seminar.
Cheers

Pick Preferences

Geschrieben am 24.04.23 von Matthis Kruse

Hi all,

You should now be able to pick preferences for the respective paper of your interest.
Each paper corresponds to a tutorial, ignore the time slots.
If you pick Tutorial 1, you'll present paper 1. If you pick Tutorial 7, you'll present paper 7. et cetera
Papers will be assigned at the… Weiterlesen

Hi all,

You should now be able to pick preferences for the respective paper of your interest.
Each paper corresponds to a tutorial, ignore the time slots.
If you pick Tutorial 1, you'll present paper 1. If you pick Tutorial 7, you'll present paper 7. et cetera
Papers will be assigned at the end of the week.

Cheers

Open seats

Geschrieben am 19.04.23 (letzte Änderung am 19.04.23) von Xaver Fabian

Hi all,

there are still some open seats available at the seminar. Just register in the CMS.
Additionally, the kick-off slides are now available in the Material section.

 

cheers

Information regarding Kick-off meeting

Geschrieben am 18.04.23 von Xaver Fabian

Hi all,

the zoom link for the kick-off meeting can now be found in the Material section.
The kick-off meeting will start tomorrow 19.04.23 at 4 PM sharp.

 

see you there!
Datenschutz | Impressum
Bitte wenden Sie sich bei technischen Problemen an die Administratoren.