Workshop Réels, Flottants & Vérification

6 juillet 2016

14h, salle de conférence de l'I3S

Dans le cadre de l'ANR COVERIF, nous vous convions à un Workshop autour de la vérification de programmes avec des calculs sur les flottants organisés par le projet CeV de l'équipe MDSC de l'I3S. La vérification de ces programmes soulève des problèmes qui relèvent tant des réels que des flottants. Les problématiques des flottants, des réels, des techniques de vérification et de leurs interactions seront présentées par quatre orateurs reconnus pour la qualité de leurs contributions dans ces thèmes.
L'entrée est libre !