Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] FroCoS and TABLEAUX 2019 (London): SECOND (AND...


view this post on Zulip Email Gateway (Aug 22 2022 at 19:47):

From: Andrei Popescu <A.Popescu@mdx.ac.uk>
Dear potential authors and registered authors who wish to polish your submissions,

We have decided to issue a second (and final) deadline extension of four days for the 2019 joint editions of the FroCoS and TABLEAUX conferences. The new deadlines are:

10 May 2019 (abstract), 12 May 2019 (paper)

We hope to see many of you this September in London!

Best wishes,

Serenella Cerrito, Andreas Herzig, Andrei Popescu and Franco Raimondi

(PC chairs and local organizers)

Conference websites: https://frocos2019.org, https://www.tableaux2019.org

Contact: chair@frocos2019.org, chair@tableaux2019.org


Last updated: Nov 21 2024 at 12:39 UTC