12.03.2024
As RC-Trust we would like to support submission to the upcoming 37th International Workshop on Description Logics on June 18-21, 2024 in Bergen, Norway!
[Read more]
16.02.2024
We co-organize this year's ENBIS Spring Meeting. You can register now and the abstract submission is open until end of February!
13.02.2024
Prof. Daniel Neider will give a talk with the title "A Gentle Introduction to Neural Network Verification" on February 15. The talk is part of the SAIL (Sustainable Life-Cycle of Intelligent Socio-Technical Systems) lecture series on "Robust AI".
09.02.2024
We are looking for a fulltime postdoc (part-time possible) in Machine Learning to pursue independent research projects for two years. Payment according to public service’s agreement: TV-L E14.
07.02.2024
The “Summer School on Time-to-Event-Analysis” takes place in Strobl in June and RC Trust co-organizes the event!
01.02.2024
As part of the video series "Trust in AI", Prof. Daniel Neider gives insights about the importance of Verification.
18.01.2024
Two of our professors will give insight today at the "TU Dortmund in Conversation" event
PostDocs can now get funding to visit us in Germany in June!
10.01.2024
As part of the video series "Trust in AI", Prof. Daniel Neider gives insights about the importance of specification in machine learning and AI.
