Difference between revisions of "Event:5ceba082-5b98-45fe-8a64-5a44fe4e706a"

Latest revision as of 10:54, 17 August 2023

The document "FM 2023" was published on "2023-08-17T10:54:32" on the website "ConfIDent" under the URL https://confident-conference.org/index.php/Event:5ceba082-5b98-45fe-8a64-5a44fe4e706a.

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

The document "FM 2023" contains information about the event "FM 2023" with start date "2023/03/06" and end date "2023/03/10".

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

Deadlines

4
Sep

2022

Paper

11
Sep

2022

Submission

15
Nov

2022

Notification

11
Dec

2022

Camera-Ready

Metrics

Accepted Papers

38

Venue

Universität zu Lübeck, Lübeck, Schleswig-Holstein, Germany

Loading map...

@@ Line 1: / Line 1: @@
 {{Event
 |Acronym=FM 2023
-|Title=International Symposium on Formal Methods
+|Title=25th International Symposium on Formal Methods
 |Ordinal=25
 |In Event Series=Event Series:05ece683-3a09-462a-b8b2-a11a83055848
@@ Line 9: / Line 9: @@
 |Event Status=as scheduled
 |Event Mode=on site
-|Venue=University of Lübeck, Institute for Software Engineering and Programming Languages
+|Venue=Universität zu Lübeck
-|City=DE/SH/Lübeck
+|City=Lübeck
-|Region=DE/SH
+|Region=Schleswig-Holstein
 |Country=Country:DE
+|Academic Field=Computer Science; Formal Methods
 |Official Website=https://fm2023.isp.uni-luebeck.de/
 |Registration Link=https://express.converia.de/frontend/index.php?sub=1012
+|DOI=10.25798/4x1f-yd28
 }}
 {{Event Deadline
@@ Line 25: / Line 27: @@
 |Contributor Type=organization
 |Organization=University of Lübeck
+}}
+{{Organizer
+|Contributor Type=organization
+|Organization=Formal Methods Europe
 }}
 {{Event Metric