Calculemus 2003

Area 09 – Ingegneria industriale e dell'informazione

The long-term motivation of the Calculemus research initiative (see www.calculemus.net) is to foster the development of a new generation of assistant systems for mathematics and formal methods.Contributions by A.A. Adams, Jesús Aransay, Clemens Ballarin, Christoph Benzmüller, Ulrich Berger, Sylvie Boldo, Jacques Calmet, Jacques Carette, Edmund Clarke, Marc Daumas, William M. Farmer, Ferruccio Guidi, Mathieu Jaume, Hidetsune Kobayashi, Michael Kohlhase, Manuel Maarek, Hirokazu Murao, Joël Ouaknine, Martin Pollet, Virgile Prevosto, Silvio Ranise, Julio Rubio, Claudio Sacerdoti Coen, Monika Seisenberger, Volker Sorge, Klaus Sutner, Hideo Suzuki, Laurent Théry, Jérémie Wajs, Wolfgang Windsteiger, Stefano Zacchiroli

SINTESI