{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-3725.html","spt.number":3725,"spt.acronym":"SMT 2024","spt.wikidataid":"Q129053600","spt.title":"Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories","spt.description":"Proceedings of SMT 2024 workshop","spt.url":"http://ceur-ws.org/Vol-3725/","spt.date":"2024-07-11","spt.dblp":null,"spt.k10plus":null,"spt.urn":"urn:nbn:de:0074-3725-4","cvb.number":3725,"cvb.url":"https://ceur-ws.org/Vol-3725/","cvb.title":"Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories","cvb.fullTitle":null,"cvb.acronym":"SMT 2024","cvb.lang":null,"cvb.location":null,"cvb.country":"Canada","cvb.countryWikidataId":"Q16","cvb.region":null,"cvb.city":"Montreal","cvb.cityWikidataId":"Q340","cvb.ordinal":null,"cvb.date":null,"cvb.dateFrom":"2024-07-22","cvb.dateTo":"2024-07-23","cvb.pubYear":null,"cvb.pubDate":"2024-07-11T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Giles Reger, Yoni Zohar","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Yoni Zohar","cvb.fromLine":13868,"cvb.toLine":13892,"cvb.loctime":"Montreal, Canada, July, 22-23, 2024","cvb.tdtitle":null,"cvb.seealso":"","cvb.volname":"https://ceur-ws.org/Vol-3725/","cvb.published":"2024-07-11","cvb.year":"2024","cvb.urn":"urn:nbn:de:0074-3725-4","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-3725.zip","cvb.desc":"?","cvb.h1":"SMT 2024 Satisfiability Modulo Theories 2024","cvb.volume_number":"Vol-3725","cvb.ceurpubdate":"2024-07-11","cvb.voltitle":"Satisfiability Modulo Theories 2024","cvb.homepage":"https://smt-workshop.cs.uiowa.edu/2024/","cvb.h3":"Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024)","cvb.urn_check_digit":4,"cvb.urn_ok":true,"cvb.colocated":"CAV 2024","wd.item":"http://www.wikidata.org/entity/Q129053600","wd.itemLabel":"Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories","wd.itemDescription":"Proceedings of SMT 2024 workshop","wd.sVolume":3725,"wd.Volume":null,"wd.short_name":"SMT 2024","wd.dblpProceedingsId":null,"wd.title":"Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories","wd.language_of_work_or_name":null,"wd.language_of_work_or_nameLabel":null,"wd.URN_NBN":"urn:nbn:de:0074-3725-4","wd.publication_date":"2024-07-11T00:00:00","wd.described_at_URL":"http://ceur-ws.org/Vol-3725/","wd.event":"http://www.wikidata.org/entity/Q129053604","wd.eventLabel":"22nd International Workshop on Satisfiability Modulo Theories","wd.eventSeries":"","wd.eventSeriesLabel":"","wd.eventSeriesOrdinal":"","wd.dblpEventId":"conf/smt/smt2024","wd.fullWorkUrl":"http://ceur-ws.org/Vol-3725/","wd.homePage":null,"wd.ppnId":null}