The deadline for submitting a paper to the 8th International Conference on Formal Structures for Computation and Deduction (FSCD'23) is on 3 February 2023. Please have a look at the Call for Papers for more information.

Next Post Previous Post