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