Formal Methods for AI Alignment

Dear students, 

First of all, we want to kindly thank you for the numerous participation in the seminar evaluation. 

We have just published the grading for the seminar including the grades of the final talk and written review and an optional bonus/malus on the introductory session and your participation. All the grades as well as the composed overall grade are visible on your Personal Status page. 

In case of any questions regarding the seminar grading or if you wish to receive detailed personal feedback on your talk and/or review, feel free to message your personal advisor. We will export the grades to the LSF in the course of the next week, in case you need a separate seminar certificate ("Schein"/"Leistungsnachweis") please contact Felix Jahn (felix.jahn@uni-saarland.de).

Thanks to all of you once again for participating in our seminar and making the course an exciting and inspiring experience. 

Have a nice remaining semester break and best regards,
your FMAIA Team!

Dear students, 

this is a gentle reminder that the course evaluation is possible only until the end of today. The evaluation is accessible via the link: https://qualis.uni-saarland.de/eva/?l=164546&p=599ocd 

Note: the link is only accessible via the university’s network, which can be reached from off-campus via VPN. For more information, please check: https://www.sulb.uni-saarland.de/aktuelles/medizinische-abteilung-homburg/lernorte/vpn-vpn-virtual-private-network

Thanks a lot for participating, 
your FMAIA Team

Dear students, 

thank you very much once again for the nice presentations and discussions of last week's seminar sessions. 

As previously announced, we would like to kindly ask you to participate in the course evaluation which is accessible via the following link: https://qualis.uni-saarland.de/eva/?l=164546&p=599ocd

Participation is possible until next Monday (24th August). We would be very grateful if many of you would take the time to provide us with your feedback on the course.
In the middle or at the end of next week, we will publish the grades here via the CMS. 

Thank you in advance for participating in the evaluation and kind regards, 
your FMAIA-Team
 

Dear seminar participants,

as you already know, the final talks of the seminar will take place next week.

The sessions are scheduled as follows:

• Monday (Block A): 10:00–14:30
• Tuesday (Block B): 10:30–15:00
• Thursday (Block C): 10:00–14:30
• Friday (Block D): 10:00–14:30

Please plan with a bit of a time buffer, as the sessions may run slightly over the scheduled end times.

Each day will comprise one topic block, and the talks are currently planned to take place in order within each block, e.g. first A1, then A2, and so on. However, please note that this order is not guaranteed.

Attendance at all talks is mandatory. If you have a valid reason for missing some of the talks, please contact us beforehand.

The talks will take place in the VisRoom (D 3.4, Room −1.63). You can find the room by entering the DFKI through the reception, going straight ahead, then turning right before the entrance to the parking lot, and following the corridor.

Best of luck with your final preparations for the talks, we are looking forward to them!

Cheers,
your FMAIA-Team

Dear students,

We have uploaded templates that you are strongly recommended to use for the paper review under Information —> Materials. Within these templates, you will also find further information on what the review should contain, how you are supposed to structure the review, and how long the different parts are expected to be. You can choose to either write the review in MS Word or LaTeX. 

For submitting the paper review, we have added a submission option on your Personal Status page. Please upload the review there as a PDF file by 17 August, 23:59.   

Best wishes, have a nice week and a successful exam period, your FMAIA Team!

Dear students,

We want you inform via this news about a few updates on different concerns:

First, we have uploaded our slides of the Introductory Sessions under Information —> Materials. Feel free to have a further look on them for instance in the course of your talk preparation or just in case you want to recap some topics presented in the Introductory Sessions.

Second, we have decided to not change the deadline for the paper review such that it will remain on the 17th August (and with this after the Final Sessions). However, we emphasise once again that we highly recommend to write (and submit) the review before your final talk; this is as discussed last week both possible as well as reasonable.

Third, we recall that each group should (if not already done) send 2-4 leading questions about your topic block to your advisor. As mentioned, these questions should just serve as a good basis for interesting and fruitful discussions in the final sessions.

Best wishes and a sunny week, your FMAIA-Team!

Hi all,

due to the issues we encountered with the projector today, we will switch to a different room for tomorrow's session.

Therefore, contrary to previous announcements, the second introductory session will take place in D3.4, Room +2.31 (Turing 2).

The easiest way to find the room is to enter the building via D3.2 (where the reception is), take the stairs or elevator to the top floor, then turn right and follow the corridor to the very end (you will pass a small balcony on the way).

See you all again tomorrow!

Dear students, 

