HBF Logic Meet