8 results · clear filters Sort: newest oldest name

1. Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
   2025 · Rende, Italy
   Computer and information sciences
   e11h098
2. Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
   2024 · Milan, Italy
   Computer and information sciences
   e11h08a
3. Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
   2020 · Bologna, Italy
   Computer and information sciences
   e11h04j
4. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015, LOPSTR)
   2015-07-13/15 · Siena, Italy
   Computer and information sciences
   e105ys3
5. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
   2006-07-12/14 · Venice, Italy
   Computer and information sciences
   e105ygn
6. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
   2004-08-26/28 · Verona, Italy
   Computer and information sciences
   e105yet
7. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
   1999-09-22/24 · Venice, Italy
   Computer and information sciences
   e105y94
8. Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings (LOPSTR, META)
   1994-06-20/21 · Pisa, Italy
   Computer and information sciences
   e11h0d0

As JSON: https://labs.confref.org/api/search?series=s10a7jy&country=IT