The deadline for submitting a paper to the 9th International Conference on Formal Structures for Computation and Deduction (FSCD'24) is on 12 February 2024. FSCD'24 is scheduled to take place in Tallinn, Estonia, from 10 to 13 July 2024. Please have a look at the Call for Papers for more information.