Team Arénaire

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

European Initiatives

Mathlogaps Marie Curie Early Stage Training

Keywords : mathematical logic, applications, interval arithmetic, formal proof, PVS.

Participants : M. Daumas, F. Cháves.

Mathlogaps is a multi-participant effort to offer Early Stage Research Training in Logic and Applications with three partners: (1) the Universities of Leeds and Manchester; (2) Université Claude Bernard Lyon 1 and École Normale Supérieure at Lyon; (3) Ludwig Maximilians Universität München. It is led by D. Macperson (Leeds) and our local leader is P. Koiran (Lip).

F. Cháves has started a PhD in the Arénaire project in November 2004. He will develop the use and certification of interval arithmetic with the PVS automatic proof checker (see the related result in § 6.6 ). M. Hofmann acts as a distant expert and a future host in Munich for this PhD.


Logo Inria