CSY/sefm2020 Changeset - 66fb4ce8fa2f · Centrum Wiskunde & Informatica (CWI)

Changeset - 66fb4ce8fa2f

Parent rev.

Child rev.

[Not reviewed]

0 3 0

Hans-Dieter Hiep - 6 years ago 2019-11-13 14:13:33
hdh@cwi.nl

Change welcome page

3 files changed with 24 insertions and 3 deletions:

projects/SEFM2020/content/pages/index.md

projects/SEFM2020/pelicanconf.py

projects/SEFM2020/publishconf.py

0 comments (0 inline, 0 general)

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

@@ @@ -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.

projects/SEFM2020/pelicanconf.py

➞

Show inline comments

@@ @@ -2,7 +2,7 @@ @@
 # -*- coding: utf-8 -*- #
 from __future__ import unicode_literals
-AUTHOR = 'Prof. dr. F.S. de Boer'
 AUTHOR = ''
 SITENAME = 'SEFM 2020'
 SITEURL = ''

projects/SEFM2020/publishconf.py

➞

Show inline comments

@@ @@ -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'

0 comments (0 inline, 0 general)