Difference between revisions of "Event:1ce7e198-be77-4497-9eac-568333e431f6"

Latest revision as of 09:39, 17 August 2023

Deadlines

8
Jan

2018

Abstract

22
Jan

2018

Submission

9
Apr

2018

Notification

9
May

2018

Camera-Ready

Metrics

Accepted Papers

46

Venue

Oxford, Oxfordshire, United Kingdom of Great Britain and Northern Ireland

Loading map...

Warning: Venue is missing. The map might not show the exact location.

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=FM 2018
-|Title=International Symposium on Formal Methods
+|Title=22nd International Symposium on Formal Methods
 |Ordinal=22
 |In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848
@@ Line 7: / Line 7: @@
 |Start Date=2018/07/15
 |End Date=2018/07/17
-|Official Website=https://www.win.tue.nl/~evink/FM2018/
+|Event Status=as scheduled
+|Event Mode=on site
+|City=Oxford
+|Region=Oxfordshire
+|Country=Country:GB
+|Academic Field=Computer Science; Formal Methods
+|Official Website=https://www.fmeurope.org/conferences/fm2018/
+|Submission Link=https://easychair.org/conferences/?conf=dsfm2018
 }}
+{{Event Deadline
+|Notification Deadline=2018/04/09
+|Abstract Deadline=2018/01/08
+|Camera-Ready Deadline=2018/05/09
+|Submission Deadline=2018/01/22
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=University of Oxford
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=Eindhoven University of Technology
+}}
+{{Event Metric
+|Number Of Accepted Papers=46
+}}
+{{S Event}}