Interesting #CallForPapers just out : #FSCD2023 International Conference on Formal Structures for Computation and Deduction "covers all aspects of formal structures for computation and deduction from theoretical foundations to applications" https://easyconferences.eu/fscd2023/cfp/ #logic #TheoreticalCS