List of Accepted Papers
- Flavio Cruz and Ricardo Rocha: Single Time-Stamped Tries for Retroactive Call Subsumption
- João Raimundo and Ricardo Rocha: Global Trie for Subterms
- Paul Tarau: Computing with Hereditarily Finite Sequences
- Paulo Moura and Artur Miguel Dias: L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
- János Csorba: Zsolt Zombori and Péter Szeredi: Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
- Theofrastos Mantadelis and Gerda Janssens: Nesting Probabilistic Inference
- Timon Van Overveldt and Bart Demoen: High-Level Multi-Threading in hProlog
- Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers: Approximating Constraint Propagation in Datalog
- Paul Tarau: Bijective Term Encodings
- Abdulla Alqaddoumi and Enrico Pontelli: An Implementation of Bubbling