Curator 75 (talk | contribs) (Created page with "{{Event |Acronym=FMCAD 2018 |Title=Formal Methods in Computer-Aided Design |Ordinal=18 |In Event Series=Event Series:B971552d-88d3-4f18-a485-0b44108039be |Single Day Event=no...") |
m (Text replacement - "|State=" to "|Region=") |
||
Line 10: | Line 10: | ||
|Event Mode=on site | |Event Mode=on site | ||
|City=US/TX/Austin | |City=US/TX/Austin | ||
− | | | + | |Region=US/TX |
|Country=Country:US | |Country=Country:US | ||
|Official Website=http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/ | |Official Website=http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD18/ | ||
}} | }} |