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'