Automated logical reasoning is the backbone of many state-of-the-art methods and tools for software and hardware verification, program synthesis, automatic bug finding, and compiler optimization. In this proseminar we will study automated reasoning techniques for different logical theories that are commonly used in the context of program verification and synthesis, and how they are applied to the design, analysis, and construction of software.
Presentations: A key objective of the proseminar is for students to learn how to give a scientific presentation. Each student will give two presentations on the topic that they have been assigned (based on provided references that will be research papers or book chapters).
* The first presentation is for practice (and is not graded), and after it the fellow students and the instructor will provide feedback on the quality of the presentation and suggestions about what can be improved.
* The second presentation (which will be graded) will be on the same or a closely related topic but based on a different reference.
Feedback: All students are expected to participate actively in the discussions, and will be required to provide feedback for each of the practice presentations.
Summary: At the end of the semester each student will submit a short summary (3-4 pages) of the topic that they have presented.
Logistics
The proseminar will start with a kick-off meeting where we will give background information, describe the topics available for presentation, as well as information on how to prepare a scientific presentation and how to provide feedback to fellow students. The presentations, feedback and the discussions will be in English.
Time: TBA
Venue: TBA
Attendance: Participation in all meetings is mandatory (exceptions require an official document, i.e., doctor's certificate).
Important dates
TBA Kick-off meeting (participation is strictly required)
Instructor
Rayna Dimitrova (dimitrova@cispa.de)