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