Formal Event Planning