Calculemus 2003. 11th Symposium On The Integration Of Symbolic Computation And Mechanized Reasoning (rome, Septembre 2003)

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.