Email Gateway (Aug 18 2022 at 10:29): Email Gateway (Aug 18 2022 at 10:29):From: geoff@cs.miami.edu
Call for Papers
---------------
Extended Submission Deadline - 18th May
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
The workshop will discuss only "really running" systems and
applications, and
not theoretical ideas that have not yet been translated into working
software.
Submission of papers for presentation at the workshop, and proposals
for system
and application demonstrations at the workshop, are now invited. The
submission
deadline is 18th May. Full details are available at:
http://www.cs.miami.edu/~geoff/Conferences/ESARLT/
The Journal of Symbolic Computation has agreed to a special issue
based around
around the topic of the ESARLT workshop. The special issue will
target ESARLT
participants, but will also also accept submissions from the broader
community.
A call for papers will be made after the workshop papers have been
selected.
-------------------
The $100 Challenges
-------------------
The MPTP $100 Challenges are examples of automated reasoning
problems in large
theories. The winners will be announced at the ESARLT workshop.
Full details
are available at:
http://www.tptp.org/MPTPChallenge/
The Modal Logic $100 Challenge can be an example of automated
reasoning in a
large theory. The winner will be announced at the ESARLT workshop.
Full details
are available at:
http://www.tptp.org/HHDC/
Last updated: May 03 2024 at 04:19 UTC