Please note that this newsitem has been archived, and may contain outdated information or links.
12-14 July 2006, Logic-based Program Synthesis and Transformation (LOPSTR'06), Venice, Italy
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, so it is a real workshop in the sense that it is also intended to provide useful feedback to authors on their research. Formal proceedings are produced only after the conference, so that authors can incorporate this feedback in the published papers. This year, tool demonstrations are also solicited as a separate submission category. LOPSTR'06 is colocated with ICALP'06, PPDP'06 and CSWF'06.
For more information, see http://www.dsi.unive.it/lopstr2006/
Both research papers and tool demonstrations are solicited. Authors can either submit extended abstracts or they can choose to submit full papers. Both work in progress and tool demonstrations must be submitted as extended abstracts. Submission deadline is 15 April 2006 (for full papers) or 30 April 2006 (for extended abstracts).
Please note that this newsitem has been archived, and may contain outdated information or links.