International Workshop/Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)

Venue statistics

records by year

document access 

    frequent authors

      LOPSTR Home Page

      30th LOPSTR 2020: Bologna, Italy

      29th LOPSTR 2019: Porto, Portugal

      28th LOPSTR 2018: Frankfurt/Main, Germany

      27th LOPSTR 2017: Namur, Belgium

      26th LOPSTR 2016: Edinburgh, UK

      25th LOPSTR 2015: Siena, Italy

      24th LOPSTR 2014: Canterbury, UK

      23rd LOPSTR 2013: Madrid, Spain

      22nd LOPSTR 2012: Leuven, Belgium

      21st LOPSTR 2011: Odense, Denmark

      20th LOPSTR 2010: Hagenberg, Austria

      19th LOPSTR 2009: Coimbra, Portugal

      18th LOPSTR 2008: Valencia, Spain

      17th LOPSTR 2007: Kongens Lyngby, Denmark

      16th LOPSTR 2006: Venice, Italy

      15th LOPSTR 2005: London, UK

      14th LOPSTR 2004: Verona, Italy

      13th LOPSTR 2003: Uppsala, Sweden

      Preproceedings

      12th LOPSTR 2002: Madrid, Spain

      LOPSTR 2002 Home Page

      11th LOPSTR 2001: Paphos, Cyprus

      10th LOPSTR@CL 2000: London, UK

      LOPSTR 2000 Home Page

      9th LOPSTR 1999: Venezia, Italy

      LOPSTR 1999 Home Page

      8th LOPSTR 1998: Manchester, U.K.

      LOPSTR 1998 Home Page

      7th LOPSTR 1997: Leuven, Belgium

      6th LOPSTR 1996: Stockholm, Sweden

      5th LOPSTR 1995: Utrecht, The Netherlands

      4th LOPSTR/META 1994: Pisa, Italy

      3rd LOPSTR 1993: Louvain-la-Neuve, Belgium

      2nd LOPSTR 1992: Manchester, UK

      1st LOPSTR 1991: Manchester, UK

      a service of  Schloss Dagstuhl - Leibniz Center for Informatics