_____________________________________________________________________
LOPSTR'06
CALL FOR PARTICIPATION
International Symposium on Logic-based
Program Synthesis and Transformation
JULY 12 - 14, 2006 : VENICE, ITALY
http://www.dsi.unive.it/lopstr2006
_____________________________________________________________________
** New deadline for early registration is June 10 **
_____________________________________________________________________
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
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
List of Accepted Papers
-----------------------
Constructing Consensus Logic Programs
Chiaki Sakama and Katsumi Inoue.
Polytool: Proving Termination Automatically based on Polynomial
Interpretations
Manh Thang Nguyen and Danny De Schreye.
Grids: A Domain for Analyzing the Distribution of Numerical Values
Roberto Bagnara, Katy Dobson, Patricia M Hill, Matthew Mundell and Enea
Zaffanella.
Supervising Offline Partial Evaluation of Logic Programs using Online
Techniques
Michael Leuschel, Stephen-John Craig and Dan Elphick.
Automated Termination Analysis for Logic Programs by Term Rewriting
Peter Schneider-Kamp, Juergen Giesl, Alexander Serebrenik and Rene
Thiemann.
Combining Different Proof Techniques for Verifying Information Flow
Security
Heiko Mantel, Henning Sudbrock and Tina Krausser.
On the automated synthesis of proof-carrying temporal reference monitors
Simon Winwood, Gerwin Klein and Manuel Chakravarty.
Towards Description and Optimization of Abstract Machines in an Extension
of Prolog
José Morales, Manuel Carro and Manuel Hermenegildo.
A Program Transformation for Tracing Functional-Logic Computations
Bernd Brassel, Sebastian Fischer and Frank Huch.
Synthesis of Asynchronous Systems
Sven Schewe and Bernd Finkbeiner.
Detecting Non-Termination of Term Rewriting Systems Using an Unfolding
Operator
Etienne Payet.
Algorithmic Debugging Strategies
Josep Silva.
Aspect-Orientation for Prolog
Guido Wachsmuth, Wolfgang Lohmann and Günter Riedewald.
From Static Single-Assignment Form to Definite Programs and Back
Julio Cesar Peralta and Juan Alfredo Cruz-Carlon.
ARM: Automatic Rule Miner
Slim Abdennadher, Abdellatif Olama, Noha Salem and Amira Thabet.
Improving Offline Narrowing-Driven Partial Evaluation using Size-Change
Graphs
Gustavo Arroyo, J.Guadalupe Ramos, Josep Silva and German Vidal.
Automatic Generation of Test Inputs for Mercury Programs
Nathalie Mweze and Wim Vanhoof.
Registration
-------------
* Authors are asked to register with the online site at
http://icalp06.dsi.unive.it/registration/
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
