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
Special issue of Formal Aspects of Computing on Logic-based Program Synthesis and Transformation (LOPSTR 2014).
The post-proceedings of LOPSTR 2014 (Springer LNCS Vol. 8981) are available here
Steering Committee of LOPSTR International Symposium on Logic-based Program Transformation and Synthesis.
Didamatica 2017: 31esima Conferenza Nazionale su Didattica e Informatica, CNR, Roma, 15-16 Maggio 2017.
CILC 2016: 31st Italian Conference on Computational Logic, University of Milano-Bicocca, June 20-22, Italy (PC Member)
POPL 2016: 43rd ACM Symposium on Principles of Programming Languages, 20 - 22 January, 2016, St. Petersburg, Florida, USA. (ERC Member)
CILC 2015 30th Italian Conference on Computational Logic, July 1-3, 2015, Genova, Italy. (PC Member)
ICLP 2015 31st International Conference on Logic Programming, Aug. 31 - Sept. 4, Cork, Ireland. (PC Member)
LOPSTR 2015 25th International Symposium on Logic-based Program Transformation and Synthesis, July 13-15, 2015, Siena, Italy. (PC Member)
LOPSTR 2014 24th International Symposium on Logic-based Program Transformation and Synthesis, Sept. 9-11, 2014, University of Kent, Canterbury, UK. (PC co-chair)
ICTCS 2014 15th Italian Conference on Theoretical Computer Science, 17-19 Settembre 2014, Perugia. (PC Member)
CILC 2014 29-esimo Convegno Italiano di Logica Computazionale, 16-18 Giugno 2014, Torino. (PC Member)
CILC 2013 28-esimo Convegno Italiano di Logica Computazionale, 25 - 27 Settembre 2013, Catania. (PC Member)
POPL 2013: 40th ACM Symposium on Principles of Programming Languages, Rome, Italy, January 23-25, 2013. (ERC Member)
NGEBIS 2012 Next Generation Enterprise and Business Innovation Systems: A workshop organised by the BIVEE Project, co-located with CAiSE 2012. (PC Member)
ICLP 2011 27th International Conference on Logic Programming, Lexington, Kentucky, USA, July 6-10, 2011. (PC Member)
PEPM 2011 ACM SIGPLAN Workshop on Partial
Evaluation and Program Manipulation,
January 24-25, 2011, Austin, Texas, USA. (PC Member)
GULP: The Italian Association for Logic Programming