BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Building blocks towards modeling the physical world: analysis\, ge
 ometry\, computer arithmetics - Yves Bertot (INRIA Sophia Antipolis)
DTSTART:20170725T100000Z
DTEND:20170725T110000Z
UID:TALK74521@talks.cam.ac.uk
CONTACT:INI IT
DESCRIPTION:In the long run\, we should be able to formalize most of the d
 esign of cyber-physical systems and robots\, to help detecting flaws at ea
 rly stages of design. Among the many questions that arise\, there is the q
 uestion of going from an abstract design to a concrete implementation. I w
 ish to describe two experiments where this path is taken.<br><br><ul><li>&
 nbsp\;A question going from mathematical analysis to computer arithmetic: 
 computing record numbers of decimals of PI</li><li>&nbsp\;A question going
  from geometry to combinatorial structures: describe triangulations and Vo
 ronoi Diagrams.</li></ul><br>Part of this work was done in collaboration w
 ith Cl&eacute\;ment Sartori.<br>
LOCATION:Seminar Room 2\, Newton Institute
END:VEVENT
END:VCALENDAR