| Event Type: |
Seminar |
| Target Group: |
Master Computer Science |
| Scope: |
2 SWS / 3 ECTS |
| Events: |
tba
|
| Event Number: |
2400094 |
| ILIAS Course: |
Link |
| Lecturers: |
Prof. Bernhard Beckert
Dr. Mattias Ulbrich
|
| Registration: |
tba |
| Allocation of Places: |
Topics will be distributed at the kickoff event. Priority will be given on a FCFS basis, considering preferences from registration.
|
| Prerequisites: |
No formal requirements, but prior experience with program analysis, verification or automated reasoning is helpful. |
| Language: |
English |
