25. LOPSTR 2015: Siena, Italy

Invited Talk

Semantics of Logic Languages

Efficient Compilation of Functional Logic Programs

Types and Security

Optimization

Static Analysis

Automated Verification

Program Debugging and Slicing

Smart Environments

Program Transformation

Constraint Solving and Programming

maintained by Schloss Dagstuhl LZI at University of Trier