FSCD 2026: Free online participation, 20 - 23 July 2026

Carsten Fuhs <[email protected]> Thu, 16 Jul 2026 20:12:37 +0200

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

The organisers of FSCD 2026 are delighted to announce free best-effort 
virtual participation in the 11th International Conference on Formal 
Structures for Computation and Deduction (FSCD 2026) in Lisbon, 20 - 23 
July 2026.

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/2026