A first #CallForPapers has gone out for #FSCD #FSCD2024 (Formal Structures for Computation and Deduction) on at least one mailing list, although the website https://cs.ioc.ee/fscd24/ is not yet updated with it. The conference "covers all aspects of formal
structures for computation and deduction from theoretical foundations to
applications" and will be held in Talinn in July next year. #TypeTheory #ProofTheory