FSCD - Formal Structures for Computation and Deduction

22nd June 2016   -   26th June 2016
Porto, Portugal
http://fscd2016.dcc.fc.up.pt/
Save

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.

Related Fields