{"product_id":"logic-based-program-synthesis-and-transformation-19th-international-symposium-lopstr-2009-coimbra-portugal-september-2009-revised-selected-papers-von-danny-de-schreye-hrsg","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003epaper selection. I also would like to thank Andrei Voronkov for his excellent EasyChair system that automates manyofthetasksinvolvedinchairingaconference. LOPSTR2009wasco-locatedwithPPDP2009andCSL2009. Manythanks tothelocalorganizersoftheseevents,inparticular,toAnaAlmeida,theLOP- STR2009LocalOrganizationChair. January2010 DannyDeSchreye Conference Organization Program Chair DannyDeSchreye DepartmentofComputerScience KatholiekeUniversiteitLeuven B-3001Heverlee,Belgium Email:danny. deschreye@cs. kuleuven. be Local Organization Chair AnaAlmeida DepartamentodeMatematica FaculdadedeCienciaseTecnologia UniversidadedeCoimbra Coimbra,Portugal Email:amca@mat. uc. pt Program Committee SlimAbdennadher GermanUniversityCairo,Egypt Mar¿?aAlpuenteFrasnedoTechnicalUniversityofValencia,Spain RobertoBagnara UniversityofParma,Italy DannyDeSchreye K. U. Leuven,Belgium(Chair) JohnGallagher RoskildeUniversity,Denmark RobertGluc ¿ k UniversityofCopenhagen,Denmark MichaelHanus UniversityofKiel,Germany ReinhardKahle UniversidadeNovadeLisboa,Portugal AndyKing UniversityofKent,UK MichaelLeuschel UniversityofDu ¿sseldorf,Germany FabioMartinelli IstitutodiInformaticaeTelematicaPisa,Italy Fred Mesnard Universit¿edeLaR¿ eunion,France MarioOrnaghi Universita `degliStudidiMilano,Italy Germ¿ anPuebla TechnicalUniversityofMadrid,Spain SabinaRossi Universit` aCäFoscaridiVenezia,Italy JosepSilva TechnicalUniversityofValencia,Spain PeterSchneider-Kamp UniversityofSouthernDenmark,Denmark TomSchrijvers K. U. Leuven,Belgium PetrStepanek CharlesUniversityPrague,CzechRepublic WimVanhoof UniversityofNamur,Belgium VIII Organization Organizing Committee AnaAlmeida PedroQuaresma ReinhardKahle External Reviewers JesperLouisAndersen FedericoBergenti UlrichBerger CarlFriedrichBolz PedroCabalar GabrieleCosta Francois ¿ Degrave MarcDenecker CamilloFiorentini SebastianFischer EmilioJesusGallegoArias MichaelGelfond PepeIborra HaythemIsmail LeanidKrautsevich JoaoLeite GiftNuka EtiennePayet PaoloPilozzi FrankRais\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783642125911\"\u003e\u003ch3\u003e19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783642125911","offer_id":39431696285789,"sku":"9783642125911","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/aabc7ec0-5c51-4c50-a8b3-5ad6fdb88a3b.jpg?v=1773555748","url":"https:\/\/shop.autorenwelt.de\/products\/logic-based-program-synthesis-and-transformation-19th-international-symposium-lopstr-2009-coimbra-portugal-september-2009-revised-selected-papers-von-danny-de-schreye-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}