Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
Logic and Verification Seminar WS19
Commits
55a3551c
Commit
55a3551c
authored
Oct 21, 2019
by
Anthony Lin
Browse files
Update README.md
parent
8e3cd2b4
Changes
1
Hide whitespace changes
Inline
Side-by-side
README.md
View file @
55a3551c
# Logic and Verification Seminar
# Logic and Verification Seminar
(Winter Semester 2019-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.
## 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
**tentative**
schedule and location:
*
Room: A seminar room near 34-419
*
Date and time: Tuesday 13:30am
*
Kickoff meeting: 05.11.2019
*
Periodicity: every two weeks
*
Registration: per mail at stan@cs.uni-kl.de
## 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.
-
05.11.2019
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment