18TH INTERNATIONAL SYMPOSIUM ON LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2008) ***************************************************************************************************************************************************************************** The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in logic-based program development in any language paradigm. LOPSTR has a reputation for being a lively, friendly forum for presenting and discussing work in progress. This year, LOPSTR will be held in Valencia, Spain; and will start on July 17th and will end on July 18th. It is now possible to register and reserve hotel accommodation at the symposium site by using the symposium website: ------------------------------------------------------------------------ http://www.informatik.uni-kiel.de/~mh/lopstr08/ ------------------------------------------------------------------------ Best regards, and see you in Valencia, Josep Silva