Introduction to Computational Logic

There is an ICL 2023 room on zoom that may be used for meetings and office hours on request:
https://cs-uni-saarland-de.zoom.us/j/95571819808?pwd=WkZwVy9qOTNiejFQMTZqSGdkbXJKUT09.
We don't plan to stream lectures or tutorials.