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

Changeset - f184778979f5

Parent rev.

Child rev.

[Not reviewed]

Merge

0 5 2

Benjamin Lion - 5 years ago 2020-09-01 15:42:31
lion@brahms.fm.cwi.nl

Merge.

7 files changed with 44 insertions and 40 deletions:

projects/SEFM2020/content/pages/call_for_papers.md

projects/SEFM2020/content/pages/index.md

projects/SEFM2020/content/pages/programme.md

projects/SEFM2020/content/pages/registration.md

projects/SEFM2020/content/static/header_original.jpg

bin+new file

projects/SEFM2020/content/workshops/foclasa.md

projects/SEFM2020/pelicanconf.py

0 comments (0 inline, 0 general)

projects/SEFM2020/content/pages/call_for_papers.md

➞

Show inline comments

@@ @@ -8,41 +8,30 @@ SEFM 2020 @@
 Software Engineering and Formal Methods
 Amsterdam, The Netherlands, 14-18 September 2020
 https://event.cwi.nl/sefm2020/
 ---------
 -->
 ## Important Dates
 <table>
 <tr><td>- <strike> Workshop proposal submission deadline:</td><td> Monday, January 27, 2020 </strike></td> </tr>
 <tr><td>- <strike> Workshop proposal notification:</td><td> Wednesday, February 5, 2020 </strike></td></tr>
 <tr><td>- <strike>Abstract submission deadline:</td><td> Monday, April 27, 2020</strike></td></tr>
 <tr><td>- <strike>Paper submission deadline:</td><td> Monday, May 4, 2020</strike></td></tr>
 <tr><td>- <strike>NEW Abstract submission deadline: </td><td>Sunday, May 24, 2020</strike></td></tr>
 <tr><td>- <strike>NEW Paper submission deadline: </td><td> Sunday, May 31, 2020  </strike>  </td></tr>
 <tr><td>- Paper notification:</td><td> Friday, July 10, 2020</td></tr>
 <tr><td>- Camera ready version:</td><td> Monday, July 20, 2020</td></tr>
 <tr><td>- <strike>Paper notification:</td><td> Friday, July 10, 2020</td></strike></tr>
 <tr><td>- <strike>Camera ready version:</td><td> Monday, July 20, 2020</td></strike></tr>
 <tr><td>- Registration (early):</td><td> TBD</td></tr>
 <tr><td>- Conference</td></tr>
 <tr><td style="padding-left:2.5em"> Workshops:</td><td> <strong>September 14-15, 2020</strong></td></tr>
 <tr><td style="padding-left:2.5em"> SEFM:</td><td> <strong>September 16-18, 2020</strong></td></tr>
 </table>
 <!-- Alternative for table:
   First Header  | Second Header
   ------------- | -------------
   Content Cell  | Content Cell
   Content Cell  | Content Cell
 -->
 ## 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

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

 Title: Software Engineering and Formal Methods 2020
 Date: 2019-11-13 10:20
 Authors: Michael Guravage
 save_as: index.html
 Status: hidden
 ## 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 14--18, 2020**.
