Logic List Mailing Archive

6th Workshop on "Implementation of Logics", Phnom Penh, Nov 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:
    http://www.cs.miami.edu/~geoff/Conferences/IWIL-6/

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 - 4th September
+ Papers distributed to PC - 6th September
+ Reviews due in from PC - 25th September
+ Notification of acceptance - 29th September
+ Camera ready versions due - 16th October
+ Workshop - 12th November