[TYPES/announce] FSCD 2025: Free online participation, 15 - 18 July 2025
Carsten Fuhs
c.fuhs at bbk.ac.uk
Wed Jul 9 16:32:57 EDT 2025
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://urldefense.com/v3/__https://fscd-conference.org/2025__;!!IBzWLUs!Rc8QJLkHsAzmcBeHqmEOABPALt3upyil11Nd-FYMC1LDCViey2wyOjoSSraQAsU9ujEhRPmhkzCV57eN7BsxqfKdn_gG1rQ$
More information about the Types-announce
mailing list