International Symposium on Logic-based Program Synthesis and Transformation
Encyclopedia
The International Symposium on Logic-based Program Synthesis and Transformation, commonly known as LOPSTR, was founded by Kung-Kiu Lau in 1991. It has taken place annually since.
Its original title was International Workshop on Logic Program Synthesis and Transformation, and the workshop was intended to focus on logic programs. The title was changed to International Workshop on Logic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope. It was changed to International Symposium on Logic-based Program Synthesis and Transformation in 2002.
Traditionally LOPSTR has two submission tracks: extended abstracts and full papers. While the accepted full papers are immediately included in the official proceedings volume, the extended abstracts are accepted for inclusion in the preproceedings only. After the conference, the authors of the extended abstracts are asked to prepare a longer version of the paper, and after an additional review round, the accepted papers are added to the proceedings volume. The conference proceedings are published by Springer
's LNCS
series.
Its original title was International Workshop on Logic Program Synthesis and Transformation, and the workshop was intended to focus on logic programs. The title was changed to International Workshop on Logic-based Program Synthesis and Transformation in 1998 to reflect a widening of its scope. It was changed to International Symposium on Logic-based Program Synthesis and Transformation in 2002.
Traditionally LOPSTR has two submission tracks: extended abstracts and full papers. While the accepted full papers are immediately included in the official proceedings volume, the extended abstracts are accepted for inclusion in the preproceedings only. After the conference, the authors of the extended abstracts are asked to prepare a longer version of the paper, and after an additional review round, the accepted papers are added to the proceedings volume. The conference proceedings are published by Springer
Springer Science+Business Media
- Selected publications :* Encyclopaedia of Mathematics* Ergebnisse der Mathematik und ihrer Grenzgebiete * Graduate Texts in Mathematics * Grothendieck's Séminaire de géométrie algébrique...
's LNCS
Lecture Notes in Computer Science
Lecture Notes in Computer Science is a series of computer science books that has been published by Springer Science+Business Media since 1973....
series.