Preface

Issue title: Special Issue on the 26th International Symposium on Logic-Based Program Synthesis and Transformation: LOPSTR 2016

Guest editors: Manuel Hermenegildo, Pedro López-García, Alberto Pettorossi and Maurizio Proietti

Article type: Other

Authors: Hermenegildo, Manuel^a | López-García, Pedro^b | Pettorossi, Alberto^c | Proietti, Maurizio^d

Affiliations: [a] IMDEA Software Institute and Universidad Politécnica de Madrid (UPM), Madrid, Spain. manuel.hermenegildo@imdea.org | [b] IMDEA Software Institute and Spanish Council for Scientific Research (CSIC), Madrid, Spain. pedro.lopez@imdea.org | [c] Dipartimento di Ingegneria Civile e Ingegneria Informatica, Università degli Studi di Roma “Tor Vergata”, Roma, Italy. pettorossi@info.uniroma2.it | [d] Istituto di Analisi dei Sistemi ed Informatica “A. Ruberti”, Consiglio Nazionale delle Ricerche, Roma, Italy. maurizio.proietti@iasi.cnr.it

DOI: 10.3233/FI-2020-1987

Journal: Fundamenta Informaticae, vol. 177, no. 3-4, pp. i-iii, 2020