Bochum Nonclassical Logic Workshop II