|
LOPSTR 2006
International Symposium on Logic-based Program Synthesis and Transformation July 12 - 14, 2006 S. Servolo, Venice - Italy |
|
|
SCOPE OF THE SYMPOSIUM 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. Since 1994 the formal proceedings have been published in the LNCS series of Springer-Verlag. Previous LOPSTR events were held in London, UK (2005, 2000), Verona, Italy (2004), Uppsala, Sweden (2003), Madrid, Spain (2002), Paphos, Cyprus (2001), Venice, Italy (1999), Manchester, UK (1998, 1992, 1991), Leuven, Belgium (1997), Stockholm, Sweden (1996), Arnhem, the Netherlands (1995), Pisa, Italy (1994), Louvain-la-Neuve, Belgium (1993). TOPICS Topics of interest cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. Papers describing applications in these areas are especially welcome. The following is a non-exhaustive list of topics:
SUBMISSION GUIDELINES 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. Contributions should be written in English and should present original work not concurrently submitted to other conferences or journals. Submissions should adhere to the LNCS style (see http://www.springer.de/comp/lncs/authors.html).
Accepted contributions have to be presented at the conference, including a live demo in the case of tool demonstrations, and will be collected in informal pre-proceedings which will be available at the conference. The formal proceedings of LOPSTR will be published in the Lecture Notes in Computer Science series by Springer-Verlag. After the conference, authors of extended abstracts describing research judged to be mature enough for possible publication in the final proceedings will be invited to submit full papers (or revised extended abstracts in the case of tool demonstrations). These submissions will be reviewed according to the usual refereeing procedures. If accepted, these contributions will be included in the formal proceedings together with the full papers submitted and accepted before the conference. CONTACTS
|