{"version.version":"0.1.1","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4276.html","spt.number":4276,"spt.acronym":"LOGICNN 2026","spt.wikidataid":"Q141603366","spt.title":"Proceedings of the Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)","spt.description":"Proceedings of LOGICNN 2026 workshop","spt.url":"https://ceur-ws.org/Vol-4276/","spt.date":"2026-09-29","spt.dblp":null,"spt.k10plus":null,"spt.urn":"urn:nbn:de:0074-4276-x","cvb.number":4276,"cvb.url":"https://ceur-ws.org/Vol-4276/","cvb.title":"Proceedings of the Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)","cvb.fullTitle":null,"cvb.acronym":"LOGICNN 2026","cvb.lang":null,"cvb.location":null,"cvb.country":"Portugal","cvb.countryWikidataId":"Q45","cvb.region":null,"cvb.city":"Lisbon","cvb.cityWikidataId":"Q597","cvb.ordinal":null,"cvb.date":null,"cvb.dateFrom":"2026-07-25","cvb.dateTo":"2026-07-25","cvb.pubYear":null,"cvb.pubDate":"2026-09-29T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Marco Sälzer, François Schwarzentruber, Nicolas Troquard","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Marco Sälzer","cvb.fromLine":202,"cvb.toLine":219,"cvb.loctime":"Lisbon, Portugal, July 25, 2026","cvb.tdtitle":"Proceedings of the Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026),Lisbon, Portugal, July 25, 2026.","cvb.seealso":"","cvb.volname":"https://ceur-ws.org/Vol-4276/","cvb.published":"2026-09-29","cvb.year":"2026","cvb.urn":"urn:nbn:de:0074-4276-x","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-4276.zip","cvb.desc":"?","cvb.h1":"LOGICNN 2026 Logical Methods for Neural Network Analysis 2026","cvb.volume_number":"Vol-4276","cvb.ceurpubdate":"2026-09-29","cvb.voltitle":"Logical Methods for Neural Network Analysis 2026","cvb.colocated":"FLoC 2026","cvb.homepage":"https://perso.ens-lyon.fr/francois.schwarzentruber/research/events/logicnn2026/","cvb.h3":"Marco Sälzer 1 François Schwarzentruber 2 Nicolas Troquard 3","cvb.urn_check_digit":1,"cvb.urn_ok":false,"wd.item":"http://www.wikidata.org/entity/Q141603366","wd.itemLabel":"Proceedings of the Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)","wd.itemDescription":"Proceedings of LOGICNN 2026 workshop","wd.sVolume":4276,"wd.Volume":null,"wd.short_name":"LOGICNN 2026","wd.dblpProceedingsId":null,"wd.title":"Proceedings of the Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)","wd.language_of_work_or_name":null,"wd.language_of_work_or_nameLabel":null,"wd.URN_NBN":"urn:nbn:de:0074-4276-x","wd.publication_date":"2026-09-29T00:00:00","wd.described_at_URL":"https://ceur-ws.org/Vol-4276/","wd.event":"http://www.wikidata.org/entity/Q141603367","wd.eventLabel":"Workshop on Logical Methods for Neural Network Analysis (LOGICNN 2026)","wd.eventSeries":"","wd.eventSeriesLabel":"","wd.eventSeriesOrdinal":"","wd.dblpEventId":"","wd.fullWorkUrl":"https://ceur-ws.org/Vol-4276/","wd.homePage":null,"wd.ppnId":null}