** Apologies for multiple postings **
Call for Participation
LOPSTR 2024
The 34th International Symposium on Logic-Based
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
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 Lisboa, Portugal
Ro
student paper).
PROGRAM 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 Alfe
student paper).
PROGRAM 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 Alfe