Logic and Verification Seminar (Summer 2020)

The Logic and Verification seminar is a reading group gathering the members of the Automatic Reasoning AG and students interested in formal methods and more precisely in logic and verification.

The seminar is open both for Bachelor and Master students.

As a student

Your main role is to attend the weekly sessions, and contribute to the discussions. Each session consists in a presentation of an article or an ongoing research by a member of the group followed by some questions and discussions.

As a student, you will read a scientific paper in logic and verification, summarize it in a report, and present it. There will be several possible topics (see below). To help you with these tasks, a researcher of our group will be assigned to you to supervise you and provide advice both for your presentation and your report.

When and where

Schedule and location:

Room: Online via OLAT/BBB: follow this link
Date and time: Friday 10:00 to 12:00
Kickoff meeting: Friday 24.04.2020 10:00
Periodicity: every 2 weeks
Registration: send a mail to stan@cs.uni-kl.de with your name and matriculation number