Forschungstage supports the next generation of scientists with lectures, workshops, and insights into latest computer science research From June 25 to 27, 2025, Saarbrücken will once again become a hub for young computer science enthusiasts from across Germany. Since 2008, the Saarbrücken Research Days have provided selected high school students…
Professor Derek Dreyer, scientific director of the Max Planck Institute for Software Systems. Photo: Oliver Dietze Professor Derek Dreyer, Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS), has recently received two prestigious international awards recognizing his research. The Association for Computing Machinery (ACM), the world’s largest scientific…
So-called ‘discrete dynamical systems’ form the basis for key computational challenges in a variety of fields, from program analysis and computer-aided verification to artificial intelligence and theoretical biology. Creating algorithmic solutions to make these systems amenable to automated verification techniques remains a major challenge. Researchers at the Max Planck Institute…
Further intensifying cooperation between the Faculty of Mathematics and Computer Science at Saarland University and the partnered non-university computer science research institutions in Saarland – that is the aim of the "Saarland University Associate Fellowship". The faculty has now appointed the first six scientists to the rank of "Fellows". The…
AI tools like ChatGPT are currently taking the world by storm, but these systems come with risks of their own. They can, for example, reinforce racial prejudice, they can be used for novel forms of cyberattacks or they can simply generate inaccurate responses or misleading information. Due to the complexity…
