The International Conference on Computational Models of Argument (COMMA 2014), the regular forum for presentation and exchange of the latest research results related to computational aspects of argumentation, was held in the Scottish Highlands 9th-12th September, organised by the Universities of Aberdeen and Dundee.

The conference included presentations by Alison Pease and John Lawrence detailing the development of a new dialogue protocol for mathematical proof, built upon the Dialogue Game Execution Platform (DGEP) developed for the BESiDE Purposeful Talk package. Floris Bex also presented an overview of DGEP and the Dialogue Game Description Language.