Courses
https://ocw.mit.edu/courses/linguistics-and-philosophy/24-900-introduction-to-linguistics-fall-2012/index.htm
http://compling.hss.ntu.edu.sg/courses/hg2002/
Participation
https://linguistics.mit.edu/experimental-syntax-semantics-lab/
https://experts.illinois.edu/en/publications/an-overview-of-the-k-semantic-framework
http://www.kframework.org/index.php/Main_Page
Others
http://fsl.cs.illinois.edu/index.php/Reachability_Logic