1st International Conference Formal Structures for Computation and Deduction combine the previous co
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.
Date and Venue
Start Date
Venue
The conference will be held at the Department of Computer Science at the Faculty of Science of the University of Porto.