Bochum Nonclassical Logic Workshop I