First International Workshop on
Teaching Logic Programming - TeachLP 2004

in conjunction with the
International Conference on Logic Programming, ICLP 2004
Saint Malo, France, September 6-10, 2004


Following the panel discussion at ICLP 2003 in Mumbai (India) the first international workshop on Teaching Logic Programming TeachLP 2004 will be held in Saint Malo, France. The meeting will be run as a workshop at the 2004 International Conference on Logic Programming, which will be held on September 6-10, 2004.

Logic Programming and Constraint Logic Programming (LP, CLP) are very powerful programming paradigms, but hard to learn without sufficient help. For further spreading the technology it should be taught to a broader range of computer science students. The workshop will investigate what is currently taught and how; it will also discuss what should be taught and why. Suggested topics for submissions include, but are not limited to:

  • teaching on different aspects of (C)LP
    • the fundamentals of logic programming
    • software engineering techniques for Prolog
    • debugging techniques for Prolog
    • practical applications
  • teaching special aspects of (C)LP, such as
    • control structures
    • meta predicates
  • teaching Prolog/(C)LP in a few hours for CS students
  • tools for teaching
    • tools for teaching (C)LP
    • using (C)LP technology for e-learning systems
  • relation to other fields
    • (C)LP in relation to other paradigms
    • applying (C)LP in other courses
  • (C)LP and the ACM curriculum
  • (C)LP for the masses or for experts

The workshop is planned to be half a day, with presentations of 30 minutes. A fundamental goal is to give opportunities for active discussions on new research directions and the exchange of latest results.




  • Submission deadline: June 20, 2004
  • Notification of acceptance: July 19, 2004
  • Camera ready version: August 11, 2004


Full papers or extended abstracts in English of 6 to 10 pages are welcome on any aspects of teaching related to logic programming. Authors are invited to send their papers to one of the organizers. The conference proceedings will be published in the conference proceedings series of Linköping University Electronic Press. Submission in LaTeX, postscript or pdf by e-mail is encouraged.


  • Prof. Mireille Ducassé
    Département informatique Projet LANDE 20,
    Av. des buttes de Coësmes Campus de Beaulieu,
    F - 35043 Rennes Cedex, France
  • Prof. Ulf Nilsson
    Department of Computer and Information Science
    Linköpings universitet
    SE - 581 83 Linköping, Sweden
  • Prof. Dietmar Seipel
    University of Wuerzburg
    Department of Computer Science Am Hubland,
    D - 97074 Wuerzburg, Germany
[Last updated July 7, 2004]