FSCD - Formal Structures for Computation and Deduction
Date :
22nd June 2016   -   26th June 2016
Location :
Porto, Portugal
Abstract :
The FSCD conference aims to cover all aspects of formal structures for computation and deduction, from theoretical foundations to tools and applications. The event covers all the inter-related formal areas that researchers in formal structures for computation and deduction engage in.
Conference Search Updated weekly ...