[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