Istituto di Analisi dei Sistemi ed Informatica "A. Ruberti"
Consiglio Nazionale delle Ricerche
Via dei Taurini, 19, 00185 Roma, Italy
Phone: +39 06 4993 7114
Fax: +39 06 4993 7106
Steering Committee of LOPSTR International Symposium on Logic-based Program Transformation and Synthesis.
CILC 2015 30th Italian Conference on Computational Logic, July 1-3, 2015, Genova, Italy.
ICLP 2015 31st International Conference on Logic Programming, Aug. 31 - Sept. 4, Cork, Ireland.
LOPSTR 2015 25th International Symposium on Logic-based Program Transformation and
Synthesis, July 13-15, 2015, Siena, Italy.
24th International Symposium on Logic-based Program Transformation and
Synthesis, Sept. 9-11, 2014, University of Kent, Canterbury, UK.
ICTCS 2014 15th Italian Conference on Theoretical Computer Science, 17-19 Settembre 2014, Perugia.
CILC 2014 29-esimo Convegno Italiano di
Logica Computazionale, 16-18 Giugno 2014, Torino.
CILC 2013 28-esimo Convegno Italiano di Logica Computazionale, 25 - 27 Settembre 2013, Catania.
POPL'13: 40th ACM Symposium on Principles of Programming Languages, Rome, Italy, January 23-25, 2013.
NGEBIS’12 Next Generation Enterprise and Business Innovation Systems: A workshop organised by the BIVEE Project, co-located with CAiSE 2012.
ICLP'11 27th International Conference on Logic Programming, Lexington, Kentucky, USA, July 6-10, 2011.
PEPM'11 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, January 24-25, 2011, Austin, Texas, USA.
GULP: The Italian Association for Logic Programming