FSCD 2025: Free online participation, 15 - 18 July 2025

Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Wed, 9 Jul 2025 21:32:57 +0100

Newsgroups	gmane.comp.science.types.announce,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria
Message-ID	<[email protected]>

[ 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$