« October 2020 »
October
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728293031
Uni-Logo
You are here: Home Teaching Winter Term 2020/21 Programmanalyse (Proseminar)
Document Actions

Programmanalyse (Proseminar)

In this proseminar, we will study a selection of articles which can be considered classical (or fundamental) for the topic area program analysis. The articles have been published between 1938 and 2009 and some of the authors received the acknowledged Turing Award for their work. We will have weekly sessions starting mid December (so not an "en bloc" schedule). The available topics will be introduced in the first session, together with the modus operandi (schedule, deliverables, grades).

Course type Proseminar
Instructors Prof. Dr. Andreas Podelski
Dr. Jochen Hoenicke
Dr. Bernd Westphal
Dominik Klumpp
Tanja Schindler
Kickoff session Monday, 2nd of November 2020, 10:00 c.t.
BigBlueButton in the Ilias system
Language of instruction German
Credits 3
Course Catalog Proseminar am Lehrstuhl Softwaretechnik
Ilias Course see here
 

News

  • 2020-10-14: Homepage online.

Proseminar

This proseminar gives a first introduction to scientific working in the discipline of computer science. The emphasis in this proseminar is on the presentations (in the roles of speaker as well as a participant).
Presentations will be on the classical articles from the topic area of program analysis as listed below, focusing on particular aspects of the articles. In the end, for each presentation the focus will be set in a way that all topics have a similar difficulty.

Registration

  • The kick-off meeting for this pro-seminar takes place at the location and time given above.
  • In the kick-off meeting, we will elaborate on the goals, the construction, and the rules of the pro-seminar.
  • In the kick-off meeting, there will be "pre-booking" lists which gives you a booking option.
  • By Monday, 9th of November 2020, 12:00 (local time), you tell us
    • a list of your favourite topics (first favourite first, as many as you like)
    • and that you certainly want to participate in this proseminar
  • If the seminar is fully booked, we will prefer admitting students on the pre-booking list who submitted their favourite topics on time. The organisors will try to match favourite topics to people as well as possible.

Available Topics


Resources

Some starting-point literature on scientific work and scientific presentations, including some pointers to further reading:

 

Personal tools