{"id":4518,"date":"2017-11-09T10:43:35","date_gmt":"2017-11-09T09:43:35","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/"},"modified":"2017-11-09T10:43:35","modified_gmt":"2017-11-09T09:43:35","slug":"saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/","title":{"rendered":"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research"},"content":{"rendered":"

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. For their nearly 20-year-old research, three Saarbr\u00fccken computer scientists have now received the internationally renowned Thoralf Skolem Award.<\/strong><\/p>\n

\u201cThe Conference on Automated Deduction (abbreviated CADE) is the most influential international conference in the area of automated theorem proving,\u201d explains Andreas Nonnengart, who works at the German Research Centre for Artificial Intelligence (DFKI). At this year\u2019s 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.<\/p>\n

The reason: the paper \u201cOn Generating Small Clause Normal Forms,\u201d 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.<\/p>\n

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.<\/p>\n

Background: Saarland Informatics Campus<\/strong>
\nThe 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 \u201cMultimodal Computing and Interaction\u201d (MMCI).<\/p>\n

Further information:<\/strong>
\nAbout the Thoralf Skolem Award
\nhttp:\/\/cadeinc.org\/<\/a><\/p>\n

Press photos:<\/strong> www.uni-saarland.de\/pressefotos<\/a><\/p>\n

Questions can be directed to:<\/strong>
\nDr. Andreas Nonnengart
\nGerman Research Center for Artificial Intelligence (DFKI)
\nSaarland Informatics Campus
\nTel.: +49 681 857 75 5366
\nE-mail: Andreas.Nonnengart@dfki.de<\/a><\/p>\n

Editor:<\/strong>
\nGordon Bolduan
\nCompetence Center Computer Science Saarland
\nSaarland Informatics Campus
\nTel.: +49 681 302 70 741
\nE-mail: bolduan@mmci.uni-saarland.de<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"

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. For their nearly 20-year-old research, […]<\/p>\n","protected":false},"featured_media":2671,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[61,59],"class_list":["post-4518","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-migrated-en","sic_news-types-press-release-en"],"yoast_head":"\nSaarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research - Saarland Informatics Campus<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"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. For their nearly 20-year-old research, […]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/\" \/>\n<meta property=\"og:site_name\" content=\"Saarland Informatics Campus\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/sic.informatik.saarland\/\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Bild-3.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"2048\" \/>\n\t<meta property=\"og:image:height\" content=\"1224\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/\",\"name\":\"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Bild-3.jpg\",\"datePublished\":\"2017-11-09T09:43:35+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Bild-3.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Bild-3.jpg\",\"width\":2048,\"height\":1224},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"News\",\"item\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"name\":\"Saarland Informatics Campus\",\"description\":\"in Saarbr\u00fccken, Germany\",\"publisher\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#organization\",\"name\":\"Saarland Informatics Campus\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/SIC_logo_1453x343.png\",\"width\":1453,\"height\":343,\"caption\":\"Saarland Informatics Campus\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/sic.informatik.saarland\\\/\",\"https:\\\/\\\/bsky.app\\\/profile\\\/saarland-informatics-campus.de\",\"https:\\\/\\\/www.instagram.com\\\/saarland_informatics_campus\\\/\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UCaDDK5m9CGCzE4xhZTFC6cA\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/saarland-informatics-campus\"]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research - Saarland Informatics Campus","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/","og_locale":"en_US","og_type":"article","og_title":"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research - Saarland Informatics Campus","og_description":"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. For their nearly 20-year-old research, […]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","og_image":[{"width":2048,"height":1224,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Bild-3.jpg","type":"image\/jpeg"}],"twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/","name":"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Bild-3.jpg","datePublished":"2017-11-09T09:43:35+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Bild-3.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Bild-3.jpg","width":2048,"height":1224},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/saarbruecken-computer-scientists-internationally-recognized-for-ca-20-year-old-research\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/saarland-informatics-campus.de\/en\/"},{"@type":"ListItem","position":2,"name":"News","item":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/"},{"@type":"ListItem","position":3,"name":"Saarbr\u00fccken computer scientists internationally recognized for ca. 20-year-old research"}]},{"@type":"WebSite","@id":"https:\/\/saarland-informatics-campus.de\/en\/#website","url":"https:\/\/saarland-informatics-campus.de\/en\/","name":"Saarland Informatics Campus","description":"in Saarbr\u00fccken, Germany","publisher":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/saarland-informatics-campus.de\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/saarland-informatics-campus.de\/en\/#organization","name":"Saarland Informatics Campus","url":"https:\/\/saarland-informatics-campus.de\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/SIC_logo_1453x343.png","width":1453,"height":343,"caption":"Saarland Informatics Campus"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/sic.informatik.saarland\/","https:\/\/bsky.app\/profile\/saarland-informatics-campus.de","https:\/\/www.instagram.com\/saarland_informatics_campus\/","https:\/\/www.youtube.com\/channel\/UCaDDK5m9CGCzE4xhZTFC6cA","https:\/\/www.linkedin.com\/company\/saarland-informatics-campus"]}]}},"_links":{"self":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news\/4518","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news"}],"about":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/types\/sic_news"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media\/2671"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=4518"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=4518"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}