from March 2014 by thread

FLoC workshops - Interpolation, Vampire Geoff Sutcliffe (Monday, 31 March)

PhD Studentship at UCL in Logic-based Knowledge Representation and Reasoning Antonis Bikakis (Monday, 31 March)

Artificial Intelligence and Symbolic Computation AISC 2014 Geoff Sutcliffe (Thursday, 20 March)

PAAR 2014 Call for Papers Geoff Sutcliffe (Friday, 7 March)

Last message date: Monday, 31 March 2014 16:55:23 UTC