Automated Theorem Proving in Isabelle/HOL
VU 4 WS 2006/07 LVA 703861
Evaluation
First Exam, 1 February
The first exam will take place on 1 Feburary from 8:30 to 10:00 in HS 11. Registration is compulsory and takes place from 22 to 29 January. Students not registered will not be admitted. Withdrawing the registration after 29 January is only possible with wichtigem Grund (which means that you will have to provide a medical certificate).Please register online for the exam from 22 to 29 January.