4-workshop on logic.