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.
