Check the call-for-papers for the Second International Conference on Formal Structures for Computation and Deduction (FSCD'17) available here.

Next Post Previous Post