@confCAV

37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25

 Zagreb, Croatia
conferences.i-cav.org/2025/
Joined August 2018
  • Tweets293
  • Following0
  • Followers782
48Media
Moshe Vardi and Henry Shevlin leading a thought provoking logic lounge on the state of AI, consciousness, and perception #LogicLounge #cav2025 ⭐
7
646
Emina Torlak from @AWS delivered a wonderful keynote about the Cedar authorization engine. #cav2025
1
12
697
Veil, an automated/interactive verifier for distributed protocols is being presented by @GeorgePirlea at CAV'25 (@confCAV). Check out the tool: github.com/verse-lab/veil
3
1
27
1,456
Congratulations to #cav25 distinguished papers 🎊🏆
1
9
416
What a full fist day we had at #cav25 yesterday! Corina Păsăreanu gave a great keynote about Semantic Analysis of Neural Networks
7
436
New this year - industry panel on formal methods in the GenAI era conferences.i-cav.org/2025/p… #cav2025
1
2
1
13
1,150
"for fundamental contributions in designing temporal logics that led to highly successful industry-standard property-specification languages based on temporal logics such as ForSpec, Sugar, PSL, and SVA"
3
256
And the CAV award goes to... 🥁🥁🥁 Roy Armoni, Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Limor Fix, John Havlicek, Avner Landver, Hiller Miller, and Moshe Vardi 🏆 INDUSTRIAL TEMPORAL LOGIC SPECIFICATION MECHANISMS 🏆 @vardi
1
6
2
26
3,292
CAV is officially underway 🚀 ⭐ #cav2025 #ceremony #verification
2
11
1,299
CAV 2025 starting soon! #cav2025
7
377
The final talk of MOSCA’25 is on the string solver Z3-Noodler by Vojtěch Havlena @confCAV #cav
1
220
Anthony Hunt from McMaster U at the SYNT workshop synthesizing code for Conway's Game of Life?! @confCAV
1
5
376
⁦TLDR of AI verification at ⁦@confCAV⁩: 1. Axioms 2. Algorithms 3. ??? 4. Decision procedure 5. Safety guarantees! Photo credit: @taylorjohnson⁩
1
4
292
The first talk of the last session of MOSCA’25 is by Rachel Cleaveland on Incorporating Native String Reasoning in Symbolic Execution of C Programs @confCAV #cav
1
183
A sneak peak of the work behind the scenes 💪 #cav2025 #verification
2
353
Bringing communities together at #cav ! Thank you to all workshop attendees and organisers for a jam-packed day #workshops #cav2025 #verification
1
5
342
Philippe Heim talking about Standard Benchmark Format for Synthesis of Infinite-State Reactive Systems in the SYNT workshop @confCAV bridging synthesis of programs and synthesis automata.
1
7
376
Margus Veanes is giving a talk on Theory and Applications of Symbolic Derivatives for Symbolic Regular Expressions @confCAV #cav
1
2
183
The first talk of MOSCA’25 after lunch is on position constraints and negated containment in string constraints given by Michal Hečko @confCAV #cav
1
163
Next keynote at SYNT @confCAV from Serdar Tasiran, Principle Applied Scientist at AWS on Gen AI, automated reasoning, and program synthesis 🔥
1
1
256
Load more