The first Israeli verification day will be held in the department of Computer Science (building 216), Bar Ilan university. It will include several talks and a discussion about forming meetings for interest groups.

Tentative schedule:
• 9:00 Meeting, coffee, refreshments
• 9:30 Opening greetings
• 9:40 Moshe Vardi: From Church and Prior to PSL.
• 10:20 Dana Fishman: Temporal Antecedent Failure: Refining Vacuity.
• 11:00 Yoad Lustig: Trigger Querrying
• 11:40 Coffee Break
• 11:50 Doron Peled: Decision Problems in Message Sequence Charts
• 12:30 Orna Kupferman: From liveness to promptness
• 13:10 Lunch
• 14:00 Forming meeting: Israeli Verification Meetings discussion
• 14:30 Ofer Strichtman: Optimized L* based assume-guarantee reasoning
• 15:10 Hana Chockler: What causes a system to satisfy a specification
• 15:50 Coffee break
• 16:00 Arie Matzliah: Under-approximation for model-checking based on random cryptographic construction
• 16:40 Amir Pnueli: All you need is compassion
• 17:20 Closing

The meeting was held at the colloquium room, department of computer science, top floor (room 331).
Pictures from the event can be found here and here.