From 2de4de78c2921ac5b37e603c88b4f0c97be87ee6 2021-02-04 13:23:04 From: Benjamin Lion Date: 2021-02-04 13:23:04 Subject: [PATCH] Add the link to the LNCS volume. --- diff --git a/projects/SEFM2020/content/pages/index.md b/projects/SEFM2020/content/pages/index.md index 955714ee1488c584247d52e26c504e7fc1bc7570..e3403dc6caf353813c09eaeab0cb1d72794028eb 100644 --- a/projects/SEFM2020/content/pages/index.md +++ b/projects/SEFM2020/content/pages/index.md @@ -9,6 +9,8 @@ The 18th edition of the International Conference on Software Engineering and For 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. +##### Free access to the LNCS 12524 volume +The LNCS volume is freely accessible here until the 4th of March. ##### SEFM 2020 will be an entirely virtual event @@ -48,6 +50,9 @@ The social protocol for the main conference is as follows: participants can ask ## News +##### Free access to the LNCS 12524 volume +The LNCS volume is freely accessible here until the 4th of March. + ##### Links for the recordings Recordings for the conference are now accessible: