1.
Welcome
2.
Formalities
2.1.
Lecturer
2.2.
Syllabus
3.
Logic Programming
3.1.
Week 1
3.2.
Week 2
3.3.
Week 3
3.4.
Logic Project
3.5.
Paper Presentations
Light (default)
Rust
Coal
Navy
Ayu
Advanced Programming
Lecturer
Lecturer
Email
Office
Office Hours
Magnus Madsen
magnusm@cs.au.dk
Turing-215
TBD