Logic List Mailing Archive

CfR: FSCD 2025 – 10th International Conference on Formal Structures for Computation and Deduction, 15–18 July 2025, Free Online Participation

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