A Workshop on Russell, Leśniewski and beyond