Please note that this newsitem has been archived, and may contain outdated information or links.
12 November 2006, The 6th International Workshop on the Implementation of Logics (IWIL-6), Phnom Penh, Cambodia
The 6th International Workshop on the Implementation of Logics (IWIL-6) will be held 12th November 2006, as part of LPAR-13 in Phnom Penh, Cambodia. The IWIL workshop series brings together developers and users of systems that implement reasoning in logic, to share information about successful implementation techniques for automated reasoning systems and similar programs.
For more information, see http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/
Submission of papers for presentation at IWIL-6 is now invited. Systems of all types (automated, interactive, etc), and for all logics (classical, non-classical, all orders, etc) are of interest to the workshop. Contributions that help the community to understand how to build useful and powerful reasoning systems in practice are of particular interest. Submission deadline is 4 September 2006.
Please note that this newsitem has been archived, and may contain outdated information or links.