Meetup : Tel Aviv: Hardware Verification and FAI

post by Squark · 2015-10-01T21:00:46.048Z · LW · GW · Legacy · 1 comments

Contents

  Discussion article for the meetup : Tel Aviv: Hardware Verification and FAI
  Discussion article for the meetup : Tel Aviv: Hardware Verification and FAI
None
1 comment

Discussion article for the meetup : Tel Aviv: Hardware Verification and FAI

WHEN: 28 October 2015 12:59:48AM (+0300)

WHERE: Electra Tower

We will meet at Google Israel on the 29th floor, as always.

The speaker this time is Yoav Hollander, inventor of the "e" hardware verification language and founder of Verisity. His description of the talk:

"I'll (briefly) describe the FAI verification problem, and admit that I don't really know how to solve it. I'll also warn against 'magical thinking', i.e. assuming that because a fool-proof solution is needed, it will somehow appear before the window of opportunity slams on our finger tips.

I'll review what works (and what does not) in HW verification and in autonomous systems verification, and discuss why some of that may be relevant for FAI verification.

I'll then open the room for discussion."

Facebook event: https://www.facebook.com/events/907241922691991/ My phone: 0542600919 (Vadim)

Discussion article for the meetup : Tel Aviv: Hardware Verification and FAI

1 comments

Comments sorted by top scores.

comment by Squark · 2015-10-01T21:02:02.893Z · LW(p) · GW(p)

!!! It is October 27, not 28 !!!

Also, it's at 19:00

Sorry but it's impossible to edit the post.