[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
(apologies for cross-posting)
We invite solver submissions for the competition on solving Constrained
Horn Clauses (CHC-COMP 2025)
https://urldefense.com/v3/__https://chc-comp.github.io/__;!!IBzWLUs!UDGr9BAAynSb-wjZkpRCJMgqfiWA7Im_GJnMuyYU-8aX9dHubuVUHVnwRfMiYG9NdWyF4DksFmudfj9nqdpaP1x-mUzNUNrxK68$
We kindly ask you to register your solver via this form, the earlier the
better, so we can check for technical issues, but no later than Friday,
April 25:
https://urldefense.com/v3/__https://forms.gle/Lh6VmRjRDaknZ4xU9__;!!IBzWLUs!UDGr9BAAynSb-wjZkpRCJMgqfiWA7Im_GJnMuyYU-8aX9dHubuVUHVnwRfMiYG9NdWyF4DksFmudfj9nqdpaP1x-mUzNqydQrAw$
Solvers will be evaluated automatically on a variety of benchmarks in a
number of categories. For reference, the benchmark selection of CHC-COMP
2024 is available here:
https://urldefense.com/v3/__https://github.com/chc-comp/chc-comp24-benchmarks__;!!IBzWLUs!UDGr9BAAynSb-wjZkpRCJMgqfiWA7Im_GJnMuyYU-8aX9dHubuVUHVnwRfMiYG9NdWyF4DksFmudfj9nqdpaP1x-mUzNruQFliM$
Best,
Gidon Ernst, LMU Munich
Jose F. Morales, IMDEA Software Institute
