Theorema-Omega'03 Workshop (May 24-27, 2003)