The International Conference on Logic Programming (ICLP) is an annual

academic conference An academic conference or scientific conference (also congress, symposium, workshop, or meeting) is an event for researchers (not necessarily academics) to present and discuss their scholarly work. Together with academic or scientific journals ...

on the topic of

logic programming Logic programming is a programming paradigm which is largely based on formal logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of log ...

. It is sponsored by the

Association for Logic Programming The Association for Logic Programming (ALP) was founded in 1986. Its mission is "to contribute to the development of Logic Programming, relate it to other formal and also to humanistic sciences, and to promote its uses in academia and industry al ...

(ALP). The conference consists of peer-reviewed papers with the proceedings published by

Springer Springer or springers may refer to: Publishers * Springer Science+Business Media, aka Springer International Publishing, a worldwide publishing group founded in 1842 in Germany formerly known as Springer-Verlag. ** Springer Nature, a multinationa ...

LNCS ''Lecture Notes in Computer Science'' is a series of computer science books published by Springer Science+Business Media since 1973. Overview The series contains proceedings, post- proceedings, monographs, and Festschrift In academia, a ''F ...

series. It was started out of work done at the Department of Computing and Control,

Imperial College London Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a ...

. The first ICLP was held in September 1982 in

Marseille Marseille ( , , ; also spelled in English as Marseilles; oc, Marselha ) is the prefecture of the French department of Bouches-du-Rhône and capital of the Provence-Alpes-Côte d'Azur region. Situated in the camargue region of southern Fran ...

France France (), officially the French Republic ( ), is a country primarily located in Western Europe. It also comprises of overseas regions and territories in the Americas and the Atlantic, Pacific and Indian Oceans. Its metropolitan ar ...

. The 31st and most recent ICLP was part of the

Boole George Boole (; 2 November 1815 – 8 December 1864) was a largely Autodidacticism, self-taught English people, English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics ...

Conferences in

Cork Cork or CORK may refer to: Materials * Cork (material), an impermeable buoyant plant product ** Cork (plug), a cylindrical or conical object used to seal a container ***Wine cork Places Ireland * Cork (city) ** Metropolitan Cork, also known as G ...

Ireland Ireland ( ; ga, Éire ; Ulster Scots dialect, Ulster-Scots: ) is an island in the Atlantic Ocean, North Atlantic Ocean, in Northwestern Europe, north-western Europe. It is separated from Great Britain to its east by the North Channel (Grea ...

in September 2015.

References

External links

Previous ICLP conferences
on the ALP web-site. Computer science conferences Logic conferences Programming languages conferences Department of Computing, Imperial College London {{comp-sci-stub