aAutomated Deduction in GeometryBasque International Workshop on Information TechnologyC't Magazin für Computer TechnikD-Lib MagazineEast/West Database WorkshopsFachtagung "e-Learning" der Gesellschaft für InformatikGCC Developer's SummitHandheld and Ubiquitous ComputingIEEE International Conference on Cluster ComputingJournal of the AISKIL'OBJETMachine Learning