Curator 75 (talk | contribs) (Created page with "{{Event |Acronym=FMCAD 2015 |Title=Formal Methods in Computer-Aided Design |Ordinal=15 |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/FMCAD15/index.shtml | |Official Website=http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD15/index.shtml | ||
}} | }} | ||
OpenResearchStack: 0.0.29
Confident: 1.9.10
