[FOM] Logic and Reasoning Workshop CFP
geoff@cs.miami.edu
geoff at cs.miami.edu
Thu Feb 23 12:45:32 EST 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 ...
http://www.cs.miami.edu/~geoff/Conferences/LARARL/
-------------------------------------------------------------------------------
More information about the FOM
mailing list