idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
When Sherlock Holmes analyzes a crime scene and discovers the true culprit based only on the facts, he shows his mastery of the art of deduction, or drawing correct conclusions. Since the beginnings of informatics, computer scientists have also brought this technique 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. For their nearly 20-year-old research, three Saarbrücken computer scientists have now received the internationally renowned Thoralf Skolem Award.
“The Conference on Automated Deduction (abbreviated CADE) is the most influential international conference in the area of automated theorem proving,” explains Andreas Nonnengart, who works at the German Research Centre for Artificial Intelligence (DFKI). At this year’s conference in Gothenburg, Sweden, he and his colleagues Christoph Weidenbach, computer science professor at Saarland University and independent research group leader at the Max Planck Institute for Informatics, and Georg Rock of Trier University, received the Thoralf Skolem Award.
The reason: the paper “On Generating Small Clause Normal Forms,” which Nonnengart, then also as a Max Planck Researcher, had presented at the conference in 1998 together with Christopher Weidenbach, also of the Max Planck Institute for Informatics, and Georg Rock, then a DFKI researcher. In this work, the scientists described how to transform logical expressions so that computers could more quickly check them for validity. The jury justified their decision by stating that the paper had recognized the importance of this special transformation, and had built upon it basic techniques that are now playing an important role in all modern theorem-proving systems.
The Thoralf Skolem Award was established in 2014. The research prize goes to scientists who previously presented their research at the conference and thereby shaped the research area over the last 10, 20, 30, or 40 years. Its namesake is the Norwegian mathematician Albert Thoralf Skolem, who received so much attention for his 1926 doctoral thesis that even the Norwegian king heard about it. Along with philosophical writings, Skolem established mathematical foundations that are fundamental to the computer sciences today.
Background: Saarland Informatics Campus
The Department of Computer Science at Saarland University forms the core of the Saarland Informatics Campus. In its immediate vicinity, seven further, world-renowned research institutes do research on the campus. Along with the two Max Planck Institutes for Informatics and Software Systems, these are the German Research Center for Artificial Intelligence (DFKI), the Center for Bioinformatics, the Intel Visual Computing Institute, the Center for IT-Security, Privacy and Accountability (CISPA), and the Cluster of Excellence “Multimodal Computing and Interaction” (MMCI).
Further information:
About the Thoralf Skolem Award
http://cadeinc.org/
Press photos: www.uni-saarland.de/pressefotos
Questions can be directed to:
Dr. Andreas Nonnengart
German Research Center for Artificial Intelligence (DFKI)
Saarland Informatics Campus
Tel.: +49 681 857 75 5366
E-mail: Andreas.Nonnengart@dfki.de
Editor:
Gordon Bolduan
Competence Center Computer Science Saarland
Saarland Informatics Campus
Tel.: +49 681 302 70 741
E-mail: bolduan@mmci.uni-saarland.de
Christoph Weidenbach, Professor Saarland University
MPI
None
Andreas Nonnengart
DFKI
None
Merkmale dieser Pressemitteilung:
Journalisten, Wissenschaftler
Informationstechnik
überregional
Wettbewerbe / Auszeichnungen
Englisch
Christoph Weidenbach, Professor Saarland University
MPI
None
Andreas Nonnengart
DFKI
None
Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.
Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).
Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.
Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).
Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).
