Project Team Proval

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
PDF e-pub XML


Section: Dissemination

Popularization

Since April 2008, S. Boldo is member of the editorial committee of the popular science web site )i(: http://interstices.info/ .

Since July 2009, S. Boldo is elected member of the board of the Animath association that promotes mathematics among young people.

S. Boldo, in collaboration with T. Viéville (INRIA Nancy Grand-Est) wrote two chapters of the book “Introduction à la science informatique”, edited by G. Dowek [32] , [33] . This book aims at helping the secondary school teachers for the incoming computer science teaching.