Symposium on AI Verification, Zagreb on July 21–22, 2025

33 views

Skip to first unread message

no...@pibbss.ai

unread,

Feb 8, 2025, 2:29:05 AMFeb 8

to guaranteed-safe-ai

https://www.aiverification.org/2025/

Co-located with CAV (Conference on Computer Aided Verification)

Allison Duettmann

unread,

Feb 15, 2025, 6:22:35 PMFeb 15

to guaranteed-safe-ai, no...@pibbss.ai

This is awesome, thanks for sharing!

On Sat Feb 8, 2025, 07:29 AM GMT, no...@pibbss.ai wrote:

https://www.aiverification.org/2025/

Co-located with CAV (Conference on Computer Aided Verification)

--
You received this message because you are subscribed to the Google Groups "guaranteed-safe-ai" group.
To unsubscribe from this group and stop receiving emails from it, send an email to guaranteed-safe...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/guaranteed-safe-ai/b29f12cb-e02a-4bc6-9abe-7051619dfa40n%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply all

Reply to author

Forward

0 new messages