| Course | Teacher |
|---|---|
| Practical course: SMT Solving for Equalities and Uninterpreted Functions |
Ábrahám, Haehn, Kremer |
| Practical course: Selected Topics in Renewable Energy |
Ábrahám, Richter |
| Practical course: Web Application for Offshore Wind Farms |
Ábrahám, Richter |