Zvonimir Rakamaric

[AWS AI @AWSAI]

What if your chatbot could explain its reasoning with mathematical proof? 💡🔐📐

Follow this reference to use Automated Reasoning checks to iterate on chatbot responses with precise answers & verifiable proofs. #AWS #AutomatedReasoning #AmazonBedrock

👉 https://t.co/2TaRIQVJvu

[CAV @confCAV]

For more details, see:
https://t.co/yqU6rL46Vq
https://t.co/pQSRYYhTpI

[CAV @confCAV]

#cav25 starts tomorrow with our first workshops day! 

Join us for one of the Monday workshops:
* Verification Mentoring Workshop
* VQC
* TACPS
* HYPER
* Allen Emerson Memorial 
* SAIV

Workshop location:  Building D of the Faculty of Electrical Engineering and Computing

[CAV @confCAV]

The CAV 2025 program is now available!
https://t.co/ZnDtzQbZ97

Register here by June 22 to enjoy the early registration fee:
https://t.co/MK5XA18k7I

See you in Zagreb!

[CAV @confCAV]

The list of accepted papers for CAV 2025 is now out!
https://t.co/w3WGCjtznJ
Register for #cav25 now at:
https://t.co/MK5XA17Mia

[Runzhou Tao @runzhou_tao]

Join us at VQC 2025, the first Workshop on Verification of Quantum Computing, co-located with @confCAV 2025 in Zagreb, Croatia on July 21!

📅Abstract submissions due May 15, 2025
🔗 Submit here: https://t.co/0XTLEI72bz

[Taylor T Johnson @taylorjohnson]

6th International Verification of Neural Networks Competition (VNN-COMP'25) w/ 8th International Symposium on AI Verification (SAIV'25) @ 37th International Conference on Computer Aided Verification (CAV'25), consider participating!

Details: https://t.co/HGyK6fllnD

@confCAV

[CAV @confCAV]

This is the time to submit your work to one (or more!) of the CAV 2025 workshops!

Check out all workshops here:
https://t.co/yqU6rL46Vq

[CAV @confCAV]

The registration for CAV 2025 is now open!

You can go ahead and
register here: https://t.co/MK5XA18k7I.

Looking forward to seeing you all in July!

[CAV @confCAV]

📣 The First Workshop on Verification of Quantum Computing (VQC 2025) #CAV2025!
🧠 Bridging formal methods & quantum computing
📅 Call for Presentations now open!
🔗 https://t.co/rL0gEbcOQ6

#QuantumComputing #FormalMethods #Verification #VQC2025

[CAV @confCAV]

We welcome students to submit travel scholarship applications to the Verification Mentoring Workshop at CAV 2025!

Apply here by the end of April: https://t.co/KyL9QKo6yV

For more details, visit the workshop website: https://t.co/ZJy1FGxYaW

[Zvonimir Rakamaric @rakamaric]

@JAldrichPL I think there is another way. And that is to send to Ukraine serious amounts of actually modern weapons. Also, no restrictions on how and where those can be used. For example, Ukraine received basically no modern aircraft, helicopters, or tanks so far.

[CAV @confCAV]

🏅Call for Nominations for CAV Award 2025 🏅
The CAV award is given annually at the CAV conference for fundamental contributions to the field of Computer-Aided Verification.
*Deadline for submitting nominations: March 4, 2025*
For more details, visit https://t.co/MfmFUqx3YU

[CAV @confCAV]

CAV Artifact Evaluation Committee is seeking nominations! Submit via this (self) nomination form by January 16th
https://t.co/RWbPB3p0Zy

[CAV @confCAV]

Last chance to submit a workshop proposal for CAV 2025!
Proposals are due by December 1st via email to the workshop chair.
See all details here: https://t.co/s3fgh2c0BA

[Zvonimir Rakamaric @rakamaric]

Nominate a colleague or yourself for the CAV 2025 program committee! If selected, you'll have a good reason to visit Croatia next summer :).

[CAV @confCAV]

The deadline for participating in the CAV 2025 Program Committee is this weekend!
Submit your nomination here:
https://t.co/ZRDmQVpoB4

[CAV @confCAV]

We are soliciting nominations for the @confCAV 2025 Program Committee!
Submit via this (self-)nomination form: https://t.co/zmRhfcyXQY.
Nominations are open until September 20, 2024.
#cav25 #pcnomination

[Marc Brooker @MarcJBrooker]

Here's a practical example of how Formal Methods can make code faster: AWS's new proven-correct authorization engine is 65% faster (even at p99.9) than the previous version. https://t.co/TmXOTuRPaI

[INSAIT Institute @INSAITinstitute]

Amazon Web Services (@awscloud) donates 1M USD for establishing a new professorship in automated reasoning at INSAIT! @byroncook, @mvechev. We are very thankful for this amazing support and trust in INSAIT's mission. Article in comments.

[INSAIT Institute @INSAITinstitute]

📡Spread the word!

We are excited to announce new tenure-track and tenured #faculty positions for the ##hiring 2023–2024 cycle. INSAIT welcomes strong applicants in computer #science and #AI broadly.

The institute provides exceptional financial packages, which include salaries, startup funds, compute,  and a number of covered PhD and post-doc positions. INSAIT is rapidly growing and in only a year, it has already attracted top faculty and PhD students, published at leading AI conferences (#NeurIPS2023, #ICCV2023), joined ELLIS (Europe's leading AI network), and created its first deep-tech #startup.

Come and joins us!

Application deadline: Jan 15, 2024
Apply here: https://t.co/guyJt1T3AF
CRA job post: https://t.co/29cJDue8eZ