en | de

Specialisation Seminar – Abstract Interpretations

bachelor program

SE1  SS 2019  703037

Lecturer

room consultation hours
SE Georg Moser 1N05 Wednesday12:00 – 14:00

Time and Place

SE Thursday11:15 – 12:00 3W03 Georg Moser

The seminar takes place partly blocked. In the first meeting (Oct. 7) we discuss administrative details and introduce the topic of program analysis. Furthermore the assignment of topics will be discussed. The introduction will be continued on Oct. 14. Student presentations will take place at the end of term.

Registration

Please register online before February 21, 25:56. Please note that we can atmost accept 15 participants.

Seminar Talks

The seminar talks should present the main results of the assigned part of the book. Seminars at presentation talks will start at 11:00. Presentations by a single should last for 30 minutes, presentations by two students should last for 45 minutes. In any case leaving 15 minutes for discussions and comments.

Seminar Reports

Final seminar reports have to be handed in to Georg Moser by July 14, 2019, 23:59.

Proof-Reading

Make sure to use a spell checker.