README.md 1.68 KB
Newer Older
Anthony Lin's avatar
Anthony Lin committed
1
# Logic and Verification Seminar (Winter Semester 2019-2020)
Anthony Lin's avatar
Anthony Lin committed
2

Anthony Lin's avatar
Anthony Lin committed
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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.

## For students taking the seminar for credit

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

Daniel Stan's avatar
Daniel Stan committed
22
Schedule and location:
Anthony Lin's avatar
Anthony Lin committed
23

Daniel Stan's avatar
Daniel Stan committed
24
 * Room: seminar room *34-420*
Daniel Stan's avatar
/am//    
Daniel Stan committed
25
 * Date and time: **Tuesday 13:30** to 15:00
Daniel Stan's avatar
s/am//    
Daniel Stan committed
26
 * Kickoff meeting: Tuesday **05.11.2019** 13:30
Daniel Stan's avatar
Daniel Stan committed
27
28
 * Periodicity: every 2 weeks
 * Registration: send a mail to stan@cs.uni-kl.de with your name and matriculation number
Anthony Lin's avatar
Anthony Lin committed
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47

## Available topics
- Semantics of imperative programming languages
- Algorithmic problems in the field of verification
- Operationalization of formal specification techniques
- SMT (Satisfiability Modulo Theories) solving and decision procedures
- Database theory
- Modal and Temporal Logic

Some papers will be distributed at the kickoff meeting.

## Instructors
- Prof. Anthony Lin
- Dr. Daniel Stan

## Planned sessions

The below schedule will be completed with information about the topics.

Daniel Stan's avatar
Daniel Stan committed
48
49
50
51
- 05.11.2019: **kickoff** meeting
- 19.11.2019
- 03.11.2019
-