Logic-Based Program Synthesis and Transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Description
LOPSTRhasareputation forbeingalively, friendlyforumforpresentinganddiscussingworkinprogress. Formalproceedingsareproducedonlyafterthesymposiumsothatauthorscan incorporateanyfeedbackinthepublishedpapers. IwouldliketothankallthosewhosubmittedcontributionstoLOPSTRinthe categoriesoffullpapersandextendedabstracts. Eachsubmissionwasreviewed byatleastthreeProgramCommitteemembers. Thecommitteedecidedtoaccept threefullpapersforimmediateinclusioninthe?nalproceedings, andtenpapers wereacceptedafterrevisionandanotherroundofreviewing. Inadditiontothe accepted papers, the program also included an invited talk by Germþ an Vidal (TechnicalUniversityofValencia). IamgratefultotheProgramCommitteememberswhoworkedhardtop- duce high-qualityreviewsforthe submitted papersin atight schedule, aswell as all the external reviewers involved in the paper selection. I also would like to thank Andrei Voronkov for his excellent EasyChair system that automates manyofthetasksinvolvedinchairingaconference.
Keywords
ComputersArtificial IntelligenceProgrammingCompilersComputer ScienceInformation TechnologyLogic DesignLanguagesSoftware Development & EngineeringMathematicsDiscrete MathematicsLogic
2010Book
Author(s)Danny De Schreye
PublisherSpringer Science & Business Media
ISBN9783642125911
LanguageEnglish
