amking oiprlokentacuk call papers international symposium logicbased program synthesis transformation lopstr 2007 2224 august 2007 kongens lyngby denmark colocated sas 2007 url httpwwwcskentacukeventsconf2007lopstr email thkhju9615kentacuk objectives aim lopstr series stimulate promote international research collaboration logicbased program development lopstr open contributions logicbased program development language paradigm lopstr reputation lively friendly forum presenting discussing work progress formal proceedings produced symposium authors incorporate feedback published papers topics topics interest cover aspects logicbased program development stages software life cycle issues programminginthesmall programminginthelarge papers describing applications areas especially welcome contributions welcome aspects logicbased program development including limited specification synthesis verification transformation analysis optimisation composition security reuse applications tools componentbased software development software architectures agentbased software development program refinement survey papers present aspect topics new perspective application papers describe experience industrial applications also welcome papers must describe original work written presented english must substantially overlap papers published simultaneously submitted journal conference refereed proceedings submission information special issue submissions either short extended abstracts full papers whose length exceed 9 15 pages respectively submissions must formatted lecture notes computer science style excluding bibliography wellmarked appendices intended publication referees required read appendices thus papers intelligible without short papers may describe workinprogress tool demonstrations accepted short full papers appear preproceedings full papers automatically appear formal proceedings published springerverlag lecture notes computer science series addition symposium programme committee select short papers considered formal publication authors invited revise extend submissions light feedback solicited meeting another round reviewing revised papers also published formal proceedings best papers additionally invited submit special issue special track journal higherorder symbolic computation provided sufficient highquality submissions papers submitted either postscript pdf format interpretable ghostscript acrobat reader invited speaker michael codish bengurion university negev israel program committee elvira albert universidad complutense madrid spain john gallagher university roskilde denmark michael hanus christianalbrechtsuniversitaet zu kiel germany jacob howe city university uk andy king university kent uk michael leuschel heinrichheineuniversitaet duesseldorf germany mario ornaghi universita degli studi di milano italy etienne payet universite de la reunion france alberto pettorossi universita di roma tor vergata italy carla piazza universita degli studi di udine italy c r ramakrishnan suny stony brook usa abhik roychoudhury national university singapore singapore peter schneiderkamp rwth aachen germany alexander serebrenik technische universiteit eindhoven netherlands josep silva technical university valencia spain wim vanhoof university namur belgium important dates submission paperextended abstract june 8 2007 notification july 13 2007 revised version preproceedings august 7 2007 symposium august 2224 2007 cameraready version postproceedings december 14 2007 fri 08 aug 2008 012018 0100 uai lopstr 2007 final call papers