. FURTHER INFORMATION
We are happy to discuss any of the above informally with prospective
candidates. Just email one or all of the project leaders:
Oege de Moor ([EMAIL PROTECTED])
Torbjorn Ekman ([EMAIL PROTECTED])
Mathieu Verbaere ([EMAIL PROTECTED])
, and the deadline for
full paper submission is October 17.
Prospective authors are welcome to contact the program
chairs, Robert Glueck ([EMAIL PROTECTED]) and Oege de Moor
([EMAIL PROTECTED]) with any queries they might have.
for declarative
programming in Datalog, a pure logic programming language.
Semmle is based in Oxford, headed by Oege de Moor;
LogicBlox is based in Atlanta, headed by Molham Aref.
To configure our solution at a number of large corporate
clients in the retail, insurance and software quality
industries, we