| 2015 | A Generalized Model for Algorithmic Debugging. David Insa, Josep Silva |
| 2015 | A Generic Intermediate Representation for Verification Condition Generation. Manuel Montenegro, Ricardo Peña, Jaime Sánchez-Hernández |
| 2015 | A Global Occurrence Counting Analysis for Brane Calculi. Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith, Francesca Levi |
| 2015 | A Type-Theoretic Approach to Resolution. Peng Fu, Ekaterina Komendantskaya |
| 2015 | A Typed Language for Events. Sandra Alves, Sabine Broda, Maribel Fernández |
| 2015 | Abstract Analysis of Universal Properties for tccp. Marco Comini, María-del-Mar Gallardo, Laura Titolo, Alicia Villanueva |
| 2015 | Applying Sorting Networks to Synthesize Optimized Sorting Libraries. Michael Codish, Luís Cruz-Filipe, Markus Nebel, Peter Schneider-Kamp |
| 2015 | CHR in Action. Arwa Ismail, Nada Sharaf, Slim Abdennadher |
| 2015 | Checking Java Assertions Using Automated Test-Case Generation. Rafael Caballero, Manuel Montenegro, Herbert Kuchen, Vincent von Hof |
| 2015 | Combining Top-Down and Bottom-Up Techniques in Program Derivation. Dipak L. Chaudhari, Om P. Damani |
| 2015 | Compiling Collapsing Rules in Certain Constructor Systems. Sergio Antoy, Andy Jost |
| 2015 | Concolic Execution in Functional Programming by Program Instrumentation. Adrián Palacios, Germán Vidal |
| 2015 | Correctness of Context-Moving Transformations for Term Rewriting Systems. Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama |
| 2015 | Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras. José Meseguer, Stephen Skeirik |
| 2015 | From Boolean Equalities to Constraints. Sergio Antoy, Michael Hanus |
| 2015 | Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods. Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
| 2015 | Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers Moreno Falaschi |
| 2015 | Memory Policy Analysis for Semantics Specifications in Maude. Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
| 2015 | On Dual Programs in Co-Logic Programming. Hirohisa Seki |
| 2015 | Proof Checking and Logic Programming. Dale Miller |
| 2015 | SHIP - A Logic-Based Language and Tool to Program Smart Environments. Serge Autexier, Dieter Hutter |
| 2015 | Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis. Heiko Mantel, Markus Müller-Olm, Matthias Perner, Alexander Wenner |
| 2015 | Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges. Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro |