[PlanetKR] Call for Papers: LPSE'13 - 1st Int. Workshop on Logic Programming and Software Evolution

[Joerg Puehrer]

***Apologies for cross-posting***

--------------- Call for Papers ------------------

1st International Workshop on
Logic Programming and Software Evolution

http://www.modelevolution.org/lpse13

co-located with the
29th International Conference on Logic Programming

24. August 2013
Istanbul, Turkey

---------------------------------------------------


Software models are artifacts of software engineering which are not
resistant to change in general, but which evolve over time by
undergoing continuous extensions, corrections, and modifications.
Such changes might not only enhance an artifact, but they might
introduce deficiencies potentially infiltrating the software system
under development.

In the 1st International Workshop on Logic Programming and Software
Evolution (LPSE) it shall be explored in what respect techniques of
logic programming can potentially support evolution processes in
software development. As logic programs are pieces of software
themselves, contributions are particularly invited which demonstrate
how the development of logic programs may be supported by techniques
applied in traditional software engineering.

LPSE invites researchers to submit original contributions highlighting
how techniques of logic programming might support the correct evolution
of software or showing how the evolution of logic programs might be
supported.


*** Topics ***

Papers related to the use of logic programming and related approaches
for supporting the evolution of software are invited. Topics of
interest, where logic programming is applied, include, but are not
limited to:

- Verification of Model Transformations and Program Transformations
- Formalisms characterizing evolution aspects of software
- Evolution Support in Model-based Engineering
- Evolution Support for Logic Programs
- Model Management Tasks like Synchronization, Co-Evolution, etc.
- Taxonomies of logic programming based evolution techniques
- Empirical studies


*** Types of Contributions ***

LPSE invites full papers as well as short papers. Both kinds of
contributions will be reviewed by at least two members of the PC.
Short papers may present novel ideas and approaches, whereas full
papers are encouraged to present a fully developed and evaluated
approach.

Full papers should have an overall length of up to 14 pages in LNCS
format excluding references. Short papers should have an overall
length of up to 8 pages also in LNCS format excluding references.

Authors are encouraged to provide additional material such as source
code of tools, experimental data, benchmarks and related publications.
Appendices will be considered at the reviewers' discretion.


*** Dissemination ***

We strongly encourage authors to post their paper to the Computing
Research Repository (CoRR). It is planned that the the ICLP local
organizers arrange the distribution of the workshop proceedings.
Depending on the number of contributions post-proceeding in an
online journal might be considered.


*** Activities ***

The workshop will consist of long paper presentations, short paper
presentations and discussions. We expect the short paper presentations
to be ongoing research where interested workshop participants may get
involved in the research activities.


*** Venue ***

LPSE will take place in the city of Istanbul at the Sabancı University
Karaköy Communications Center. See the ICLP 2013 Web site for location
details.


*** Organisation ***

Jörg Pührer, Technical University of Vienna
Martina Seidl, Johannes Kepler University Linz


*** Contact ***

lpse13 at easychair.org