International Conference on Logic Programming

31. ICLP 2015: Cork, Ireland

30. ICLP 2014: Vienna, Austria

Michael Leuschel, Tom Schrijvers (Eds.): Theory and Practice of Logic Programming, Volume 14 (4-5)
Contents

29. ICLP 2013: Istanbul, Turkey

Evelina Lamma, Terrance Swift (Eds.): Theory and Practice of Logic Programming, Volume 13 (4-5)
Contents

28. ICLP 2012: Budapest, Hungary

The ICLP 2012 proceedings consist of the following two volumes:

Agostino Dovier, Vítor Santos Costa (Eds.): Theory and Practice of Logic Programming, Volume 12 (4-5)
Contents

ICLP 2012 Home Page

27. ICLP 2011: Lexington, Kentucky, USA

The ICLP 2011 proceedings consist of the following two volumes:

John P. Gallagher, Michael Gelfond (Eds.): Theory and Practice of Logic Programming, Volume 11 (4-5)
Contents

ICLP 2011 Home Page

26. ICLP 2010: Edinburgh, Scotland, UK

The ICLP 2010 proceedings consist of the following two volumes:

Manuel V. Hermenegildo, Torsten Schaub (Eds.): Theory and Practice of Logic Programming, Volume 10 (4-6)
Contents

ICLP 2010 Home Page

25. ICLP 2009: Pasadena, CA, USA

24. ICLP 2008: Udine, Italy

23. ICLP 2007: Porto, Portugal

ICLP 2007 Home Page

22. ICLP 2006: Seattle, WA, USA

ICLP 2006 Home Page

21. ICLP 2005: Sitges (Barcelona), Spain

ICLP 2005 Home Page

20. ICLP 2004: Saint Malo, France

ICLP 2004 Home Page

Workshop on Teaching Logic Programming - TeachLP 2004

19. ICLP 2003: Mumbai, India

18. ICLP 2002: Copenhagen, Denmark

ICLP 2002 Home Page

Colloquium on Implementation of Constraint and LOgic Programming Systems

17. ICLP 2001: Paphos, Cyprus

ICLP 2001 Home Page

ICLP 2000: London, UK

ICLP 2000 is integrated into CL:

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

ICLP 1999 Home Page

Workshop on Verification of Logic Programs, Las Cruces, New Mexico, USA, December 1, 1999. Electronic Notes in Theoretical Computer Science 30(1) 1999

WOID'99: Workshop on Optimization and Implementation of Declarative Programs, Las Cruces (New Mexico, USA), December 2-3, 1999. Electronic Notes in Theoretical Computer Science 30(2) 1999

Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming. Electronic Notes in Theoretical Computer Science 30(3) 1999

WLPE'99, Tenth Workshop on Logic Programming Environments, Las Cruces, New Mexico, USA, November 29, 1999. Electronic Notes in Theoretical Computer Science 30(4) 1999

15. ICLP (JICSLP) 1998: Manchester, UK

Workshop Home Page

14. ICLP 1997: Leuven, Belgium

Post Conference Workshops:

Logic-Based Composition of Software

Tabling in Logic Programs

13. ICLP (JICSLP) 1996: Bonn, Germany

JICSLP 1996 Home Page

Post Conference Workshops:

Parallelism and Implementation Technology for Constraint Logic Programming

Multi-Paradigm Logic Programming

12. ICLP 1995: Tokyo, Japan

Post-Conference Workshops:

Workshop W1: Abstract Interpretation of Logic Languages

Workshop W4: Inductive Logic Programming

Workshop W5: Parallel Logic Programming

11. ICLP 1994: Santa Margherita Ligure, Italy

Post-Conference Workshops:

10. ICLP 1993: Budapest, Hungary

The final versions of some papers from this workshop appeared in the book:

First Workshop on Abduction in Logic Programming

9. ICLP (JICSLP) 1992: Washington, DC

8. ICLP 1991: Paris, France

7. ICLP 1990: Jerusalem, Israel

6. ICLP 1989: Lisbon, Portugal

5. ICLP/SLP 1988: Seattle, Washington

4. ICLP 1987: Melbourne, Victoria

3. ICLP 1986: London, England

2. ICLP 1984: Uppsala, Sweden

1. ICLP 1982: Marseille, France