| 2007 | Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers Germán Puebla |
| 2006 | A Comparative Study of Algorithmic Debugging Strategies. Josep Silva |
| 2006 | A Program Transformation for Tracing Functional Logic Computations. Bernd Brassel, Sebastian Fischer, Frank Huch |
| 2006 | ARM: Automatic Rule Miner. Slim Abdennadher, Abdellatif Olama, Noha Salem, Amira Thabet |
| 2006 | Automated Termination Analysis for Logic Programs by Term Rewriting. Peter Schneider-Kamp, Jürgen Giesl, Alexander Serebrenik, René Thiemann |
| 2006 | CHESS: Systematic Stress Testing of Concurrent Software. Madan Musuvathi, Shaz Qadeer |
| 2006 | Combining Different Proof Techniques for Verifying Information Flow Security. Heiko Mantel, Henning Sudbrock, Tina Kraußer |
| 2006 | Constructing Consensus Logic Programs. Chiaki Sakama, Katsumi Inoue |
| 2006 | Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator. Étienne Payet |
| 2006 | Grids: A Domain for Analyzing the Distribution of Numerical Values. Roberto Bagnara, Katy Louise Dobson, Patricia M. Hill, Matthew Mundell, Enea Zaffanella |
| 2006 | How to Talk to a Human: The Semantic Web and the Clash of the Titans. Massimo Marchiori |
| 2006 | Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs. Gustavo Arroyo, J. Guadalupe Ramos, Josep Silva, Germán Vidal |
| 2006 | On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors. Simon Winwood, Gerwin Klein, Manuel M. T. Chakravarty |
| 2006 | Polytool: Proving Termination Automatically Based on Polynomial Interpretations. Manh Thang Nguyen, Danny De Schreye |
| 2006 | Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques. Michael Leuschel, Stephen-John Craig, Daniel Elphick |
| 2006 | Synthesis of Asynchronous Systems. Sven Schewe, Bernd Finkbeiner |
| 2006 | Towards Description and Optimization of Abstract Machines in an Extension of Prolog. José F. Morales, Manuel Carro, Manuel V. Hermenegildo |