[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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$
