FMCAD 2013
Formal Methods in Computer-Aided Design
Portland, OR, USA
October 20-23, 2013
Pictures are now available here.
Picture credits: Joe Leslie-Hurd, Hoon Park, and Sandip Ray.

Unfortunately, because of a bug in the Flickr website, only a subset of the pictures can be viewed without a Flickr account. Please use (or create) a Flickr account, login, and join the "FMCAD 2013" group to see all the pictures.