author = {B. Buchberger},
title = {{Formal Mathematics: A Key to the Future}},
language = {english},
year = {2006},
month = {June 26-30},
annote = {2006-06-26-A},
note = {Invited talk at "Engineering and Life Sciences", Avignon, France},
conferencename = {"Engineering and Life Sciences", Avignon, France}