Workshop on Compositional Meaning in Logic [GeTFun 4.0] : GeTFun 4.0 - schedule