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 |