Talk:Conference on Automated Deduction

How big is this conference? —Preceding unsigned comment added by 69.156.166.221 (talk) 04:29, 16 January 2009 (UTC)