19.06.2024
Our Verification and Formal Guarantees of Artificial Intelligence working group is looking for two student assistants on a mini-job basis. The working…
[Read more]
18.06.2024
One of our PostDocs from the RC Trust, Benjamin Bordais, will give a talk on "Comparing the Complexity of Learning LTL, CTL and ATL formulas".
16.06.2024
It will take place with speaker PD Dr. Thea Radüntz from BAuA on Tuesday, 20th June, in presence or online via Zoom.
14.06.2024
We are proud to welcome the next professor at the Center: Alexander Marx started his professorship "Causality" on June 1.
11.06.2024
Prof. Dr. Guy Van den Broeck University of California LA talks about Symbolic Reasoning for Large Language Models.
10.06.2024
We had three days of PhD workshops, presentations and discussions.
09.06.2024
Francesco Leofante will talk about Robustness issues in algorithmic recourse on June 11 at 3:30 pm. The presentation will take place in…
06.06.2024
The RC Trust and Sec Human Summer School will take place from July 29 - 31 at the Ruhr University Bochum, Beckmanns Hof. Registration is still open…
05.06.2024
The so-called "Medien-Doktor AI" is launched now: At Medien-Doktor.de/ki, a team from the Chair of Science Journalism is presenting the new…