Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

10 results · clear filters Sort: newest oldest name

  1. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    series, 37 events, 1991 to 2025
    Computer and information sciences
    s10a7jy
  2. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1999-09-22/24 · Venice, Italy
    Computer and information sciences
    e105y94
  3. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1998-06-15/19 · Manchester, United Kingdom
    Computer and information sciences
    e105y86
  4. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1997-07-10/12 · Leuven, Belgium
    Computer and information sciences
    e105y78
  5. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1996-08-28/30 · Stockholm, Sweden
    Computer and information sciences
    e105y6a
  6. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1995-09-20/22 · Utrecht
    Computer and information sciences
    e105y5c
  7. 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
  8. Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993 (LOPSTR)
    1993-07-07/09 · Ottignies-Louvain-la-Neuve, Belgium
    Computer and information sciences
    e11h0c2
  9. Logic Program Synthesis and Transformation, Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 2-3 July 1992 (LOPSTR)
    1992-07-02/03 · University of Manchester, United Kingdom
    Computer and information sciences
    e11h0b4
  10. Logic Program Synthesis and Transformation, Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, UK, 4-5 July 1991 (LOPSTR)
    1991-07-04/05 · University of Manchester, United Kingdom
    Computer and information sciences
    e11h0a6

As JSON: https://labs.confref.org/api/search?series=s10a7jy&from=1990&to=1999