Sound numerical computations in abstract acceleration
Cattaruzza, D
Abate, A
Schrammel, P
Kroening, D
Numerical Software Verification. NSV 2017. Lecture Notes in Computer Science
volume 10381
38-60
(12 Jul 2017)
The International Congress of Mathematicians (ICM) is the largest conference in mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU) and hands out the most important prizes in the subject, notably the Fields Medals and the Nevanlinna and Gauss Prizes.
Fri, 21 Sep 2018
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Valentin Sulzer, Caoimhe Rooney, Alissa Kamilova, Attila Kovacs
(Mathematical Institute)
Fri, 06 Jul 2018
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Rachel Philip, Victoria Pereira, Ana Osojnik, Scott Marquis
(Mathematical Institute)
Fri, 25 May 2018
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Bogdan Toader, Jessica Williams, Federico Danieli, Jonathan Peters
(Mathematical Institute)
Fri, 27 Apr 2018
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Davin Lunz, Raquel González Fariña, Oliver Sheridan-Methven, Jane Lee
(Mathematical Institute)
Fri, 23 Feb 2018
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Nabil Fadai, Florian Wechsung, Clint Wong, Joseph Field
(Mathematical Institute)
Fri, 26 Jan 2018
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Helen Fletcher, Michael McPhail, Kristian Kiradjiev, Melanie Beckerleg
(Mathematical Institute)
Fri, 15 Dec 2017
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Ferran Brosa Planella, Rachel Philip, Ian Roper, Valentin Sulzer
(Mathematical Institute)
Fri, 24 Nov 2017
11:45 -
13:15
L3
InFoMM CDT Group Meeting
Graham Benham, Ben Sloman, Matteo Croci, Thomas Roy
(Mathematical Institute)