Course description here (to be completed):

https://patrickdelliott.com/egg2018/introSemantics.html