{"id":17009,"date":"2023-05-08T08:00:31","date_gmt":"2023-05-08T06:00:31","guid":{"rendered":"https:\/\/saarland-informatics-campus.de\/?post_type=sic_news&#038;p=17009"},"modified":"2023-06-27T08:04:27","modified_gmt":"2023-06-27T06:04:27","slug":"max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation","status":"publish","type":"sic_news","link":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/","title":{"rendered":"Max Planck Researchers honored for outstanding contributions to logic and computation"},"content":{"rendered":"<p><strong>MPI-SWS faculty member Derek Dreyer\u00a0and nine of his collaborators (including notably UdS\/MPI alumnus\u00a0Ralf Jung, as well as former MPI-SWS postdocs\u00a0Jacques-Henri Jourdan\u00a0and\u00a0Aaron Turon\u00a0and UdS\/MPI student\u00a0David Swasey) have received the 2023 Alonzo Church\u00a0<span class=\"il\">Award<\/span>\u00a0for Outstanding Contributions to Logic and Computation for their seminal\u00a0work on the\u00a0<span class=\"il\">Iris<\/span> framework for higher-order concurrent separation logic.<\/strong><\/p>\n<p>Specifically, the following four papers were recognized:<\/p>\n<p>&nbsp;<\/p>\n<div class=\"news__cnt\">\n<div class=\"news__cnt-full cnt js-readmore-full\">\n<ul>\n<li>Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer:\u00a0<a href=\"https:\/\/iris-project.org\/pdfs\/2015-popl-iris1-final.pdf\">\u201cIris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning\u201d<\/a>. POPL 2015.<\/li>\n<li>Ralf Jung, Robbert Krebbers, Lars Birkedal, Derek Dreyer:\u00a0<a href=\"https:\/\/iris-project.org\/pdfs\/2016-icfp-iris2-final.pdf\">\u201cHigher-order ghost state\u201d<\/a>. ICFP 2016.<\/li>\n<li>Robbert Krebbers, Ralf Jung, Ale\u0161 Bizjak, Jacques-Henri Jourdan, Derek Dreyer, Lars Birkedal:\u00a0<a href=\"https:\/\/iris-project.org\/pdfs\/2017-esop-iris3-final.pdf\">\u201cThe Essence of Higher-Order Concurrent Separation Logic\u201d<\/a>. ESOP 2017.<\/li>\n<li>Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ale\u0161 Bizjak, Lars Birkedal, Derek Dreyer: \u201c<a href=\"https:\/\/www.mpi-sws.org\/~dreyer\/papers\/iris-ground-up\/paper.pdf\">Iris from the ground up: A modular foundation for higher-order concurrent separation logic<\/a>\u201d. J. Funct. Program. 28 (2018).<\/li>\n<\/ul>\n<p>The Church Award\u00a0has been given out since 2016, and has typically been given to papers that were 20-25 years old (to allow time for foundational work on logic to have major impact).\u00a0 In this case, however, the four\u00a0awarded Iris papers were published only 5-8 years ago! In that relatively short period of time, Iris has served as a springboard for a huge amount of research in semantics and program verification, including over 70 papers in top venues (see\u00a0<a href=\"https:\/\/iris-project.org\/\">the Iris project page<\/a>), and it has been adopted as a core verification technology by a multitude of research groups around the world, as well as the systems verification company BedRock Systems. More details about <a href=\"https:\/\/eatcs.org\/index.php\/church-award\">the Alonzo Church\u00a0Award<\/a>\u00a0and about the\u00a0<a href=\"https:\/\/www.eatcs.org\/index.php\/component\/content\/article\/1-news\/2943-2023-alonzo-church-award-for-outstanding-contributions-to-logic-and-computation\">2023 Church Award<\/a>.<\/p>\n<p>Originally published at <a href=\"https:\/\/www.mpi-sws.org\/news\/general\/\">Max Planck Institute for Software Systems<\/a><\/p>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>MPI-SWS faculty member Derek Dreyer&nbsp;and nine of his collaborators (including notably UdS\/MPI alumnus&nbsp;Ralf Jung, as well as former MPI-SWS postdocs&nbsp;Jacques-Henri Jourdan&nbsp;and&nbsp;Aaron Turon&nbsp;and UdS\/MPI student&nbsp;David Swasey) have received the 2023 Alonzo Church&nbsp;Award&nbsp;for Outstanding Contributions to Logic and Computation for their seminal&nbsp;work on the&nbsp;Iris framework for higher-order concurrent separation logic. Specifically, the following four papers were recognized: [&hellip;]<\/p>\n","protected":false},"featured_media":17010,"menu_order":0,"template":"","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":""},"sic_news-types":[57],"class_list":["post-17009","sic_news","type-sic_news","status-publish","has-post-thumbnail","hentry","sic_news-types-mpi-sws-en"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.3 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>Max Planck Researchers honored for outstanding contributions to logic and computation - 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\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Max Planck Researchers honored for outstanding contributions to logic and computation - Saarland Informatics Campus\" \/>\n<meta property=\"og:description\" content=\"MPI-SWS faculty member Derek Dreyer&nbsp;and nine of his collaborators (including notably UdS\/MPI alumnus&nbsp;Ralf Jung, as well as former MPI-SWS postdocs&nbsp;Jacques-Henri Jourdan&nbsp;and&nbsp;Aaron Turon&nbsp;and UdS\/MPI student&nbsp;David Swasey) have received the 2023 Alonzo Church&nbsp;Award&nbsp;for Outstanding Contributions to Logic and Computation for their seminal&nbsp;work on the&nbsp;Iris framework for higher-order concurrent separation logic. Specifically, the following four papers were recognized: [&hellip;]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/\" \/>\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=\"article:modified_time\" content=\"2023-06-27T06:04:27+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Logo-N-long-16-9.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1000\" \/>\n\t<meta property=\"og:image:height\" content=\"640\" \/>\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\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/\",\"name\":\"Max Planck Researchers honored for outstanding contributions to logic and computation - Saarland Informatics Campus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Logo-N-long-16-9.jpg\",\"datePublished\":\"2023-05-08T06:00:31+00:00\",\"dateModified\":\"2023-06-27T06:04:27+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/#primaryimage\",\"url\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Logo-N-long-16-9.jpg\",\"contentUrl\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/wp-content\\\/uploads\\\/Logo-N-long-16-9.jpg\",\"width\":1000,\"height\":640},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/saarland-informatics-campus.de\\\/en\\\/piece-of-news\\\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\\\/#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\":\"Max Planck Researchers honored for outstanding contributions to logic and computation\"}]},{\"@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":"Max Planck Researchers honored for outstanding contributions to logic and computation - 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\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/","og_locale":"en_US","og_type":"article","og_title":"Max Planck Researchers honored for outstanding contributions to logic and computation - Saarland Informatics Campus","og_description":"MPI-SWS faculty member Derek Dreyer&nbsp;and nine of his collaborators (including notably UdS\/MPI alumnus&nbsp;Ralf Jung, as well as former MPI-SWS postdocs&nbsp;Jacques-Henri Jourdan&nbsp;and&nbsp;Aaron Turon&nbsp;and UdS\/MPI student&nbsp;David Swasey) have received the 2023 Alonzo Church&nbsp;Award&nbsp;for Outstanding Contributions to Logic and Computation for their seminal&nbsp;work on the&nbsp;Iris framework for higher-order concurrent separation logic. Specifically, the following four papers were recognized: [&hellip;]","og_url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/","og_site_name":"Saarland Informatics Campus","article_publisher":"https:\/\/www.facebook.com\/sic.informatik.saarland\/","article_modified_time":"2023-06-27T06:04:27+00:00","og_image":[{"width":1000,"height":640,"url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Logo-N-long-16-9.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\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/","url":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/","name":"Max Planck Researchers honored for outstanding contributions to logic and computation - Saarland Informatics Campus","isPartOf":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/#website"},"primaryImageOfPage":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/#primaryimage"},"image":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/#primaryimage"},"thumbnailUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Logo-N-long-16-9.jpg","datePublished":"2023-05-08T06:00:31+00:00","dateModified":"2023-06-27T06:04:27+00:00","breadcrumb":{"@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/#primaryimage","url":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Logo-N-long-16-9.jpg","contentUrl":"https:\/\/saarland-informatics-campus.de\/wp-content\/uploads\/Logo-N-long-16-9.jpg","width":1000,"height":640},{"@type":"BreadcrumbList","@id":"https:\/\/saarland-informatics-campus.de\/en\/piece-of-news\/max-planck-researchers-honored-for-outstanding-contributions-to-logic-and-computation\/#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":"Max Planck Researchers honored for outstanding contributions to logic and computation"}]},{"@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\/17009","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\/17010"}],"wp:attachment":[{"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/media?parent=17009"}],"wp:term":[{"taxonomy":"sic_news-types","embeddable":true,"href":"https:\/\/saarland-informatics-campus.de\/en\/wp-json\/wp\/v2\/sic_news-types?post=17009"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}