FSCD'2016 organized by members of CRACS

22 June 2016

Sandra Alves from CRACS/INESC TEC was the Conference Chair of the 1st International Conference on Formal Structures for Computation and Deduction,  FSCD'2016, held at the Computer Science Department, Faculty of Science, University of Porto (Portugal), June 22­ to 26, 2016.

This new conference will include all research of the inter-related formal areas of researchers in formal structures for computation and deduction in general, and in particular all subjects that were previously covered by the RTA and TLCA conferences. Associated with the main conference there were 11 colocated workshops.

The organizing committee team included members from the research units of CMUP and LIACC.