FSCD 2016

Date: 

Wednesday, 22 June, 2016 to Sunday, 26 June, 2016

Venue: 

The conference will be held at the Department of Computer Science at the Faculty of Science of the University of Porto.

1st International Conference Formal Structures for Computation and Deduction combine the previous conferences TLCA and RTAand further extends this scope to cover all the inter-related formal areas that researchers in formal structures for computation and deduction engage in.