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 75 (talk | contribs) |
||
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 |
+ | |Official Website=https://www.fmeurope.org/ | ||
}} | }} | ||
{{Event Series Related Identifier | {{Event Series Related Identifier |
Revision as of 10:01, 5 September 2022
Events