Changeset - 7b3ebb1fa4f0
[Not reviewed]
0 4 0
Benjamin Lion - 6 years ago 2019-12-13 11:18:19
lion@brahms.fm.cwi.nl
add call for paper; add link to venu page; remove siteurl in pelicanconf (was messing up the css path)
4 files changed with 115 insertions and 9 deletions:
0 comments (0 inline, 0 general)
projects/SEFM2020/content/pages/call_for_papers.md
Show inline comments
 
Title: Call for Papers
 
Date: 2019-11-13 10:20
 
Authors: Michael Guravage
 

	
 
<!--
 
---------
 
Preliminary Call for Papers  
 
SEFM 2020  
 
18th International Conference on  
 
Software Engineering and Formal Methods  
 
Amsterdam, The Netherlands, 14-18 September 2020  
 
https://event.cwi.nl/sefm2020/  
 
---------
 
--> 
 

	
 

	
 
##### Call for Papers
 
## Important Dates 
 
<table>
 
<tr>	<td>Workshop proposal submission deadline:</td>		<td>Monday 27 January 2020 (AoE)</td></tr>
 
<tr>	<td>Workshop proposal notification:</td>		<td>Wednesday 5 February 2020</td></tr>
 
<tr>	<td>Abstract submission deadline:</td>			<td>Monday 27 April 2020 (AoE)</td></tr>
 
<tr>	<td>Paper submission deadline:</td>			<td>Monday 4 May 2020 (AoE)</td></tr>
 
<tr>	<td>Paper notification:</td>				<td>Friday 26 June 2020</td></tr>
 
<tr>	<td>Camera ready:</td>					<td>Tuesday 7 July 2020 (AoE)</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
 
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
projects/SEFM2020/content/pages/venu.md
Show inline comments
 
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  
projects/SEFM2020/content/static/css/custom.css
Show inline comments
 
@@ -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;
 
}
projects/SEFM2020/pelicanconf.py
Show inline comments
 
@@ -4,7 +4,7 @@ from __future__ import unicode_literals
 

	
 
AUTHOR = ''
 
SITENAME = 'SEFM 2020'
 
SITEURL = 'sefm2020'
 
#SITEURL = 'sefm2020'
 

	
 
PATH = 'content'
 

	
0 comments (0 inline, 0 general)