Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Computer Science for Numerics
Speaker:Martin Ziegler
coming from:KAIST
Speakers Bio:
Event Type:SWS Colloquium
Visibility:INET, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Date, Time and Location
Date:Friday, 19 July 2019
Duration:90 Minutes
Building:E1 5
Since introduction of the IEEE 754 floating point standard in 1985, numerical methods have become ubiquitous --- and increasingly

sophisticated. With growing code complexity of numerical libraries grows the need for rigorous Software Engineering methodology:
as provided by Computer Science and state of the art regarding digital processing of discrete data, but lacking in the continuous realm.
We apply, adapt, and extend the classical concepts --- specification, algorithmics, analysis, complexity, verification --- from discrete
bit strings, integers, graphs etc. to real numbers, converging sequences, smooth/integrable functions, bounded operators,
and compact subsets: A new paradigm formalizes mathematical structures as continuous Abstract Data Types with rigorous
Turing-computable semantics but without the hassle of actual Turing machines.

Name(s):Annika Meiser
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Kaiserslautern
To Building:G26To Room:111
Meeting ID:SWS Space 2 (6312)
Tags, Category, Keywords and additional notes
Attachments, File(s):

Annika Meiser/MPI-SWS, 07/17/2019 11:44 AM
Last modified:
Uwe Brahm/MPII/DE, 07/19/2019 07:01 AM
  • Annika Meiser, 07/17/2019 11:47 AM
  • Annika Meiser, 07/17/2019 11:46 AM -- Created document.