Curator 91 (talk | contribs) (Created page with "{{Event |Acronym=MEMOCODE 2022 |Title=International Conference on Formal Methods and Models for System Design |Ordinal=20 |In Event Series=Event Series:Bb4b6e78-7aee-45ab-955d...") |
Curator 91 (talk | contribs) |
||
| Line 8: | Line 8: | ||
|End Date=2022/10/14 | |End Date=2022/10/14 | ||
|Event Status=as scheduled | |Event Status=as scheduled | ||
| − | |Event Mode= | + | |Event Mode=hybrid |
|City=Shanghai | |City=Shanghai | ||
|Country=Country:CN | |Country=Country:CN | ||
| − | |Academic Field=Formal Methods; Software Verification | + | |Academic Field=Formal Methods; Model Checking; Software Verification |
|Official Website=https://memocode2022.github.io/index.html | |Official Website=https://memocode2022.github.io/index.html | ||
}} | }} | ||
Latest revision as of 08:17, 12 October 2022
Deadlines
|
||
| Abstract |
|
||
| Paper |
|
||
| Notification |
Venue
Shanghai, China
Warning: Venue is missing. The map might not show the exact location.
