Section: Other Grants and Activities
Mathlogaps Marie Curie Early Stage Training
Keywords : mathematical logic, applications, interval arithmetic, formal proof, PVS.
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.