- LopSTr
2011
21st International Symposium on
Logic-based Program Synthesis and Transformation, Odense, Denmark, 18-20
July 2011.
- PEPM’10 ACM SIGPLAN
2010 Workshop on Partial Evaluation and Program Madrid, Spain, 18-19
January 2010.
- SOFSEM
2010 36th International Conference on Current Trends
in Theory and Practice of Computer Science Špindlerův Mlýn, Czech
Republic, 23-29 January 2010. Track on: Principles of Software
Construction.
- ICLP 2008 24th International Conference on Logic
Programming Synthesis and Transformation Udine, Italy, 9-13 December 2008.
- LopSTr 2008 18th International Workshop on Logic-based
Program Synthesis and Transformation, Valencia, Spain (17-18/7/2008).
- LopSTr 2007
17th International Workshop on Logic-based Program Synthesis and
Transformation, Kongens Lyngby, Denmark (22-24/8/2007).
- The Digital
Evolution: Information, Intelligence, Ubiquity (.pdf)
(.ps)
Engineering Faculty, Rome, Italy. 22 June 2007.
European Meeting of University Professors. On the occasion of the 50th
Anniversary of the Treaties of Rome (1957-2007).
- CILC 2006
Convegno Italiano di Logica Computazionale (Italian Congress on
Computational Logic), Bari, Italy (26-27/6/2005).
- Convegno SEFIR su "Istanze epistemologiche e
ontologiche emergenti dalle scienze informatiche", Roma 26-28 gennaio
2006.
http://www.vicariatusurbis.org/ecclesiamater/aree_ricerca/sefir.htm
- CILC
2005 Convegno Italiano di Logica Computazionale (Italian Congress on
Computational Logic), Roma, Italy (21-22/6/2005).
- LoPSTr
2004 14th International Workshop on Logic-based Program Synthesis and
Transformation, Verona, Italy (23-28/8/2004).
- 58th Meeting of the IFIP
Working Group 2.1, Rome, Italy, January 26 - 30, 2004.
- European Symposium: University and
Church in Europe, on the occasion of the 7th Centenary of the
Foundation of the University of Roma "La Sapienza". Rome (Italy)
17-20 July 2003. July 18th: Seminar on "Computers,
Information, and Intelligence". Paper on: "Computing
as Experimental Thinking".
- WRSC 2003
Workshop on Robust Software Construction, Hayama, Kanagawa, Japan,
February 28 - March 2, 2003.
- ACM Sigplan ASIAN-PEPM Asian Symposium on Partial
Evaluation and Semantics-based Program Manipulation http://www.comp.nus.edu.sg/asia-pepm02
- LoPSTr
2001 11th International Workshop on Logic-based Program Synthesis and
Transformation, Paphos, Cyprus (26/11-1/12, 2001). LNCS n. 2372
Springer-Verlag.
- APPIA-GULP-PRODE
2001 2001 Joint Conference on Declarative Programming, Evora, Portugal
(26-28 / 9, 2001)
- International
Congress on: "Information: Science and Technology for the Next
Century", Rome (Italy), September 5-6, 2000.
- LoPSTr
2000 10th International Workshop on Logic-based Program Synthesis and
Transformation. Stream of the First
International Conference on Computational Logic
- 9th International Workshop on Logic-based Program
Synthesis and Transformation LoPSTr '99
- 8th International Workshop on Logic-based Program
Synthesis and Transformation LoPSTr '98
- European Symposium on Programming ESOP '98
- Third International Workshop on
"Meta-Programming in Logic", Uppsala, Sweden, June 1992. LNCS n.
649 Springer-Verlag META-92. Free copies of the Proceedings
are available on request here.
- Workshops on Logic Program Synthesis and
Transformation, LoPSTr
- International Conferences and Symposia on Logic
Programming, ICLP-ILPS
========================================================================