This compilation of papers presented at the 2000 European Summer Meeting of the Association for Symbolic Logic marks the centenial anniversary of Hilbert's famous lecture. Held in the same hall at La Sorbonne where Hilbert first presented his famous problems, this meeting carries special significance to the Mathematics and Logic communities.