Workshop on formal semantics