First Meeting (Date Changed!):
When: Thursday, March 28, 1:30 p.m.
Where: Building E1 5, Room 630
If you are not able to attend the meeting, please contact Jennifer Müller.
The Lecture/Tutorial times will be discussed with all participants in the first meeting.
Lecture: Tuesday, 18 - 20 s.t.
Room 622, Building E1 5
First Meeting: Thursday, March 28, 1:30 p.m., room 630 (E1 5)
Automated Reasoning I