Hi! Welcome to TDDD08, logic programming. Due to the current circumstances the course is going to be held remotely. Naturally, this enforces some changes to the course. Previously, the course had three teaching moments, lectures, tutorials (lektioner), and computer labs. We now plan to implement these teaching moment as follows: * Each lecture is replaced by (1) pre-recorded video(s) covering roughly the same content as the original lecture, and (2) a Zoom session which is held at the time specified by the timeedit schedule. The Zoom session will contain additional, live examples, and clarifications, and you'll have the opportunity to ask questions. Naturally, we expect that you have taken part of the pre-recorded videos before attending the Zoom session. Exactly how these videos will be distributed will be announced later. * Each tutorial is replaced by a Zoom session. A typical tutorial consists of (1) a small lecture which attempts to illustrate/exemplify some concept from the course, (2) distribution of a set of exercises, and (3) live solutions to selected exercises. This year we in addition plan to add new exercises and more comprehensive solutions. An exception to this rule is tutorial #2 which is closer to a lecture in spirit. * Labs are, naturally, going to be held remotely, but I haven't decided on the exact tools yet (feel free to e-mail suggestions to me if you have any experience from other courses). Note that the first scheduled lab is not until September 8. Zoom links are in general going to be distributed via the course mailing list, but the website will also be continuously updated with the new information. At the moment, there are no plans to use Lisam. Feel free to e-mail me, in English or Swedish, if anything is unclear or uncertain at the moment. -- Victor