Difference between revisions of "Event:7276bdcf-9b1c-4112-9482-86322174ce61"

Latest revision as of 10:27, 17 August 2023

The document "FM 2009" was published on "2023-08-17T10:27:49" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:7276bdcf-9b1c-4112-9482-86322174ce61.

The document "FM 2009" describes an event in the sense of a conference.

The document "FM 2009" contains information about the event "FM 2009" with start date "2009/11/02" and end date "2009/11/06".

The event "FM 2009" is part of the event series identified by [[Event Series:05ece683-3a09-462a-b8b2-a11a83055848]]

Deadlines

4
May

2009

Submission

6
Jul

2009

Notification

10
Aug

2009

Camera-Ready

Metrics

Accepted Papers

53

Venue

Eindhoven University of Technology, Eindhoven, North Brabant, Netherlands

Loading map...

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=FM 2009
-|Title=International Symposium on Formal Methods
+|Title=16th International Symposium on Formal Methods
 |Ordinal=16
 |In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848
@@ Line 10: / Line 10: @@
 |Event Mode=on site
 |Venue=Eindhoven University of Technology
-|City=NL/NB/Eindhoven
+|City=Eindhoven
-|Region=NL/NB
+|Region=North Brabant
 |Country=Country:NL
-|Official Website=https://www.win.tue.nl/fm2009/
+|Academic Field=Computer Science; Formal Methods
+|Official Website=https://www.fmeurope.org/conferences/fm2009/
 }}
 {{Event Deadline
@@ Line 19: / Line 20: @@
 |Camera-Ready Deadline=2009/08/10
 |Submission Deadline=2009/05/04
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=Eindhoven University of Technology
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=Formal Methods Europe
 }}
 {{Event Metric