addressalign-toparrow-leftarrow-right-10x10arrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcredit-cardcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1languagelaunch-new-window--smalllight-bulblinklocation-pinlockm-swarmSearchmailmediummessagesminusmobilemoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahooyoutube

October 13, 2018 - 82 went

Mooly Sagiv and Eric Smith on Formal Verification for Ethereum

Getting ready for the talk...

In this photo:

There are no tags for this photo

Added by Jeff F.
on Oct 14, 2018.
 

Want to comment on this photo?

Sign in, if you're already a member of this group or Join Silicon Valley Ethereum Meetup

Move photo

Do you want to move this photo to “__ALBUM_NAME__”?

Are you sure you want to delete this photo?

Yes, I'm Sure

Are you sure you want to delete this comment?

Yes, I'm Sure

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy