- 2010 July --- Third International Congress on Tools for Teaching Logic
TICTTL, the Third International Congress on Tools for Teaching Logic is to be held 1-4 June 2011, in Salamanca, Spain. The call for papers and other information is available here.
- 2010 March --- Openproof at Diagrams 2010
Dave Barker-Plummer will be presenting a tutorial entitled Diagrams: A Perspective from Logic at Diagrams 2010.