FSCD 2019

4th International Conference on Formal Structures for Computation and Deduction

FSCD'19 will take place in Dortmund (Germany), from 24 to 30 of June, 2019.

You can find a preliminary call-for-papers here: Call-for-papers (PDF).