Paper accepted to CADE 2013

The submission to CADE 2013 titled Foundational proof certificates in first-order logic by Zakaria Chihani, Dale Miller, and Fabien Renaud was accepted.  The final draft of this paper is due 1 April.  If you have any comments on the earlier draft, please get them to one of the authors by then.