International Conference on Logic Programming

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

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

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

25. ICLP 2009: Pasadena, CA, USA

24. ICLP 2008: Udine, Italy

23. ICLP 2007: Porto, Portugal

22. ICLP 2006: Seattle, WA, USA

21. ICLP 2005: Sitges (Barcelona), Spain

20. ICLP 2004: Saint Malo, France

19. ICLP 2003: Mumbai, India

18. ICLP 2002: Copenhagen, Denmark

17. ICLP 2001: Paphos, Cyprus

ICLP 2000: London, UK

ICLP 2000 is integrated into CL:

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

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

14. ICLP 1997: Leuven, Belgium

Post Conference Workshops:

13. ICLP (JICSLP) 1996: Bonn, Germany

Post Conference Workshops:

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