{"id":6376,"date":"2022-09-23T03:29:52","date_gmt":"2022-09-23T09:29:52","guid":{"rendered":"https:\/\/logicprogramming.org\/?page_id=6376"},"modified":"2022-09-23T03:29:52","modified_gmt":"2022-09-23T09:29:52","slug":"ilps-1993","status":"publish","type":"page","link":"https:\/\/logicprogramming.org\/ilps-1993\/","title":{"rendered":"ILPS 1993"},"content":{"rendered":"\n<h3 class=\"wp-block-heading\">International Symposium on Logic Programming  \n<br>Vancouver, British Columbia, Canada<br>October 26-29, 1993<\/h3>\n\n\n\n<p><img loading=\"lazy\" decoding=\"async\" class=\"aligncenter size-large wp-image-6380\" src=\"https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-1024x546.jpg\" alt=\"\" width=\"860\" height=\"459\" srcset=\"https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-1024x546.jpg 1024w, https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-300x160.jpg 300w, https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-768x410.jpg 768w, https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-560x299.jpg 560w, https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-260x139.jpg 260w, https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812-160x85.jpg 160w, https:\/\/logicprogramming.org\/wp-content\/uploads\/2022\/09\/IMG_20220923_084812.jpg 1200w\" sizes=\"auto, (max-width: 860px) 100vw, 860px\" \/><\/p>\n\n\n\n<p>153 papers were submitted to the conference, of which 32 were accepted. The conference program included:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Keynote Speaker:<\/strong><br>Margaret Boden<\/li><li><strong>Invited Speakers:<\/strong><br> Krzysztof Apt, Gari Kaiser <\/li><li><strong>Tutorialists:<\/strong><br>Gopal Gupta, Michael Gelfond, Pascal van Hentenryck, VS Subrahmainan<\/li><\/ul>\n\n\n\n<p>A poster session was also organized. The ILPS 1993 Proceedings were published with MIT Press. Contents and proper bibtex entries are available from <a href=\"https:\/\/dblp.org\/db\/conf\/slp\/slp93.html\">DBLP<\/a>.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Organization<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><strong>Conference Chair<\/strong>: Veronica Dahl<\/li><li><strong>Program Chair<\/strong>: Dale Miller<\/li><li><strong>Posters Chair<\/strong>: Mireille Ducasse<\/li><li><strong>Local organization<\/strong>: Bill Havens, Jia Wei Han, David Poole <\/li><li><strong>Program Commitee:<\/strong> Yves Bekkers (IRISA\/INRIA-Rennes, France), Mats Carlsson (SICS, Sweden), Veronica Dahl (Simon Fraser University, Canada), Saumya Debray (University of Arizona, USA), Bart Demoen (KU Leuven, Belgium), Gopal Gupta (NMSU, USA), Masami Hagiya  (University of Tokio, Japan), Pat Hill (University of Leeds, UK), Bharat Jayaraman (State University of New York at Buffalo, USA), Paris Kannellakis (Brown University, USA), Giorgio Levi (University of Pisa, Italy), Vladimir Lifschitz (University of Texas at Austin, USA), Michael Maher (IBM, USA), Dale Miller (University of Pennsylvania, USA), Victor Marek (University of Kentucky, USA), L. Thorne McCarty (Rutgers University, USA), Luis MOneiro (Universidade Nova de Lisboa, Portugal), Gopalan Nadathur (Duke University, USA), Remo Pareschi (ECRC, Germany), Ramamohanarao Kotagiri (University of Melbourne, Australia), Vijay Saraawat (Xerox PARC, USA), John Sheperdson (University of Bristol, UK), Gert Smolka (DFKI, Germany), Leon Sterling (Case Western Reserve University, USA), Evan Ticl (University of Oregon, USA)<\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>International Symposium on Logic Programming Vancouver, British Columbia, CanadaOctober 26-29, 1993 153 papers were submitted to the conference, of which 32 were accepted. The conference program included: Keynote Speaker:Margaret Boden Invited Speakers: Krzysztof Apt, Gari Kaiser Tutorialists:Gopal Gupta, Michael Gelfond,&hellip;<\/p>\n<p class=\"more-link-p\"><a class=\"more-link\" href=\"https:\/\/logicprogramming.org\/ilps-1993\/\">Read more &rarr;<\/a><\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-6376","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/pages\/6376","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/comments?post=6376"}],"version-history":[{"count":4,"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/pages\/6376\/revisions"}],"predecessor-version":[{"id":6382,"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/pages\/6376\/revisions\/6382"}],"wp:attachment":[{"href":"https:\/\/logicprogramming.org\/wp-json\/wp\/v2\/media?parent=6376"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}