Course projects

Here is a list of possible subjects for the course projects. If you have other ideas, feel free to discuss them with lecturers.


Below you will find proposals for projects.


Since the timeline for a project is rather short, and you will not start practicals on Prolog and Coq before 13/10 and 20/10, respectively, the proposals below all involve algorithms for Automated Deduction, and their potential implementations in OCaml. Other ideas are welcome, but if you want to do a project involving rather Prolog or Coq, we can discuss how to rearrange your practicals from Day 1 so as to start your project as early as possible.