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

Changeset - bcf36557f5b8

Parent rev.

Child rev.

[Not reviewed]

0 1 0

Benjamin Lion - 6 years ago 2020-01-08 12:54:58
lion@brahms.fm.cwi.nl

change the date from 2019 to 2020

1 file changed with 2 insertions and 2 deletions:

projects/SEFM2020/content/pages/index.md

0 comments (0 inline, 0 general)

projects/SEFM2020/content/pages/index.md

➞

Show inline comments

 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.
 ## Important Dates
 * Workshop proposal submission deadline: Monday 27 January 2020
 * Workshop proposal notification: Wednesday 5 February 2020
 * Abstract submission deadline: Monday 27 April 2020
 * Paper submission deadline: Monday 4 May 2020
 * Paper notification: Friday 26 June 2020
 * Camera ready: Tuesday 7 July 2020
 * Registration (early): TBD
 * Conference
     * Workshops: **September 14-15, 2019**
     * SEFM: **September 16-18, 2019**
     * Workshops: **September 14-15, 2020**
     * SEFM: **September 16-18, 2020**
 ## News
 ## Sponsors
 T.B.D.

0 comments (0 inline, 0 general)