Graduate Education
Graduate Courses, Academic Year 2009-2010
- Introduction Course for New Ph.D. students at IT Dept., 1hp, Autumn 2009, Contact: Wang Yi
- Constraint Technology for Solving Combinatorial Problems, 7.5hp, Autumn 2009, Contact: Pierre Flener
- Interactive theorem proving in Isabelle, Spring 2009, Contact Jesper Bengtson
- Technology and ethics, Autumn 2009 - Spring 2010, Contact: Iordanis Kavathatzopoulos
Courses at other departments:
- Applied Logic (Tillämpad Logik), 10hp, Autumn 2009