+The 18th edition of the International Conference on Software Engineering and Formal Methods will be held **virtually**, hosted in **Amsterdam, The Netherlands** on **September 14--17, 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.
 ##### SEFM 2020 will be an entirely virtual event
 Because of the COVID-19 pandemic, we have decided that SEFM  2020 will not
 take place physically but will be replaced by a virtual event.
 As usual, a LNCS proceedings will be prepared and all accepted papers have
 to be presented at the virtual conference.
 to be presented at the virtual conference.
 ##### Registration is now open
 The virtual conference will be organised by live presentations (see the <a href="https://easychair.org/smart-program/SEFM2020/">programme</a>), using <a href="https://support.zoom.us/hc/en-us/articles/206175806" target="_blank">Zoom</a>. Participation is free, but registering to the <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">mailing list</a> is required in order to receive the Zoom link. Note that, once the registration to the mailing list is requested, it is necessary to confirm the registration by clicking on the link received on your e-mail. You will receive a final confirmation mail when registration is succesful.
 ##### Registration is now open.
 The virtual conference will be organised by live presentations (see the <a href="https://easychair.org/smart-program/SEFM2020/">programme</a>), using Zoom.
 Participation is free, but registering to the <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">mailing list</a> is required in order to receive the Zoom link. Note that, once the registration to the mailing list is requested, it is necessary to confirm the registration by clicking on the link received on your e-mail.
 Registration to the mailing list is done for both the main conference and the workshops: every registered user will receive multiple Zoom links by e-mail for joining the workshops and the main conference. The Zoom links are sent just-in-time, one day before the event. In case of technical difficulties, contact Benjamin Lion (<a href="mailto:b.lion@cwi.nl">b.lion@cwi.nl</a>) or Hans-Dieter Hiep (<a href="mailto:hdh@cwi.nl">hdh@cwi.nl</a>).
 ##### Zoom social protocol
 The social protocol for the main conference is as follows: participants can ask questions during the presentation using the chat functionality of Zoom. At the end of each presentation, there is a five minute slot in which the session chair will choose and read aloud the most interesting questions for the presenter to answer. Alternatively, a session chair may unmute participant(s) to stimulate discussion.
 ## Important Dates
 <table>
 <tr><td>- <strike> Workshop proposal submission deadline:</td><td> Monday, January 27, 2020 </strike></td> </tr>
 <tr><td>- <strike> Workshop proposal notification:</td><td> Wednesday, February 5, 2020 </strike></td></tr>
 <tr><td>- <strike>Abstract submission deadline:</td><td> Monday, April 27, 2020</strike></td></tr>
 <tr><td>- <strike>Paper submission deadline:</td><td> Monday, May 4, 2020</strike></td></tr>
 <tr><td>- <strike>NEW Abstract submission deadline: </td><td>Sunday, May 24, 2020</strike> </td></tr>
 <tr><td>- <strike>NEW Paper submission deadline: </td><td> Sunday, May 31, 2020  </strike> </td></tr>
 <tr><td>- Paper notification:</td><td> Friday, July 10, 2020</td></tr>
 <tr><td>- Camera ready version:</td><td> Monday, July 20, 2020</td></tr>
 <tr><td>- <strike>Paper notification:</td><td> Friday, July 10, 2020</td>   </strike></tr>
 <tr><td>- <strike>Camera ready version:</td><td> Monday, July 20, 2020</td> </strike></tr>
 <tr><td>- Registration (early):</td><td> TBD</td></tr>
 <tr><td>- Conference</td></tr>
 <tr><td style="padding-left:2.5em"> Workshops:</td><td> <strong>September 14-15, 2020</strong></td></tr>
 <tr><td style="padding-left:2.5em"> SEFM:</td><td> <strong>September 16-17, 2020</strong></td></tr>
 </table>
 ## News
 ##### - Registration is open via the mailing list accessible <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">here</a>.
 ##### - Foclasa has been <b>cancelled</b>.
 ##### - Preliminary program
 The preliminary program is accessible <a href="https://easychair.org/smart-program/SEFM2020/">here</a> (times indicated correspond to time zone GMT+1).
 ##### - New dates for the conference
 The conference will take place on September 16-17, 2020
 ##### - External link for workshops
 Links for <a href="http://asyde2020.disim.univaq.it/">Asyde workshop 2020</a>, <a href="https://cifma.github.io/">Cifma workshop 2020</a>, <a href="https://sites.google.com/view/cosimcps20/home">CoSim-CPS workshop 2020</a>, and <a href="http://pages.di.unipi.it/foclasa/">Foclasa workshop 2020</a> are now available.
 Visit the <a href="https://event.cwi.nl/sefm2020/category/workshops.html">workshop</a> section for more information.
 ##### Registration is open via the mailing list accessible <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">here</a>.
 ##### Foclasa has been cancelled
 ##### Preliminary program
 The preliminary program is available <a href="https://easychair.org/smart-program/SEFM2020/">here</a>(times indicated correspond to time Central European summer time).
 ##### New dates for the conference
 The conference will take place on September 16-17, 2020
 ##### External link for workshops
 Links for <a href="http://asyde2020.disim.univaq.it/">Asyde workshop 2020</a>, <a href="https://cifma.github.io/">Cisma workshop 2020</a>, <a href="https://sites.google.com/view/cosimcps20/home">CoSim-CPS workshop 2020</a>, and <a href="http://pages.di.unipi.it/foclasa/">Foclasa workshop 2020</a> are now available.
