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.
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.
The full program is available here.
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
Location: CS building (503), Bar Ilan University
Arrival: Campus map
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).
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.
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.
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.
More photos from the event are available here
Hadar Frenkel, Doron Peled, Yoni Zohar
Department of Computer Science
hadar.frenkel at biu.ac.il
doron.peled at gmail.com
yoni.zohar at biu.ac.il