Tim Hansmeier, Marco Platzner and David Andrews got their conference paper „An FPGA/HMC-based Accelerator for Resolution Proof Checking” accepted for presentation at ARC 2018 (14th International Symposium on Applied Reconfigurable Computing, May 2-4, 2018, Santorini, Greece). Tim Hansmeier will present the paper on Santorini in May.
