Please note that this newsitem has been archived, and may contain outdated information or links.
16-19 July 2010, The 5th International Joint Conference on Automated Reasoning (IJCAR 2010), Edinburgh, UK
IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical program will consist of presentations of high-quality original research papers, system descriptions, and invited talks.
For more information, see http://www.floc-conference.org/IJCAR-home.html.
IJCAR 2010 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Abstract submission deadline: January 15, 2010.
Please note that this newsitem has been archived, and may contain outdated information or links.