Please note that this newsitem has been archived, and may contain outdated information or links.
22-26 June 2016, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal
FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, proof theory and new emerging models of computation such as quantum computing and homotopy type theory. The name of the new conference comes from an unpublished but important book by Gerard Huet that strongly influenced many researchers in the area.
For more information, see http://fscdconference.org/ and http://fscd2016.dcc.fc.up.pt/ or email fscd2016 at dcc.fc.up.pt.
The Programme Committee cordially invites all researchers to submit their papers for presentation. Submissions can be made in two categories: regular research papers and system descriptions. Submission deadline (title and abstract): 29 January 2016.
Please note that this newsitem has been archived, and may contain outdated information or links.