Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- AI Verification - Third International Symposium, SAIV 2026, Lisbon, Portugal, July 24-25, 2026, ProceedingsComputer and information sciencese11qy48
- AI Verification - Second International Symposium, SAIV 2025, Zagreb, Croatia, July 21-22, 2025, ProceedingsComputer and information sciencese11qy3a
- AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, ProceedingsComputer and information sciencese11qy2c
As JSON: https://labs.confref.org/api/search?kind=event&series=s123d6x