simplification
- Daniel Jurjo, Jose F. Morales, Pedro Lopez-Garcia and Manuel
V. Hermenegildo. A rule-based approach for designing and composing
abstract domains
- Marija Kulas. A term matching algorithm and substitution generality
- Marco Carbone, Sonia Marin and Carsten Schuermann. A Logical
, Denmark
Bishoksan Kafle, IMDEA Software Institute, Spain
PUBLICITY CHAIR
Daniel Jurjo Rivas, IMDEA Software Institute, Spain
PROGRAM COMMITTEE MEMBERS
Slim Abdennadher, German International University, Egypt
José Júlio Alferes, Universidade Nova de Lisboa, Portugal
Roberto Amadini, University
CHAIRS
Robert Glück, University of Copenhagen, Denmark
Bishoksan Kafle, IMDEA Software Institute, Spain
PUBLICITY CHAIR
Daniel Jurjo Rivas, IMDEA Software Institute, Spain
PROGRAM COMMITTEE MEMBERS
Slim Abdennadher, German International University, Egypt
José Júlio Alferes, Universidade Nova de
CHAIRS
Robert Glück, University of Copenhagen, Denmark
Bishoksan Kafle, IMDEA Software Institute, Spain
PUBLICITY CHAIR
Daniel Jurjo Rivas, IMDEA Software Institute, Spain
PROGRAM COMMITTEE MEMBERS
Slim Abdennadher, German International University, Egypt
José Júlio Alferes, Universidade Nova de