zevente
find events and conferences
3 events
13-29 Jul 2026
FLoC 2026: The 9th Federated Logic Conference
Portugal, Lisbon
24-25 Jul 2026
9th International Symposium on AI Verification (SAIV 2026)
9-12 Nov 2026
Developer Summit