-## Sponsors
+Visit the <a href="https://event.cwi.nl/sefm2020/category/workshops.html">workshop</a> section for more information.
 T.B.D.

projects/SEFM2020/content/pages/programme.md

➞

Show inline comments

 Title: Programme
 Date: 2020-02-28 10:50
 Authors: Benjamin Lion
 ##### Preliminary program
 ##### Preliminary program
 The preliminary program is accessible <a href="https://easychair.org/smart-program/SEFM2020/">here</a>.

projects/SEFM2020/content/pages/registration.md

➞

Show inline comments

@@ new file 100644 @@
 Title: Registration
 ##### Registration is now open
 The virtual conference will be organised by live presentations (see the <a href="https://easychair.org/smart-program/SEFM2020/">programme</a>), using <a href="https://support.zoom.us/hc/en-us/articles/206175806" target="_blank">Zoom</a>. Participation is free, but registering to the <a href="https://lists.cwi.nl/mailman/listinfo/sefm2020-list">mailing list</a> is required in order to receive the Zoom link. Note that, once the registration to the mailing list is requested, it is necessary to confirm the registration by clicking on the link received on your e-mail. You will receive a final confirmation mail when registration is succesful.
 Registration to the mailing list is done for both the main conference and the workshops: every registered user will receive multiple Zoom links by e-mail for joining the workshops and the main conference. The Zoom links are sent just-in-time, one day before the event. In case of technical difficulties, contact Benjamin Lion (<a href="mailto:b.lion@cwi.nl">b.lion@cwi.nl</a>) or Hans-Dieter Hiep (<a href="mailto:hdh@cwi.nl">hdh@cwi.nl</a>).
 ##### Zoom social protocol
 The social protocol for the main conference is as follows: participants can ask questions during the presentation using the chat functionality of Zoom. At the end of each presentation, there is a five minute slot in which the session chair will choose and read aloud the most interesting questions for the presenter to answer. Alternatively, a session chair may unmute participant(s) to stimulate discussion.

projects/SEFM2020/content/static/header_original.jpg

➞

Show inline comments

		new file 100644
		binary diff not shown

Show images

projects/SEFM2020/content/workshops/foclasa.md

➞

Show inline comments

@@ @@ -2,13 +2,13 @@ Title: Foclasa 2020 @@
 Date: 2020-09-15
 Authors: Benjamin Lion
 Category: workshops
 <a href="http://pages.di.unipi.it/foclasa/">Link to the external website</a>
-### <u>Important: FOCLASA has been cancelled.</u>
 ### Important: FOCLASA has been cancelled.
 ##### About the workshop
 Nowadays software systems are distributed, concurrent, mobile, and often involve the composition of heterogeneous components and stand-alone (micro)services. Service coordination, service orchestration and self-adaptation constitute the core characteristics of distributed and service-oriented systems. Theoretical/practical approaches to modelling and reasoning about (self-)adaptive behaviour help to simplify the development of complex distributed systems, enable their validation and evaluation, and improve interoperability, reusability and maintainability of such systems. The goal of the FOCLASA workshop is to gather researchers and practitioners of the aforementioned fields, to share and identify common problems, and to devise general novel solutions.
 ##### Additional information

projects/SEFM2020/pelicanconf.py

➞

Show inline comments

@@ @@ -30,23 +30,23 @@ TRANSLATION_FEED_ATOM = None @@
 AUTHOR_FEED_ATOM = None
 AUTHOR_FEED_RSS = None
 DISPLAY_TAGS_ON_SIDEBAR = False
 # Resources
-LINKS =  (  ('CWI Formal Methods Group', 'https://www.cwi.nl/research/groups/formal-methods'),
+LINKS =  (  ('CWI Computer Security Group', 'https://www.cwi.nl/research/groups/computer-security'),
+)
 # #Social widget
 # SOCIAL = (('You can add links in your config file', '#'),
 #           ('Another social link', '#'),)
 DEFAULT_PAGINATION = 10
 # Uncomment following line if you want document-relative URLs when developing
-# RELATIVE_URLS = True
 RELATIVE_URLS = True
 THEME = "bootstrap3"
 CUSTOM_CSS = 'static/css/custom.css'
 PLUGIN_PATHS = ["plugins"]
 PLUGINS = ["tag_cloud"]

0 comments (0 inline, 0 general)