Workshop Program

    Time Talk
    09:00 Bernd Brassel, Michael Hanus, Björn Peemöller and Fabian Reck
    Haskell for Logic Programmers: Compiling Functional Logic Programs to Haskell
    (invited presentation; shared with WLPE)
    10:00 Abdulla Alqaddoumi and Enrico Pontelli
    An Implementation of Bubbling
    10:30 Flavio Cruz and Ricardo Rocha
    Single Time-Stamped Tries for Retroactive Call Subsumption
    11:00 Break
    11:30 Timon Van Overveldt and Bart Demoen
    High-Level Multi-Threading in hProlog
    12:00 Theofrastos Mantadelis and Gerda Janssens
    Nesting Probabilistic Inference
    14:00 János Csorba, Zsolt Zombori and Péter Szeredi
    Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
    14:30 Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers
    Approximating Constraint Propagation in Datalog
    15:00 Paul Tarau
    Bijective Term Encodings
    15:30 Break
    16:00 João Raimundo and Ricardo Rocha
    Global Trie for Subterms
    16:30 Paul Tarau
    Computing with Hereditarily Finite Sequences
    17:00 Paulo Moura and Artur Miguel Dias
    L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory