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:
x
Search results appear here...