Changeset - 2de4de78c292
[Not reviewed]
master
0 1 0
Benjamin Lion - 4 years ago 2021-02-04 13:23:04
lion@brahms.fm.cwi.nl
Add the link to the LNCS volume.
1 file changed with 5 insertions and 0 deletions:
0 comments (0 inline, 0 general)
projects/SEFM2020/content/pages/index.md
Show inline comments
 
@@ -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 <a href="https://link.springer.com/book/10.1007/978-3-030-67220-1">here</a> 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 <a href="https://link.springer.com/book/10.1007/978-3-030-67220-1">here</a> until the 4th of March.
 

	
 
##### Links for the recordings 
 
Recordings for the conference are now accessible:
 

	
0 comments (0 inline, 0 general)