LOGICA 2000: 14th Annual Symposium