Computational Logic

General Information

Lecturers

Prof. Michael Kohlhase, Dr. Florian Rabe

Teaching Assistant

Fulya Horozal <f.horozal@jacobs-university.de>

Course lectures

take place every Tuesday between 11:15-12:30 in room 120 (Seminar Room) in Research 1
and every Thursday between 9:45-11:00 in WestHall 8.

Tutorials

take place every Tuesday between 12:30-13:30 in room 120 (Seminar Room) in Research 1.

Course Lab

takes place every Thursday between 11:15-12:30 in WestHall 8.

Announcements

will be made on PantaRhei, our course portal. In case of questions please contact Catalin David <c.david@jacobs-university.de>

Lecture Notes

We will try to have the new lecture notes accessible here and will try to keep these up to date as the course unfolds.
If we forget, please e-mail Michael Kohlhase.

Lab Notes

Notes for the lab can be found here.

Assignments

Third course assignment is available here and is due Friday, Nov. 4th (latest at 23:59).

Fifth lab assignment is available here and is due Tuesday, Oct. 25th (latest at 23:59).

Fourth lab assignment is available here and is due Tuesday, Oct. 18th (latest at 23:59).

Second course assignment is available here and is due Friday, Oct. 14th (latest at 23:59).

Third lab assignment is available here and is due Tuesday, Oct. 11th (latest at 23:59).

Second lab assignment is available here and is due Tuesday, Oct. 4th (latest at 23:59).

First lab assignment is available here and is due Tuesday, Sept. 27th (latest at 23:59).

First course assignment is available here and is due Friday, Sept. 23rd (latest at 23:59).

Solutions to the lab assignments are available here.