Please note that this newsitem has been archived, and may contain outdated information or links.
31 July - 5 August 2011, The 23rd International Conference on Automated Deduction, Wroclaw, Poland
CADE-23 is the 23rd International Conference on Automated Deduction, the major forum for the presentation of research in all aspects of automated deduction.
Topics of interest range from theoretical foundations to high-performance implementations in a wide variety of logics and logical theories, methods, and applications.
For more information, see http://cade23.ii.uni.wroc.pl/.
We invite high-quality submissions on the general topic of automated deduction Submission Deadline for abstracts: 1 February 2011.
Please note that this newsitem has been archived, and may contain outdated information or links.