Friday 12 December

9:35 - 10:00: Atef Suleiman

Implementing Thread Cancellation in Multithreaded Prolog Systems

10:00 - 10:25: Paul Tarau

Interactors: Logic Engine Interoperation with Pure Prolog Semantics

10:25 - 10:50: Paulo Moura

Secure Implementation of Meta-predicates

10:50 - 11:10: break

11:10 - 11:35: Jorge Costa and Ricardo Rocha

Tabling Logic Programs in a Common Global Trie

11:35 - 12:00: Miguel Areias and Ricardo Rocha

Efficient Evaluation of Deterministic Tabled Calls

12:00 - 12:25: Pablo Chico de Guzmán, Manuel Carro and Manuel Hermenegildo

A Program Transformation for Continuation Call-Based Tabled Execution

12:00 - 12:50: Terrance Swift, Rui Marques and Jose Cunha

Extending Tabled Logic Programming with Multi-Threading: A Systems Perspective

12:50: lunch + discussion on the future of CICLOPS

Saturday 13 December

9:00 - 9:25: Paul Tarau

Declarative Combinatorics in Prolog: ShapeShifting Data Objects with Isomorphisms and Hylomorphisms

9:25 - 9:50: Jan Wielemaker and Ulrich Neumerkel

Precise Garbage Collection in Prolog

9:50 - 10:15: Paul Tarau

Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog

10:15 - 10:45: The future of CICLOPS

10:45 - 11:10: break

11:10 - 11:35: Geoffrey Chu, Christian Schulte and Peter Stuckey

Confidence based Work Stealing in Parallel Constraint Programming

11:35 - 12:00: Beata Sarna-Starosta and Tom Schrijvers

An Efficient Term Representation for CHR Indexing

12:00 - 12:25: Bart Demoen and Maria Garcia de la Banda

About Redundant Sudoku Rules

12:25: Farewell & Lunch