The organisers of FSCD 2025 are delighted to announce free best-effort virtual participation in the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025) in Birmingham, 15 - 18 July 2025.
Please register your email in advance to receive login information for the live stream. For details, please see the information on the conference website: https://fscd-conference.org/2025 -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
