Logic List Mailing Archive
LOPSTR 06: Logic-based Program Synthesis and Transformation, Venice (Italy), July 2006
FINAL CALL FOR PAPERS - LOPSTR'06
International Symposium on Logic-based
Program Synthesis and Transformation
JULY 12 - 14, 2006 : VENICE, ITALY
http://www.dsi.unive.it/lopstr2006
Co-located with
* ICALP'06: Intl. Colloquium on Automata, Languages and Programming
* PPDP'06: ACM Symp. on Principles & Practice of Declarative Programming
* CSFW'06: IEEE Computer Security Foundations Workshop.
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 (2005, 2000), Verona
(2004), Uppsala (2003), Madrid (2002), Paphos (2001), Venice (1999),
Manchester (1998, 1992, 1991), Leuven (1997), Stockholm (1996), Arnhem
(1995), Pisa (1994), and Louvain-la-Neuve (1993).
Invited Speakers
----------------
* Shaz Qadeer. Microsoft Research, Redmond, USA
* Massimo Marchiori. MIT, USA and Univ. of Padova, Italy
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:
* specification
* synthesis
* verification
* transformation
* specialization
* analysis
* optimization
* composition
* security
* reuse
* applications and tools
* component-based software development
* agent-based software development
* software architectures
* design patterns and frameworks
* program refinement and logics for refinement
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).
* Full papers: should not exceed 16 pages (including references) in
llncs format. These papers will be judged using standard
conference quality criteria. Accepted papers will automatically
appear in the pre-proceedings as well as in the formal proceedings,
published in the LNCS series. The submission deadline for full
papers is April 15, 2006.
* Extended abstracts: should not exceed 6 pages in llncs format and
may describe work in progress or tool demonstrations. Promising
abstracts relevant to the scope of LOPSTR will be selected for
presentation at the conference and will appear in the
pre-proceedings. The submission deadline for extended abstracts is
April 30, 2006.
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.
Program Committee
-----------------
* Slim Abdennadher
* Roberto Bagnara
* Gilles Barthe
* John Gallagher
* Robert Gl?ck
* Michael Hanus
* Pat Hill
* Kazuhiko Kakehi
* Andy King
* Michael Leuschel
* Fred Mesnard
* German Puebla (Program Chair)
* Sabina Rossi
* Grigore Rosu
* Wim Vanhoof
* German Vidal
Important dates
---------------
* Submission of full papers: April 15, 2006
* Submission of extended abstracts: April 30, 2006
* Notification: May 20, 2006
* Camera-ready: June 10, 2006
* Conference: July 12-14, 2006
* Authors are asked to register with the online site at
http://www.easychair.org/LOPSTR06 and submit titles and
abstracts of their intended submissions three days before the
deadline, i.e., on April 12 for full papers and on April 27 for
extended abstracts.