The next research computing seminar will take place, Friday (24th of October), 1pm-2pm. Professor Daniel Kroening , Department of Computer Science, University of Oxford, will present a seminar entitled “Reasoning about IEEE Floating-point Arithmetic with Abstract Conflict-Driven Learning”. Date: Friday, 24th of October 2014 Place: Wilkins Haldane Room Time: 1:00pm – 2:00pm Abstract: Conflict-Driven Clause Learning […]