The deadline for submitting a paper to the 10th International Conference on Formal Structures for Computation and Deduction (FSCD'25) is on 17 February 2025. FSCD'25 is scheduled to take place in Birmingham, UK, from 14 to 20 July 2025. Please have a look at the Call for Papers for more information.