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. 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. <b>Keywords:</b> specification<br>synthesis<br>verification<br>transformation<br>specialisation<br>analysis<br>optimisation<br>composition<br>security<br>reuse<br>applications and tools<br>component–based software development<br>agent–based software development<br>software architectures<br>design patterns and frameworks<br>program refinement and logics for refinement<br>
Abbrevation
LOPSTR
City
Venice
Country
Italy
Deadline Paper
Start Date
End Date
Abstract