The IVD'24 workshop will take place on December 19th, at the Department of Computer Science at Bar Ilan University.  

The goal of the workshop is to bring together the Israeli research community in the field of verification and to foster research ideas and collaborations between the members of the community. 

The workshop will consist of short talks, a poster session, and time to chat and catch up :) 

We encourage talks and posters from MSc and PhD students, in all areas of formal verification.

Participants are encouraged to present their work, whether it is ongoing work, research ideas, or already published work. 

Important Dates

Talks & posters registration: 20 November 2024  presentations form. 

Participation registration deadline: 20 November 2024 (Registration is free, but is needed for organizational reasons) participation form. 

Workshop date: 19 December 2024 @ Computer Science Department, Bar Ilan University.

Program

The full program is available here. 

Slides

Session 1: Automata

Doron, Hadar, Yoni: Opening

Elina Sudit: omega-Regular Robustness

Oded Zimerman: A Robust Measure on FDFAs Following Duo-Normalized Acceptance

Shaull Almagor: Counter Automata

Noa Izsak: Learning Broadcast Protocols

Yoav Feinstein: Monotonicity Characterizations of Regular Languages

Yoav Ben Shimon: Hyperproperty-Preserving Register Specifications

Session 2: Model Checking and PL

Basel Khouri: Revisiting DRUP-based Interpolants with CaDiCaL 2.0

Tom Yaacov: Symbolic Verification of Behavioral Programs

Andrew Luka: PDR - Breaking the CNF Barrier with Extension Variables

Doron Peled: Efficient first-order past temporal logic runtime-verification

Raz Lotann: Duality and Primal-Dual Algorithms in Verification

Oren Ish Shalom: The art and misery of writing a real life CI/CD SAST engine

Raz Lotan: Implicit Rankings for Verifying Liveness Properties in First-Order Logic

Session 3: Neural Networks and PL

Gilboa Alin and Emilia Katz: Exploring Collaborative Horizons: FV Challenges and Opportunities at Intel

Omri Isac: Neural Network Verification with Proof Production

Yuval Shapira: Neural Networks Robustness Verification of Few-Pixel Attacks

Yizhak Elboher: Abstraction in Formal Verification of Neural Networks

Itay Cohen: End-to-End AI Generated Runtime Verification from Natural Language Specification

Nati Levy: Statistic Verification for Aerospace Industry

David Trabish: Enhancing Symbolic Execution with Safety Validation

Neta Elad: Infinite Models in Verification

Session 4: Games and Biology

Michelle Aluf Medina: Formal Verification of Network-Based Biocomputation Circuits

Yuval Gerber: Reasoning about Monotonic Regulation Conditions for Boolean Gene Regulatory Networks: An Algorithmic Approach

Noam Shenwald: Games with Trading of Control

Guy Avni: Auction-Based Scheduling

Ron Wettenstein: Using Shapley and Banzhaf Values from Game Theory to Solve Satisfiability Problems

Asaf Yeshurun: Sequential equivalence checking, its importance to the world of formal verification today, and possible ways forward

Local Information

Location: CS building (503), Bar Ilan University

Arrival: Campus map 

Directions: Hebrew,  English 

Parking: If you park at the Wohl parking lot, bring us your parking ticket, and we will give you a free parking voucher (other parking lots are also available, but we don't have vouchers for them). 

Instructions for Talks

Each talk will be 12 minutes + 3 minutes for questions.

Please stick to the times, as we have a packed schedule! 

Prepare your talk in English. If, on the day of the event, all participants turn out to be Hebrew speakers, you can choose to give the talk in Hebrew or English. 

Instructions for Posters

Poster size should be:

•  90cm * 120cm in portrait mode ; or

• 70cm * 100cm in landscape mode. 

You can find templates here: 90cm * 120cm,  70cm * 100cm. 

We would love to print your poster for you!
If you are interested, send us your poster by Tuesday, December 10, 2024, in a PDF format.
The PDF itself must be in the correct size. 

Submission Instructions 

Submissions should include a title and a short abstract. Please indicate whether you want to give a talk, present a poster, or both. 

Please fill out the presentations form.

Organization

Hadar Frenkel, Doron Peled, Yoni Zohar

Department of Computer Science

Bar Ilan University

Contact

hadar.frenkel at biu.ac.il

doron.peled at gmail.com

yoni.zohar at biu.ac.il