2nd Semester 2007/08: Formal Models and Ethics Instructors J. Zvesper ECTS 6 References http://staff.science.uva.nl/~jonathan/project0608/