FSCD 2024: Free online participation, 10 - 13 July 2024

Carsten Fuhs <c.fuhs-+9tF5d9GpIpaa/[email protected]> Wed, 3 Jul 2024 08:51:15 +0200

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$