diff --git a/projects/SEFM2020/content/pages/call_for_papers.md b/projects/SEFM2020/content/pages/call_for_papers.md
index 56b5a2bd78952cd7ce5dd6f48577905fa2f2601c..6cc1c0aba971f9cc83e737607c9e9ea65c193d11 100644
--- a/projects/SEFM2020/content/pages/call_for_papers.md
+++ b/projects/SEFM2020/content/pages/call_for_papers.md
@@ -1,9 +1,105 @@
Title: Call for Papers
-Date: 2019-11-13 10:20
-Authors: Michael Guravage
+
-##### Call for Papers
+## Important Dates
+
+ Workshop proposal submission deadline: | Monday 27 January 2020 (AoE) |
+ Workshop proposal notification: | Wednesday 5 February 2020 |
+ Abstract submission deadline: | Monday 27 April 2020 (AoE) |
+ Paper submission deadline: | Monday 4 May 2020 (AoE) |
+ Paper notification: | Friday 26 June 2020 |
+ Camera ready: | Tuesday 7 July 2020 (AoE) |
+
+
+
+## Overview and scope
+
+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.
+Topics of interest include, but are not limited to, the following
+aspects of software engineering and formal methods:
+##### Software Development Methods
+- Formal modeling, specification, and design
+- Software evolution, maintenance, re-engineering, and reuse
+##### Design Principles
+- Programming languages
+- Domain-specific languages
+- Type theory
+- Abstraction and refinement
+##### Software Testing, Validation, and Verification
+- Model checking, theorem proving, and decision procedures
+- Testing and runtime verification
+- Statistical and probabilistic analysis
+- Synthesis
+- Performance estimation and analysis of other non-functional
+properties
+- Other light-weight and scalable formal methods# Security and Safety
+- Security, privacy, and trust
+- Safety-critical, fault-tolerant, and secure systems
+- Software certification
+##### Applications and Technology Transfer
+- Service-oriented and cloud computing systems, Internet of Things
+- Component, object, multi-agent and self-adaptive systems
+- Real-time, hybrid, and cyber-physical systems
+- Intelligent systems and machine learning
+- HCI, interactive systems, and human error analysis
+- Education
+##### Case studies, best practices, and experience reports
+
+
+##Paper submission
+We solicit two categories of papers:
+
+- Regular papers describing original research results, case studies,
+or surveys. Regular papers should not exceed 15 pages, excluding
+bibliography.
+- Tool papers that describe an operational tool and its
+contributions. Tool papers should not exceed 6 pages (including
+bibliography) and should include the URL of the tool.
+
+All submissions must be original, unpublished, and not submitted
+concurrently for publication elsewhere. Paper submission is done
+via [EasyChair](https://easychair.org/conferences/?conf=sefm2020)
+Papers must be formatted according to the [guidelines for Springer
+LNCS papers](http://www.springer.com/lncs).
+
+
+##Publication
+All accepted papers will appear in the proceedings of the conference
+that will be published as a volume in the Formal Methods sublime of
+the Springer's LNCS series.
+
+The authors of a selected subset of accepted papers will be invited
+to submit extended versions of their papers to a journal special
+issue.
+
+##Program co-chairs
+Frank de Boer (CWI, The Netherlands)
+
+Antonio Cerone (Nazarbayev University, Kazakhstan)
+
+##Contact
+sefm2020@easychair.org
diff --git a/projects/SEFM2020/content/pages/venu.md b/projects/SEFM2020/content/pages/venu.md
index 5b4aeb22752b782dd36412f97c6297a32cba28de..a4c09ff115827441d2d19a02c2f6cdbaca92630f 100644
--- a/projects/SEFM2020/content/pages/venu.md
+++ b/projects/SEFM2020/content/pages/venu.md
@@ -1,9 +1,10 @@
Title: Venu
-Date: 2019-11-13 10:20
-Authors: Michael Guravage
+##### Website
+[Centrum Wiskunde & Informatica](https://www.cwi.nl/)
-##### Venu
-Centrum Wiskunde & Informatica
-
+##### Address
+Science Park 123
+1098 XG Amsterdam
+NETHERLANDS
diff --git a/projects/SEFM2020/content/static/css/custom.css b/projects/SEFM2020/content/static/css/custom.css
index fdd358a6ed05fa633152012f9db6cf946def2bbf..d84aafb74028e5ef61db7d4d9dd125f47bdf80b2 100644
--- a/projects/SEFM2020/content/static/css/custom.css
+++ b/projects/SEFM2020/content/static/css/custom.css
@@ -13,6 +13,15 @@ H1,H3,H4,H5 {
padding-bottom:5px;
}
+table {
+ border-collapse: separate;
+ border-spacing: 50px 0;
+}
+
+td {
+ padding: 5px 0;
+}
+
a {
color: #336699;
}
diff --git a/projects/SEFM2020/pelicanconf.py b/projects/SEFM2020/pelicanconf.py
index a8a9d8e2e4a3ba380b6ad85baf389b88641ab007..cec0aaabe7a0f53225a252228ca0f2d048097534 100644
--- a/projects/SEFM2020/pelicanconf.py
+++ b/projects/SEFM2020/pelicanconf.py
@@ -4,7 +4,7 @@ from __future__ import unicode_literals
AUTHOR = ''
SITENAME = 'SEFM 2020'
-SITEURL = 'sefm2020'
+#SITEURL = 'sefm2020'
PATH = 'content'