Conference series Beta

International Symposium on Logic-Based Program Synthesis and Transformation

LOPSTR

Events: 37 (1991 to 2025)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s10a7jy

Events (37)

19912025

Year	No.	Event	Place	Date
2025	35	Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings	Rende
2024	34	Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings	Milan
2023	33	Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings	Cascais
2022	32	Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings	Tbilisi
2021	31	Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings	Tallinn
2020	30	Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings	Bologna
2019	29	Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers LOPSTR 2019	Porto	2019-10-08/10
2018	28	Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers LOPSTR	Frankfurt	2018-09-04/06
2017	27	Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers LOPSTR	Namur	2017-10-10/12
2016	26	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2016, LOPSTR	Edinburgh	2016-09-06/08
2015	25	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2015, LOPSTR	Siena	2015-07-13/15
2014	24	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Canterbury	2014-09-09/11
2013	23	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2013, LOPSTR	Madrid	2013-09-18/19
2012	22	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Leuven	2012-09-18/20
2011	21	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2011, LOPSTR	Odense	2011-07-18/20
2010	20	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2010, LOPSTR	Hagenberg im Mühlkreis	2010-07-23/25
2009	19	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Coimbra	2009-09-09/11
2008	18	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Valencia	2008-07-17/18
2007	17	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Kongens Lyngby	2007-08-23/24
2006	16	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Venice	2006-07-12/14
2005	15	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR 2005, LOPSTR	London	2005-09-07/09
2004	14	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Verona	2004-08-26/28
2003	13	International Symposium on Logic-Based Program Synthesis and Transformation LOPSTR	Uppsala	2003-08-25/27
2002	12	International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR	Madrid	2002-09-17/20
2001	11	International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR	Paphos	2001-11-28/30
2000	10	International Workshop on Logic-Based Program Synthesis and Transformation LOPSTR	London	2000-07-24/28
2000	10	Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. LOPSTR	London	2000-01-01
2000	10	Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.	United Kingdom
1999	9	International Workshop on Logic Programming Synthesis and Transformation LOPSTR	Venice	1999-09-22/24
1998	8	International Workshop on Logic Programming Synthesis and Transformation LOPSTR	Manchester	1998-06-15/19
1997	7	International Workshop on Logic Programming Synthesis and Transformation LOPSTR	Leuven	1997-07-10/12
1996	6	International Workshop on Logic Programming Synthesis and Transformation LOPSTR	Stockholm	1996-08-28/30
1995	5	International Workshop on Logic Programming Synthesis and Transformation LOPSTR	Utrecht	1995-09-20/22
1994		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	Pisa	1994-06-20/21
1993		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	Ottignies-Louvain-la-Neuve	1993-07-07/09
1992		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	University of Manchester	1992-07-02/03
1991		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	University of Manchester	1991-07-04/05

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

System	Value	Date	Dataset
CCF	C	2017-04-06	ratings-springer-lod
CORE	B	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	Bm	2017-04-06	ratings-springer-lod
Qualis	C	2017-04-06	ratings-springer-lod

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)	`http://lod.springer.com/data/confseries/lopstr`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/lopstr`
Wikidata	`http://www.wikidata.org/entity/Q105693716`
dblp	`https://dblp.org/streams/conf/lopstr`

Cite

International Symposium on Logic-Based Program Synthesis and Transformation. confref identifier s10a7jy. https://id.confref.org/series/s10a7jy

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.