Interesting #CallForPapers : #CADE29 International Conference on Automated Deduction "is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited". https://easyconferences.eu/cade2023/ #logic #atp