Curator 90 (talk | contribs) |
Curator 91 (talk | contribs) |
||
Line 1: | Line 1: | ||
{{Event | {{Event | ||
|Acronym=FMCAD 2022 | |Acronym=FMCAD 2022 | ||
− | |Title=Formal Methods in Computer-Aided Design | + | |Title=Formal Methods in Computer-Aided Design 2022 |
|Ordinal=22 | |Ordinal=22 | ||
|In Event Series=Event Series:B971552d-88d3-4f18-a485-0b44108039be | |In Event Series=Event Series:B971552d-88d3-4f18-a485-0b44108039be | ||
Line 11: | Line 11: | ||
|Venue=Grand Hotel Trento | |Venue=Grand Hotel Trento | ||
|City=Trento | |City=Trento | ||
+ | |Region=Trentino-Alto Adige | ||
|Country=Country:IT | |Country=Country:IT | ||
|Academic Field=Computer Hardware; Embedded Systems Design | |Academic Field=Computer Hardware; Embedded Systems Design |
Revision as of 07:33, 21 August 2023
Deadlines
Metrics
Venue
Grand Hotel Trento, Trento, Trentino-Alto Adige, Italy