News Archive

Since the beginnings of informatics, computer scientists have also brought the art of deduction to computers, so that they can support humans in thinking and even prove statements that can be formulated mathematically. Hence, researchers delve into mathematical logic and develop formal systems, based on and evaluated by deductive principles.…

“There are already six lectures on the topic of ‘machine learning’ at Saarland University. Therefore, it seemed logical to expand upon this focus and open it up to people unfamiliar with the field,” explains Matthias Hein, Professor of Mathematics and Computer Science at Saarland University. Hein has already won several…