► Computational Logic ► Knowledge Representation and Reasoning ► Logic Programming and Argumentation ► Machine Learning for Computer Vision ► Scientific Computing for Systems Biology
