International Conference on Logic Programming

34th ICLP 2018: Oxford, UK

33rd ICLP 2017: Melbourne, Australia

Ricardo Rocha, Tran Cao Son (Eds.): Theory and Practice of Logic Programming, Volume 17 (5-6)
Contents

32nd ICLP 2016: New York City, USA

Manuel Carro, Andy King (Eds.): Theory and Practice of Logic Programming, Volume 16 (5-6)
Contents

31st ICLP 2015: Cork, Ireland

ICLP 2015 Home Page

Thomas Eiter, Francesca Toni (Eds.): Theory and Practice of Logic Programming, Volume 15 (4-5)
Contents

30th ICLP 2014: Vienna, Austria

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

29th ICLP 2013: Istanbul, Turkey

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

28th 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

27th 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

26th 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

25th ICLP 2009: Pasadena, CA, USA

24th ICLP 2008: Udine, Italy

23rd ICLP 2007: Porto, Portugal

ICLP 2007 Home Page

22nd ICLP 2006: Seattle, WA, USA

ICLP 2006 Home Page

21st ICLP 2005: Sitges (Barcelona), Spain

ICLP 2005 Home Page

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

ICLP 2002 Home Page

Colloquium on Implementation of Constraint and LOgic Programming Systems

17th ICLP 2001: Paphos, Cyprus

ICLP 2001 Home Page

ICLP 2000: London, UK

ICLP 2000 is integrated into CL:

16th 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

15th ICLP (JICSLP) 1998: Manchester, UK

Workshop Home Page

14th ICLP 1997: Leuven, Belgium

Post Conference Workshops:

Logic-Based Composition of Software

Tabling in Logic Programs

13th ICLP (JICSLP) 1996: Bonn, Germany

JICSLP 1996 Home Page

Post Conference Workshops:

Parallelism and Implementation Technology for Constraint Logic Programming

Multi-Paradigm Logic Programming

12th ICLP 1995: Tokyo, Japan

Post-Conference Workshops:

Workshop W1: Abstract Interpretation of Logic Languages

Workshop W4: Inductive Logic Programming

Workshop W5: Parallel Logic Programming

11th ICLP 1994: Santa Margherita Ligure, Italy

Post-Conference Workshops:

10th ICLP 1993: Budapest, Hungary

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

First Workshop on Abduction in Logic Programming

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

1st ICLP 1982: Marseille, France

maintained by Schloss Dagstuhl LZI at University of Trier