From 66fb4ce8fa2f66c86e7742b1a9ba17ac9169f117 2019-11-13 14:13:33 From: Hans-Dieter Hiep Date: 2019-11-13 14:13:33 Subject: [PATCH] Change welcome page --- diff --git a/projects/SEFM2020/content/pages/index.md b/projects/SEFM2020/content/pages/index.md index d4e8840b1d9b2c91f95a283c96954e64b9ce4d20..afc331bdb96f8c7052b799ceb9f19e164c2c3f39 100644 --- a/projects/SEFM2020/content/pages/index.md +++ b/projects/SEFM2020/content/pages/index.md @@ -5,6 +5,27 @@ save_as: index.html Status: hidden -##### Welcome to SEFM 2020 +## 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 13--18, 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. + +## News + +No news is good news. + +## Important Dates + +* Abstract Submission: TBD +* Paper Submission: TBD +* Notification: TBD +* Camera Ready: TBD +* Registration (early): TBD +* Conference + * Workshops: **September 13-15, 2019** + * SEFM: **September 16-18, 2019** + +## Sponsors + +T.B.D. diff --git a/projects/SEFM2020/pelicanconf.py b/projects/SEFM2020/pelicanconf.py index 492bf82c24ebf056682405da4102a1d3cdeb83c0..51d4dfe3a0df39ea88e5e8d5291187b52f648f04 100644 --- a/projects/SEFM2020/pelicanconf.py +++ b/projects/SEFM2020/pelicanconf.py @@ -2,7 +2,7 @@ # -*- coding: utf-8 -*- # from __future__ import unicode_literals -AUTHOR = 'Prof. dr. F.S. de Boer' +AUTHOR = '' SITENAME = 'SEFM 2020' SITEURL = '' diff --git a/projects/SEFM2020/publishconf.py b/projects/SEFM2020/publishconf.py index 00d936dbe132484401fc425c570e377a17bea60c..679ed5ffccf8d15de757cf5375c42b4efe163925 100644 --- a/projects/SEFM2020/publishconf.py +++ b/projects/SEFM2020/publishconf.py @@ -11,7 +11,7 @@ sys.path.append(os.curdir) from pelicanconf import * # If your site is available via HTTPS, make sure SITEURL begins with https:// -SITEURL = 'https://elementsofscheduling.nl' +SITEURL = 'https://SEFM2020.nl' RELATIVE_URLS = False FEED_ALL_ATOM = 'feeds/all.atom.xml'