First International Workshop on
Teaching Logic Programming - TeachLP 2004

Workshop program

Wednesday September 8, 17:00 - 18:30

17:00 - 17:40:
An On-line Course on Constraint Programming (Invited Talk)
by Christine Solnon

17:40 - 18:10:
Partial Specifications of Program Properties
by Christoph Beierle, Marija Kulas, Manfred Widera

18:10 - 18:30:
Teaching Prolog Programming at the Eötvös Loránd University, Budapest
by Tibor Ásványi

Thursday September 9, 10:30 - 12:30

10:30 - 11:00:
Prolog as Description and Implementation Language in Computer Science Teaching
by Henning Christiansen (presented by John Gallagher)

11:00 - 11:30:
Teaching Logic Programming at the Budapest University of Technology
by Péter Szeredi

11:30 - 12:00:
A Logic Programming E-Learning Tool for Teaching Database Dependency Theory
by Paul Douglas, Steve Barker

12:00 - 12:30:
A Database Transaction Scheduling Tool in Prolog
by Steve Barker, Paul Douglas