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

CALL FOR PAPERS

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.

ORGANIZING COMMITTEE

• Mireille Ducassé (IRISA/INSA de Rennes, France)
• Ulf Nilsson (Linköpings Univ., Linköping, Sweden)
• Dietmar Seipel (Univ. Wuerzburg, Germany, PC chair)

PROGRAM COMMITTEE

• Christoph Beierle (Fern-Uni Hagen, Germany)
• Manuel Carro (Technical Univ. of Madrid, Spain)
• Mireille Ducassé (IRISA/INSA de Rennes, France)
• Ulrich Geske (Fraunhofer First Berlin, Germany)
• Gopal Gupta (Univ. of Texas at Dallas, USA)
• Michael Hanus (CAU Kiel, Germany)
• Ulrich Neumerkel (TU Vienna, Austria)
• Ulf Nilsson (Linköpings Univ., Sweden)
• Enrico Pontelli (NMSU, Las Cruces, USA)
• Dietmar Seipel (Univ. Wuerzburg, Germany)
• Kazunori Ueda (Waseda University, Tokyo, Japan)

IMPORTANT DATES

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

SUBMISSIONS

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.

ADDRESSES OF ORGANISERS

• Prof. Mireille Ducassé
  INSA IRISA,
  Département informatique Projet LANDE 20,
  Av. des buttes de Coësmes Campus de Beaulieu,
  F - 35043 Rennes Cedex, France
  Mireille.Ducasse@irisa.fr
• Prof. Ulf Nilsson
  Department of Computer and Information Science
  Linköpings universitet
  SE - 581 83 Linköping, Sweden
  ulfni@ida.liu.se
• Prof. Dietmar Seipel
  University of Wuerzburg
  Department of Computer Science Am Hubland,
  D - 97074 Wuerzburg, Germany
  seipel@informatik.uni-wuerzburg.de