- (22 Nov)
- (23 Nov)
- (24 Nov)
Stergios Chatzikyriakidis (Centre for Linguistic Theory and Studies in Probability, University of Gothenburg) will explain how to use the proof assistant Coq (https://coq.inria.fr/) in analyses of natural language semantics. Participants will get the chance to try this hands on.
Contact Dag Haug (firstname.lastname@example.org) if you want to participate.