

| Time | Programme item | Room |
| 09:00 - 09:15 | Welcome Coffee | X-E0-206 |
| 09:15 - 10:30 | Market of opportunities and Coffee
|
X-E0-207 and X-E0-206 |
| 10:30 - 12:00 | Scientific talks by PhD students
|
X-E0-207 |
| 12:00 - 13:00 | Lunch break (self-organised) | |
| 13:00 - 15:30 | Lost in Formalization: Bridging 2,300 Years of Deduction Talk by Fabian Januszewski (Paderborn University), followed by a discussion on AI in research |
X-E0-207 |
| 15:30 - 16:00 | Coffee break | X-E0-206 |
| 16:00 - 17:00 | Career mentoring / panel discussion with Alumni:
|
X-E0-206 |
| 17:00 | Pizza & drinks | t.b.a. |
If you intend to take part, please register in the ekVV.