Begivenheder

Søg i arrangementer

  • 27. november 2019, kl. 14:00-15:00

    BARC talk by Daniela Kaufmann

    Wednesday, 27 November 2019, Daniela Kaufmann, PhD student at the Institute for Formal Models and Verification, Johannes Kepler University, Austria, will give a talk on "Combining SAT and Computer Algebra to successfully verify Large Multiplier Circuits".

    » Læs mere