Logic and computation Computational linguistics Natural language semantics Type theory
Those are the extended abstracts of the TYTLES (Barcelona, August 3-7 2015) workshop together with the slides that were projected during the introduction and the conclusion.