this is a friendly reminder that the introductory sessions of our seminar will take place on Monday and Tuesday of the upcoming week.  
Tomorrow, we meet already from 8:15 - 10:00 (I haven't forgotten my promise to bring croissants as compensation for this early time ;-) ) and have the introductions to block A and B. On Tuesday, we meet from 16:15 - 18:00 with introductions to block C and D. As written in the last news, both meetings take place in Building D 3.4 (DFKI), Room −1.63 (VisRoom).

See you tomorrow morning, your FMAIA-Team!

Dear participants,

we have now secured a room for the introductory sessions that will take place on Monday and Tuesday next week:

D 3.4 (DFKI), Room −1.63 (VisRoom)

You can find the room by entering the DFKI through the main entrance in building D 3.2 (the one on the way from the street to the mensa). Once inside, turn right before the door leading to the parking lot and follow the corridor to the end.

If you have any trouble finding the room, feel free to ask at the reception.

See you all on Monday!

Cheers, your FMAIA-Team

Dear students, 

this is a gentle reminder that today (!!!) 23:59 is the registration deadline for the seminar in the LSF. 
Please make sure that you are registered there (in case your study program uses the LSF for seminar registrations), otherwise you cannot get credits. 

Best regards and enjoy the sunny afternoon!

Dear students, 

we have fixed the dates for the final sessions in the end of the semester. According to your submitted availabilities, the best suitable dates seem to be the ones in the week from 10.-14. August. We therefore plan to meet in this week on Monday, Tuesday, Thursday, and Friday, each day from 10:00 to 14:30. The sessions are also added to the calendar that can be reached under Information —> Timetable. Slight changes regarding the times might be possible if it helps people to attend - we will discuss these details at the introductory sessions in the beginning of June. 

Due to the rescheduled dates of the final sessions, we would also reschedule the deadline for a first meeting with your advisors about your final talks to 10. July. The dates for the introductory sessions remain unchanged at the 9. & 10. June. 

See you then and best regards
Your FMAIA-Seminar Team

Dear students, 

We have just published the topic assignment that we have done based on your personal preferences. You can find your topic together with your personal advisor for the seminar on your Personal Status page, the e-mail addresses of all the advisors are given under Information —> Team. In the next days, your advisors will message you to introduce you with your team for the block introductory sessions and also further information on how to prepare these. 

A very important reminder: In case you want to take the seminar and get credits for it, you have to register for the seminar in the LSF by 26.05.!

On your Personal Status page, we have also published a short survey to find the best possible dates for the final sessions of our seminar in the semester break. We would plan to have the final sessions either in the week 10.08. - 14.08. or in the week 31.08. - 04.09. (Monday, Tuesday, Thursday, and Friday; 10:00 - 14:30). Please note the further information on your Personal Status page under Final Sessions Date Finding and enter your unavailabilities for the two weeks by next Monday, 11.05., 23:59. 

Thank you very much for helping us to find good dates for the final sessions and your understanding! 

Best regards 
Your FMAIA-Seminar Team  

Dear students, 

thank you very much for the really promising kick-off yesterday, it was a pleasure to get to know you for the first time and we are now even more looking forward to the seminar! We uploaded the slides of yesterdays meeting in the Information --> Materials section, all important dates can also be found in the CMS calendar under Information --> Timetable. 

Also, we have published the concrete list of topics and the according papers here in the CMS on the Main Page. On your Personal Status page, you will find different options to submit your personal topic preferences, please take into account the instructions on how you should submit your preferences. Please do so until next Monday, May 4th, 23:59, we will then try to assign the topics in the best possible accordance to your preferences in the mid of next week.  

In the next week, we will also provide you with further information and polls to find the dates for our final sessions. Further information about this will then again be shared via a news message.

Have a nice long weekend, 
Your FMAIA-Seminar Team  

 

Dear students, 

this is a quick reminder that the kick-off meeting for our seminar will take place this Wednesday, April 29, from 12:00 PM to 2:00 PM. We’ll meet in the “Reuse” room in the DFKI main building; it’s on the ground floor, directly across from the reception desk in the main lobby by the main entrance. 

We look forward to the meeting and to getting to know all of you! 

See you on Wednesday, 
Your FMAIA-Seminar Team

Dear students, 

thanks to all of you for stating your availabilities for a kick-off meeting! According to your answers, we schedule the meeting to be on Wednesday, 29.04., 12-14. We will inform you a few days before about the room in which we will meet. We strongly prefer to have the meeting in person; if anyone of you can definitely only join online, please write us an e-mail such that we can figure out hybrid alternatives.  

Best regards - have a nice and hopefully sunny weekend everyone! 
The FMAIA-Seminar Team 

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