diff --git a/projects/SEFM2020/content/pages/index.md b/projects/SEFM2020/content/pages/index.md index ebffc518c92cd072b5ccb278c992688506842f43..205540ef6f48186ba7b01a3efe43ded22d8f1523 100644 --- a/projects/SEFM2020/content/pages/index.md +++ b/projects/SEFM2020/content/pages/index.md @@ -1,52 +1,63 @@ Title: Software Engineering and Formal Methods 2020 -Date: 2019-11-13 10:20 -Authors: Michael Guravage save_as: index.html Status: hidden ## Welcome to SEFM 2020 -The 18th edition of the International Conference on Software Engineering and Formal Methods will be held in **Amsterdam, The Netherlands** on **September 14--18, 2020**. +The 18th edition of the International Conference on Software Engineering and Formal Methods will be held **virtually**, hosted in **Amsterdam, The Netherlands** on **September 14--17, 2020**. SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. ##### SEFM 2020 will be an entirely virtual event - Because of the COVID-19 pandemic, we have decided that SEFM 2020 will not take place physically but will be replaced by a virtual event. As usual, a LNCS proceedings will be prepared and all accepted papers have -to be presented at the virtual conference. How the virtual conference will -be organised is still under consideration, -e.g., live presentations and/or recorded ones. -The paper selection process will however proceed as planned. +to be presented at the virtual conference. + +##### Registration is now open + +The virtual conference will be organised by live presentations (see the programme), using Zoom. Participation is free, but registering to the mailing list is required in order to receive the Zoom link. Note that, once the registration to the mailing list is requested, it is necessary to confirm the registration by clicking on the link received on your e-mail. You will receive a final confirmation mail when registration is succesful. + +Registration to the mailing list is done for both the main conference and the workshops: every registered user will receive multiple Zoom links by e-mail for joining the workshops and the main conference. The Zoom links are sent just-in-time, one day before the event. In case of technical difficulties, contact Benjamin Lion (b.lion@cwi.nl) or Hans-Dieter Hiep (hdh@cwi.nl). + +##### Zoom social protocol + +The social protocol for the main conference is as follows: participants can ask questions during the presentation using the chat functionality of Zoom. At the end of each presentation, there is a five minute slot in which the session chair will choose and read aloud the most interesting questions for the presenter to answer. Alternatively, a session chair may unmute participant(s) to stimulate discussion. ## Important Dates
- | Monday 27 January 2020 |
- | Wednesday 5 February 2020 |
- | Monday 27 April 2020 |
- | Monday 4 May 2020 |
- NEW Abstract submission deadline: | Sunday 24 May 2020 |
- NEW Paper submission deadline: | Sunday 31 May 2020 |
- Paper notification: | Friday 26 June 2020 |
- Camera ready: | Tuesday 7 July 2020 |
- Registration (early): | TBD |
- | Monday, January 27, 2020 |
- | Wednesday, February 5, 2020 |
- | Monday, April 27, 2020 |
- | Monday, May 4, 2020 |
- | Sunday, May 24, 2020 |
- | Sunday, May 31, 2020 |
- | Friday, July 10, 2020 |
- | Monday, July 20, 2020 |
- Registration: | Sunday, September 13, 2020 |
- Conference | |
Workshops: | September 14-15, 2020 |
SEFM: | September 16-18, 2020 |
SEFM: | September 16-17, 2020 |