Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Date: 31 July - 5 August 2011
Location: Wroclaw, Poland
Deadline: 1 February 2011

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.