Trabajo de Lógica Computacional en Lovaina
Bart Demoen ha publicado la oferta de trabajo PhD Position for Datalog Research.
El trabajo se realizará en grupo DTAI (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence) y, más concretamente en el subgrupo Design, Analysis and Implementation of Declarative Programming Languages (Analysis), de la Universidad de Lovaina.