Formal Methods for AI Alignment

Welcome & Kick-Off Meeting Availabilities

Written on 16.04.2026 09:46 by Felix Jahn

Dear students, 

and once again a very warm welcome to our seminar on "Formal Methods for AI Alignment" and also to the CMS of the course. Thanks a lot for registering that quickly! 

For kicking off the seminar, we would like to have a first meeting with you within the next two weeks. To find the best suitable spot, you can assign your availabilities on possible dates and times on your "Personal Status" page. Please do so due to tomorrow, Friday 18:00, we will then schedule the meeting according to your availabilities. 

In the kick-off meeting, we will then have a first get-to-know and discuss all further details about the seminar organisation and structure, the content, possible topics and so on. 

In case of any questions, please do not hesitate to contact us. 

Cheers, 
Your FMAIA-Seminar Team