Δ11 -workshop on logic.