Venue:
The conference will be held at the Department of Computer Science at the Faculty of Science of the University of Porto.
Date and time:
June 22, 2016 to June 26, 2016
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.