Group seminar 'Historical Linguistics and Formal Semantics'