News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

3 - 9 September 2017, Second International Conference on Formal Structures for Computation and Deduction (FSCD'17), Oxford, England

Date: 3 - 9 September 2017
Location: Oxford, England
Deadline: Friday 7 April 2017

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 or homotopy type theory.

Submissions can be made in two categories. Regular research papers are limited to 15 pages and must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 10 pages and must describe a working system which has not been published or submitted elsewhere. Full versions of several accepted papers, to be selected by the program committee, will be invited for submission to a special issue of Logical Methods in Computer Science.

Please note that this newsitem has been archived, and may contain outdated information or links.