{"id":454,"date":"2014-09-03T16:05:13","date_gmt":"2014-09-03T15:05:13","guid":{"rendered":"http:\/\/blogs.kent.ac.uk\/unikentcomp-news\/?p=454"},"modified":"2018-05-14T11:15:48","modified_gmt":"2018-05-14T10:15:48","slug":"school-to-host-two-international-symposia","status":"publish","type":"post","link":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2014\/09\/03\/school-to-host-two-international-symposia\/","title":{"rendered":"School to host two international symposia"},"content":{"rendered":"<p>The School of Computing will be hosting computer scientists from five continents in <a href=\"http:\/\/www.cs.kent.ac.uk\/events\/2014\/ppdp-lopstr-14\/index.html\" target=\"_blank\" rel=\"noopener\">two international symposia<\/a>. Dr Olaf Chitil and Dr Andy King from the School are co-chairs for these prestigious events in the logic and functional programming communities.<\/p>\n<p>The 16th International Symposium on Principles and Practice of Declarative Programming (<a title=\"PPDP\" href=\"http:\/\/users-cs.au.dk\/danvy\/ppdp14\/\" target=\"_blank\" rel=\"noopener\">PPDP 2014<\/a>) will take place from 8-10 September 2014 in at the University of Kent in Canterbury.<\/p>\n<p>PPDP brings together researchers from the declarative programming communities, including those working in the logic, constraint and functional programming paradigms, aiming to cross-fertilise one paradigm with ideas from another.<\/p>\n<p>The 24th International Symposium on Logic-based Program Synthesis and Transformation (<a title=\"LOPSTR\" href=\"http:\/\/www.iasi.cnr.it\/events\/lopstr14\/\" target=\"_blank\" rel=\"noopener\">LOPSTR 2014<\/a>) will be held from 9-11 September, and many delegates will be attending both events.<\/p>\n<p>LOPSTR promotes international research and collaboration on logic-based program development, with particular focus on partial deduction, program synthesis and partial evaluation.<\/p>\n<p>A speaker at both symposia is <a href=\"http:\/\/profs.sci.univr.it\/~giaco\/%20\" target=\"_blank\" rel=\"noopener\">Roberto Giacobazzi<\/a> from the University of Verona.\u00a0<a href=\"http:\/\/lara.epfl.ch\/~kuncak\/\" target=\"_blank\" rel=\"noopener\">Viktor Kuncak<\/a> from <a href=\"http:\/\/www.epfl.ch\/\" target=\"_blank\" rel=\"noopener\">EPFL in Switzerland<\/a> is also an invited speaker at LOPSTR and the tutorialists at PPDP are <a href=\"http:\/\/www.cs.nott.ac.uk\/~nhn\/\" target=\"_blank\" rel=\"noopener\">Henrik Nilsson<\/a>, <a href=\"http:\/\/www.lix.polytechnique.fr\/~danko\/\" target=\"_blank\" rel=\"noopener\">Danko Ilik<\/a>, <a href=\"https:\/\/karczmarczuk.users.greyc.fr\/\" target=\"_blank\" rel=\"noopener\">Jerzy Karczmarczuk<\/a> and <a href=\"http:\/\/softlang.wikidot.com\/rlaemmel:home\" target=\"_blank\" rel=\"noopener\">Ralf Laemmel<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The School of Computing will be hosting computer scientists from five continents in two international symposia. Dr Olaf Chitil and Dr Andy King from the &hellip; <a href=\"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/2014\/09\/03\/school-to-host-two-international-symposia\/\">Read&nbsp;more<\/a><\/p>\n","protected":false},"author":5321,"featured_media":266,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[1479,124,70],"tags":[37341,57987,57989,57988,142770,57986],"_links":{"self":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/454"}],"collection":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/users\/5321"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/comments?post=454"}],"version-history":[{"count":4,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/454\/revisions"}],"predecessor-version":[{"id":1434,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/posts\/454\/revisions\/1434"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media\/266"}],"wp:attachment":[{"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/media?parent=454"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/categories?post=454"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.kent.ac.uk\/unikentcomp-news\/wp-json\/wp\/v2\/tags?post=454"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}