LOPSTR'06 in Venice, Italy -- Call for Papers

[LOPSTR 2006]

_____________________________________________________________________
                                                                    

                    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).

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 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.