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)