Logic Based Program Synthesis and Transformation

Angebote / Angebote:

whoworkedwithmewithgreatenthusiasmanddedicationasmembersofthe OrganizingCommittee. Thepre-proceedingsofLOPSTR2001wereprintedbytheIASIInstituteof theNationalResearchCouncilofRome, Italy, andtheDepartmentofComputer ScienceoftheUniversityofCyprusinNicosia. IalsothankSpringerforaccepting topublishthese?nalproceedingsintheLNCSseries. TheLOPSTR2001home pageis:http://www. iasi. rm. cnr. it/~adp/lopstr01cfp. html. April2002 AlbertoPettorossi 1 Codognet, Ph. , editor, LogicProgramming-ICLP2001, LectureNotesinComputer Science 2237, Springer-Verlag, 2001. 2 Walsh, T. , editor, PrinciplesandPracticeofConstraintProgramming-CP2001, LectureNotesinComputerScience 2239, Springer-Verlag, 2001. ProgramChair AlbertoPettorossi Universit`adegliStudidiRoma'TorVergata', Italy ProgramCommittee DavidBasin Albert-Ludwigs-Universit¿atFreiburg, Germany AntonioBrogi Universit`adiPisa, Italy MauriceBruynooghe KatholiekeUniversiteitLeuven, Belgium NicolettaCocco Universit`aCa'FoscaridiVenezia, Italy MireilleDucass¿e IRISA/INSA, France SandroEtalle TwenteUniversity&CWI, , TheNetherlands JohnGallagher UniversityofBristol, UK RobertGluc ¿ k WasedaUniversity, Japan MichaelHanus Christian-Albrechts-Universit¿atzuKiel, Germany ManuelHermenegildo UniversidadPolit¿ecnicadeMadrid, Spain PatriciaHill UniversityofLeeds, UK Kung-KiuLau UniversityofManchester, UK MichaelLeuschel UniversityofSouthampton, UK TorbenMogensen UniversityofCopenhagen, Denmark AlbertoPettorossi Universit`adegliStudidiRoma'TorVergata', Italy I. V. Ramakrishnan StateUniversityofNewYorkatStonyBrook, USA DonSannella UniversityofEdinburgh, UK ZoltanSomogyi UniversityofMelbourne, Australia AdditionalReferees Jos¿eAlferes StefanGruner SabinaRossi AnnalisaBossi PaulJackson FaustoSpoto Lu¿?sFernandoCastro FrancisKlay MathieuTuruani AlessandraDiPierro GiridharPemmasani WimVanhoof YifeiDong MaurizioProietti FabioFioravanti Germ¿anPuebla SponsoringInstitutions TheAssociationforLogicProgramming TheCOLOGNet TheInternationalFederationforComputationalLogic TheIASIInstitute