Workshop Program

    Time Talk
    09:00 Tom Schrijvers
    Tor: Modular Search in Prolog
    (invited presentation)
    10:00 Rui Vieira, Ricardo Rocha and Fernando Silva
    On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores
    10:30 Break
    11:00 Emilio Gallego, Rémy Haemmerlé, Jose F. Morales and Manuel Hermenegildo
    The Ciao CLP(FD) Library
    11:30 Jan Wielemaker
    Extending the Logical Update View with Transaction Support
    12:00 Zoé Drey, Jose F. Morales and Manuel Hermenegildo
    Reversible Language Extensions and their Application in Debugging
    12:30 Rui Machado, Salvador Abreu and Daniel Diaz
    Parallel Local Search: Experiments with a PGAS-based Programming Model
    13:00 Break
    14:00 Neng-Fa Zhou and Jonathan Fruhman
    Toward a Dynamic Programming Solution for the 4-peg Tower of Hanoi Problem with Configurations
    14:30 João Santos and Ricardo Rocha
    Efficient Support for Mode-Directed Tabling in the YapTab Tabling System
    15:00 Terrance Swift
    Profiling Large Tabled Computations using Forest Logging
    15:30 Break
    16:00 Anthony Monnet and Roger Villemaire
    Efficient Partial Order CDCL Using Assertion Level Choice Heuristics
    16:30 A discussion on compatibility forums and support for user code repositories