Email Gateway (Aug 23 2022 at 08:58): Email Gateway (Aug 23 2022 at 08:58):From: Makarius <makarius@sketis.net>
Dear Isabelle users,
due to the chaotic state of the planet, the plan for the Isabelle Workshop
2020 has to be changed. Here is the official statement of the organizers of
our associated conferences (according to https://ijcar2020.org from today):
"""
The organizing and steering committees of IJCAR and FSCD have decided that the
2020 edition of both the conferences will become virtual and will be held at a
distance. The proceedings of both IJCAR and FSCD will be published as usual.
We are also working with workshop organizers in order to virtualize satellite
events too. More details on the modalities of this virtualization will be
published ASAP.
"""
To give people the opportunity to flush their pipeline of papers, we extend
the deadline by 2 weeks:
Paper submission deadline: 16-Apr-2020
Notification of acceptance: 15-May-2020
See also https://sketis.net/isabelle/isabelle-workshop-2020 for further
details, and eventually the accepted papers.
Note that there is no formal publication. It is possible to submit drafts of
papers that have been formally submitted elsewhere.
Please submit title + abstract as soon as possible, so that we get an idea
what is coming: https://easychair.org/conferences/?conf=isabelle2020
Makarius
Last updated: Apr 25 2024 at 20:15 UTC