Symposium Program

08:45-09:50 - LOPSTR/PPDP Registration

09:50-10:00 - Welcome to LOPSTR 2015

10:00-11:00 - Semantics of Logic Languages (Chair: Moreno Falaschi)

• Hirohisa Seki On Dual Programs in Co-logic Programming
• Stephen Skeirik and José Meseguer Equational Formulas and Pattern Operations in Initial Order-Sorted Algebras

11:30-12:30 - Efficient compilation of functional logic programs (Chair: German Vidal)

• Sergio Antoy and Andy Jost Compiling Collapsing Rules
• Sergio Antoy and Michael Hanus From Boolean Equalities to Constraints

14:00-15:00 - Invited talk (Chair: Hirohisa Seki)

• Gilles Barthe Towards Verified Cryptographic Implementations

15:00-16:00 - Types and security (Chair: Ricardo Peña)

• Peng Fu and Ekaterina Komendantskaya A Type-Theoretic Approach to Structural Resolution
• Sandra Alves, Sabine Broda and Maribel Fernandez A typed language for events

16:30-17:30 - Optimization (Chair: Maurizio Proietti)

• Michael Codish, Luís Cruz-Filipe, Markus Nebel and Peter Schneider-Kamp Applying Sorting Networks to Synthesize Optimized Sorting Libraries
• Nasrine Damouche, Matthieu Martel and Alexandre Chapoutot Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods

9:00-10:00 - Invited talk (jointly with PPDP - Chair: Elvira Albert)

• Patrick Cousot Verification by Abstract Interpretation, Soundness and Abstract Induction.

10:30-12:00 - Static analysis (Chair: Michael Codish)

• Marco Comini, Maria Del Mar Gallardo, Laura Titolo and Alicia Villanueva Abstract analysis of universal properties for tccp
• Chiara Bodei, Linda Brodo, Roberta Gori, Diana Hermith and Francesca Levi An Analysis of Non Determinism in Membrane Interactions
• Heiko Mantel, Markus Müller-Olm, Matthias Perner and Alexander Wenner Using Dynamic Pushdown Networks to Automate a Modular Information-Flow Analysis

14:00-15:00 - Program debugging and slicing (Chair: Sergio Antoy)

• David Insa and Josep Silva A Generalization and Paradigm-Independent Reformulation of Algorithmic Debugging
• Marisa Llorens, Javier Oliver, Josep Silva and Salvador Tamarit Dynamic Slicing of CSP Via Tracking

15:00-16:00 - Automated Verification I (Chair: Alberto Pettorossi)

• Rafael Caballero, Manuel Montenegro, Herbert Kuchen and Vincent von Hof Checking Java Assertions Using Automated Test-Case Generation
• Adrian Palacios and German Vidal Concolic Execution in Functional Programming by Program Instrumentation

16:30-17:30 - Logic-based tools for memory analysis and Smart Environments (Chair: Herbert Kuchen)

• Adrian Riesco, Mihail Asavoae and Irina Mariuca Asavoae Memory Policy Analysis for Semantics Specifications in Maude
• Serge Autexier and Dieter Hutter SHIP - A Logic-Based Language and Tool to Program Smart Environments

9:00-10:00 - Invited talk (jointly with PPDP -- Chair: Moreno Falaschi))

• Dale Miller Proof checking and logic programming

10:30-11:30 - Constraint Solving and Programming (Chair: Michael Hanus)

• Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro Why CP portfolio solvers are (under)utilized? Issues and challenges
• Arwa Ismail, Nada Sharaf and Slim Abdennadher CHR in Action

11:30-13:00 - Automated Verification II (Chair: Michael Hanus)

• Manuel Montenegro, Ricardo Peña and Jaime Sánchez-Hernández A Generic Intermediate Representation for Verification Condition Generation
• Dipak L. Chaudhari and Om Damani Combining Top-down and Bottom-up Techniques in Program Derivation
• Koichi Sato, Kentaro Kikuchi, Takahito Aoto and Yoshihito Toyama Correctness of Context-Moving Transformations for Term Rewriting Systems

18:30-20:30 Excursion

20:30 Social Dinner (Rectorate Palace)