[DL] Logic and Reasoning Workshop CFP

geoff at cs.miami.edu geoff at cs.miami.edu
Thu Feb 23 18:42:37 CET 2006

- Reminder ... Reminder ... Reminder ... Reminder ... Reminder ... Reminder ...

                         The CSR 2006 Workshop on

   Logic for Automated Reasoning and Automated Reasoning for Logic (LARARL)

                   will be held 7th June 2006 as part of

          The International Computer Science Symposium in Russia
                St Petersburg, Russia, 8th - 12th June 2006

                    Submission deadline - 6th March 2006

                    Invited speaker     - John Slaney
                    Workshop orgainzers - Boris Konev & Geoff Sutcliffe

This workshop will bring together practioners and researchers who are concerned 
with the logics that underlie automated reasoning, and the use of automated 
reasoning to investgate logics and their applications. Reasoning in all forms 
(automated, interactive, etc) and all logics (classical, non-classical, all 
orders, etc) is of interest to the workshop. The workshop will be divided into 
two tracks:

Logic for Automated Reasoning
+ Properties of logic that make them suitable for automated reasoning
+ New logics for which automated reasoning is possible
+ Reasoning calculi and inference rules for logics
+ System descriptions of implementations of logical calculi
+ Translations of and between logics to permit automated reasoning
+ Applications of logic for automated reasoning

Automated Reasoning for Logic
+ Investigations of axiomatizations of logics
+ Proof search and guidance for reasoning about logics
+ System descriptions specialized towards reasoning about logics
+ Experimental results from automated reasoning about logics
+ Challenge problems in logic for automated reasoning
+ Encoding application problems as logic problems
+ Applications of automated reasoning for logic

Submission of papers for presentation at the workshop, and proposals for system 
and application demonstrations at the workshop, are now invited. Submissions 
will be reviewed, and a balanced program of high-quality contributions will be 
selected. There is a 20 page limit. Full details of the workshop and submission
requirements are on the WWW page ...


More information about the dl mailing list