Email Gateway (Jul 16 2026 at 18:13): Email Gateway (Jul 16 2026 at 18:13):From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
Subject: [isabelle] FSCD 2026: Free online participation, 20 - 23 July 2026
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
Last updated: Jul 22 2026 at 14:00 UTC