[FOM] IWIL (LPAR Cambodia) Deadline extended

by way of Martin Davis <martin@eipye.com> geoff at cs.miami.edu
Tue Sep 5 13:53:38 EDT 2006

         The 6th International Workshop on the Implementation of Logics
                   12th November, LPAR-13, Phnom Penh, Cambodia

                               Call for Papers


The 6th International Workshop on the Implementation of Logics (IWIL-6) will
be held 12th November 2006, as part of the 13th International Conference on
Logic for Programming, Artificial Intelligence and Reasoning (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. 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.
Full details are available online at:

Submission of papers for presentation at IWIL-6 is now invited. Submissions
will be reviewed, and a balanced program of high-quality contributions will
be selected. The submission format and procedure is given on the IWIL-6 web
page. The selected contributions will printed as workshop proceedings, and
will also be published as CEUR Workshop Proceedings and archived in the
Computer Research Repository.

Important dates
+ Submission deadline - 18th September
+ Papers distributed to PC - 20th September
+ Reviews due in from PC - 2nd October
+ Notification of acceptance - 6th October
+ Camera ready versions due - 23rd October
+ Workshop - 12th November

More information about the FOM mailing list