[FOM] CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories
geoff@cs.miami.edu
geoff at cs.miami.edu
Tue Jan 2 15:47:12 EST 2007
---------------
Call for Papers
---------------
The CADE-21 Workshop on Empirically Successful Automated Reasoning in Large
Theories (ESARLT) will bring together practioners and researchers who are
concerned with the development and application of automated reasoning in large
theories - theories in which ...
+ There are many axioms
+ There are many predicates and functors
+ There are many theorems to be proved from the axioms
+ There are many theorems that are provable from a subset of the axioms
In large theories it is useful to develop and apply intelligent reasoning
techniques that go beyond "black box" reasoning, to include techniques for
selecting axioms, using proved theorems as lemmas, etc. 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 discuss only
"really running" systems and applications, and not theoretical ideas that have
not yet been translated into working software. Full details are available at:
http://www.cs.miami.edu/~geoff/Conferences/ESARLT/
ESARLT is the successor to the successful ESFOR, ESCAR, ESHOL, and ESCoR
workshops. CADE-21 will be 15th to 20th July 2007.
Submission of papers for presentation at the workshop, and proposals for system
and application demonstrations at the workshop, are now invited. Submissions
will be refereed, and a balanced program of high-quality contributions will be
selected. The selected contributions will be printed as workshop proceedings,
and will also be published electronically. The submission deadline is 7th May,
notification of acceptance is on 8th June, and final versions are due
25th June. Submission information is online at:
http://www.cs.miami.edu/~geoff/Conferences/ESARLT/
We hope you will accept this invitation, and be part of ESARLT.
More information about the FOM
mailing list