FSCD 2024: Free online participation, 10 - 13 July 2024
Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]>
| 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 2024 are delighted to announce that there is free
best-effort online participation in the 9th International Conference on
Formal Structures for Computation and Deduction (FSCD 2024), colocated
with ICALP and LICS in Tallinn, 10 - 13 July 2024.
Please register your email in advance in order to receive Zoom login
info on Monday evening. For details, please see the conference website:
https://urldefense.com/v3/__https://fscd-conference.org/2024__;!!IBzWLUs!WkVUgua4J6QspY5VwlK0q4_eDVvbhfI29HmgGbpTK7DAxctH0coRsj4sNZ4wyEbb6woAUoz8fzAq-Qg-uGWle5hHdz-okRQ$