Logic-Based Program Synthesis and Transformation

Bücher

Angebote / Angebote:

paper 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` aCa'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