International Conference on Logic Programming
Encyclopedia
The International Conference on Logic Programming (ICLP) is an annual academic conference
on the topic of logic programming
. It is sponsored by the Association for Logic Programming (ALP). The conference consists of peer-reviewed papers with the proceedings published by Springer
's LNCS
series.
The first ICLP was held in September 1982 in Marseille
, France
. The twentieth and most recent ICLP was part of the Federated Logic Conference
in Seattle, USA in August 2006.
Academic conference
An academic conference or symposium is a conference for researchers to present and discuss their work. Together with academic or scientific journals, conferences provide an important channel for exchange of information between researchers.-Overview:Conferences are usually composed of various...
on the topic of logic programming
Logic programming
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a...
. It is sponsored by the Association for Logic Programming (ALP). The conference consists of peer-reviewed papers with the proceedings 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.
The first ICLP was held in September 1982 in Marseille
Marseille
Marseille , known in antiquity as Massalia , is the second largest city in France, after Paris, with a population of 852,395 within its administrative limits on a land area of . The urban area of Marseille extends beyond the city limits with a population of over 1,420,000 on an area of...
, France
France
The French Republic , The French Republic , The French Republic , (commonly known as France , is a unitary semi-presidential republic in Western Europe with several overseas territories and islands located on other continents and in the Indian, Pacific, and Atlantic oceans. Metropolitan France...
. The twentieth and most recent ICLP was part of the Federated Logic Conference
Federated Logic Conference
The Federated Logic Conference is an international conglomeration of several mathematical logic and computer science related academic conferences that deal with the intersection of the two fields...
in Seattle, USA in August 2006.
External links
- Previous ICLP conferences on the ALP web-site.