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 (daghaug@ifikk.uio.no) if you want to participate.