Curator 75 (talk | contribs) (Created page with "{{Event Series |Acronym=FM |Title=International Symposium on Formal Methods |Recurrence Unit=year |Academic Field=Automation Theory; Logic Programming; Software Verification;...") |
Curator 91 (talk | contribs) |
||
(3 intermediate revisions by 2 users not shown) | |||
Line 3: | Line 3: | ||
|Title=International Symposium on Formal Methods | |Title=International Symposium on Formal Methods | ||
|Recurrence Unit=year | |Recurrence Unit=year | ||
− | |Academic Field=Automation Theory; Logic Programming; Software Verification; | + | |Academic Field=Automation Theory; Logic Programming; Neural Networks; Software Verification; Computer Science; Formal Methods |
+ | |Official Website=https://www.fmeurope.org/ | ||
+ | |DOI=10.25798/c2y4-cq79 | ||
}} | }} | ||
{{Event Series Related Identifier | {{Event Series Related Identifier | ||
Line 9: | Line 11: | ||
|Wikidata Series ID=Q105696839 | |Wikidata Series ID=Q105696839 | ||
|WikiCFP Series ID=1050 | |WikiCFP Series ID=1050 | ||
+ | }} | ||
+ | {{Maintainer | ||
+ | |Contributor Type=organization | ||
+ | |Organization=Formal Methods Europe | ||
+ | }} | ||
+ | {{Event Series CORE Ranking | ||
+ | |CORE Rank Year=2021 | ||
+ | |CORE Rank=A | ||
}} | }} | ||
{{S Event Series}} | {{S Event Series}} |
Latest revision as of 09:00, 17 August 2023
Events