Formal pragmatics has recently experienced a new period of maturation, facilitated by two important factors: a) the novel application of mathematical modeling techniques, and b) access to rich experimental data. The recently emerging field of Experimental Pragmatics has painted a complex picture of the interaction between semantic and pragmatic information in phenomena as diverse as implicature, referentiality, figurative meaning, prosody, and presupposition. In parallel, advances in probabilistic and game-theoretic models that treat pragmatic inference as a problem of reasoning under uncertainty have yielded testable quantitative predictions about the outcome of many different kinds of pragmatic inference. Despite this progress, a great deal of work is needed on the mathematical foundations and quantitative empirical grounding of pragmatics, and, most critically, the connection between the two. The aim of this workshop is to promote dialog and community for these lines of research: strengthening the search for an empirically grounded formal pragmatics.