Section: Highlights of the Year

Highlights of the Year

Logipedia

We have launched in September the first system independent encyclopedia of formal proofs: Logipedia .

Awards

Serge Abiteboul and Gilles Dowek have received the Award La science se livre in January.