International Symposium on Logic-based Program Synthesis and Transformation

International Symposium on Logic-based Program Synthesis and Transformation

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.

The most recent LOPSTR took place in Kongens Lyngby, Denmark in August 2007. The [http://www.informatik.uni-kiel.de/~mh/lopstr08/ coming LOPSTR] will take place in Valencia,_Spain, Spain in July 2008.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …   Wikipedia

  • literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… …   Universalium

  • Life Sciences — ▪ 2009 Introduction Zoology       In 2008 several zoological studies provided new insights into how species life history traits (such as the timing of reproduction or the length of life of adult individuals) are derived in part as responses to… …   Universalium

  • Sri Aurobindo — (Aurobindo Ghosh) in 1916. Born 15 August 1872(1872 08 15) Calcutta (now Kolkata), India Died 5 December 1950(1950 12 05) (aged 78) …   Wikipedia

  • BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon …   Encyclopedia of Judaism

  • History of biology — For the video game, see History of Biology (video game). The frontispiece to Erasmus Darwin s evolution themed poem The Temple of Nature shows a goddess pulling back the veil from nature (in the person of Artemis). Allegory and metaphor have… …   Wikipedia

  • India — /in dee euh/, n. 1. Hindi, Bharat. a republic in S Asia: a union comprising 25 states and 7 union territories; formerly a British colony; gained independence Aug. 15, 1947; became a republic within the Commonwealth of Nations Jan. 26, 1950.… …   Universalium

  • Nicolae Iorga — Iorga redirects here. For the village in Botoşani County, see Manoleasa. Nicolae Iorga Nicolae Iorga in 1914 (photograph published in Luceafărul) Prime Minister of Romania …   Wikipedia

  • List of Chinese inventions — A bronze Chinese crossbow mechanism with a buttplate (the wooden components have …   Wikipedia

  • Character mask — Part of a series on Marxism …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”