Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FSCD 2025: Free online participation, 15 - 18 ...

Email Gateway (Jul 09 2025 at 20:33):

From: Carsten Fuhs <c.fuhs@bbk.ac.uk>
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://fscd-conference.org/2025

Last updated: Jul 26 2025 at 12:43 UTC