International Conference on Logic Programming (ICLP)

Venue Information

  • has part: Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS)
  • has part: Workshop on Teaching Logic Programming (TeachLP)
  • has part: Workshop on Logic Programming Environments (WLPE)
  • has part: Workshop on Optimization and Implementation of Declarative Programs (WOID)

35th ICLP 2019: Las Cruces, NM, USA

34th ICLP 2018: Oxford, UK

33rd ICLP 2017: Melbourne, Australia

Proccedings published in: Theory Pract. Log. Program. 17(5-6)

32nd ICLP 2016: New York City, USA

Proccedings published in: Theory Pract. Log. Program. 16(5-6)

31st ICLP 2015: Cork, Ireland

Proccedings published in: Theory Pract. Log. Program. 15(4-5)

30th ICLP 2014: Vienna, Austria

Proccedings published in: Theory Pract. Log. Program. 14(4-5)

29th ICLP 2013: Istanbul, Turkey

Proccedings published in: Theory Pract. Log. Program. 13(4-5)

28th ICLP 2012: Budapest, Hungary

Proccedings published in: Theory Pract. Log. Program. 12(4-5)

27th ICLP 2011: Lexington, Kentucky, USA

ICLP 2011 Home Page

Proccedings published in: Theory Pract. Log. Program. 11(4-5)

26th ICLP 2010: Edinburgh, Scotland, UK

ICLP 2010 Home Page

Proccedings published in: Theory Pract. Log. Program. 10(4-6)

25th ICLP 2009: Pasadena, CA, USA

24th ICLP 2008: Udine, Italy

23rd ICLP 2007: Porto, Portugal

22nd ICLP 2006: Seattle, WA, USA

21st ICLP 2005: Sitges (Barcelona), Spain

20th ICLP 2004: Saint Malo, France

ICLP 2004 Home Page

Workshop on Teaching Logic Programming (TeachLP 2004)

19th ICLP 2003: Mumbai, India

18th ICLP 2002: Copenhagen, Denmark

Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2002)

17th ICLP 2001: Paphos, Cyprus

ICLP 2001 Home Page

16th ICLP 1999: Las Cruces, New Mexico, USA

ICLP 1999 Home Page

Proceedings of Workshop on Verification of Logic Programs published in: ENTCS 30(1)

Proceedings of Workshop on Optimization and Implementation of Declarative Programs published in: ENTCS 30(2)

Proceedings of Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming published in: ENTCS 30(3)

Proceedings of Workshop on Logic Programming Environments published in: ENTCS 30(4)

15th ICLP (JICSLP) 1998: Manchester, UK

Parallelism and Implementation Technology for (Constraint) Logic Programming Languages

14th ICLP 1997: Leuven, Belgium

Logic-Based Composition of Software (LOCOS)

Tabling in Logic Programs

13th ICLP@JICSLP 1996: Bonn, Germany

Parallelism and Implementation Technology for Constraint Logic Programming

Workshop on Multi-Paradigm Logic Programming (MPLP)

12th ICLP 1995: Tokyo, Japan

Workshop W1: Abstract Interpretation of Logic LanguagesWorkshop W4: Inductive Logic Programming

Workshop W5: Parallel Logic Programming

11th ICLP 1994: Santa Margherita Ligure, Italy

10th ICLP 1993: Budapest, Hungary

9th ICLP (JICSLP) 1992: Washington, DC

8th ICLP 1991: Paris, France

7th ICLP 1990: Jerusalem, Israel

6th ICLP 1989: Lisbon, Portugal

5th ICLP/SLP 1988: Seattle, Washington

4th ICLP 1987: Melbourne, Victoria

3rd ICLP 1986: London, England

2nd ICLP 1984: Uppsala, Sweden

LPW 1983: Praia da Falésia, Algarve, Portugal

1st ICLP 1982: Marseille, France

a service of Schloss Dagstuhl - Leibniz Center for Informatics