Skip to content

Commit

Permalink
Update FM 2024 (#368)
Browse files Browse the repository at this point in the history
* +netys

* netys time

* netys: rank N

* +tase

* +forte

* +fm24
  • Loading branch information
hengxin authored Dec 19, 2023
1 parent 282abf5 commit a304d9e
Showing 1 changed file with 17 additions and 2 deletions.
19 changes: 17 additions & 2 deletions conference/SE/fm.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
- title: FM
description: International Symposium on Formal Methods
description: International Symposium on Formal Methods
sub: SE
rank: B
rank: A
dblp: fm
confs:
- year: 2021
Expand All @@ -15,3 +15,18 @@
timezone: AoE
date: November 20-26, 2021
place: Beijng, China
- year: 2024
id: fm24
link: https://www.fm24.polimi.it/
timeline:
- deadline: '2024-04-15 23:59:00'
comment: 'Abstract Submission'
- deadline: '2024-04-19 23:59:00'
comment: 'Full Paper Submission'
- deadline: '2024-06-10 23:59:00'
comment: 'Paper Notification'
- deadline: '2024-07-01 23:59:00'
comment: 'Final Version'
timezone: AoE
date: September 09-13, 2024
place: Milan, Italy

0 comments on commit a304d9e

Please sign in to comment.