{"version.version":"0.1.1","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/Vol-4289.html","spt.number":4289,"spt.acronym":"PoS 2026","spt.wikidataid":null,"spt.title":"Proceedings of the 17th Workshop on Pragmatics of SAT (PoS 2026)","spt.description":null,"spt.url":null,"spt.date":"2026-10-09","spt.dblp":null,"spt.k10plus":null,"spt.urn":null,"cvb.number":4289,"cvb.url":"https://ceur-ws.org/Vol-4289/","cvb.title":"Proceedings of the 17th Workshop on Pragmatics of SAT (PoS 2026)","cvb.fullTitle":null,"cvb.acronym":"PoS 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-19","cvb.dateTo":"2026-07-19","cvb.pubYear":null,"cvb.pubDate":"2026-10-09T00:00:00","cvb.submitDate":null,"cvb.valid":true,"cvb.conference":null,"cvb.editors":"Bart Bogaerts, Dominik Schreiber","cvb._sessions":null,"cvb.virtualEvent":false,"cvb.submittedBy":"Dominik Schreiber","cvb.fromLine":426,"cvb.toLine":443,"cvb.loctime":"Lisbon, Portugal, July 19, 2026","cvb.tdtitle":"Proceedings of the 17th Workshop on Pragmatics of SAT (PoS 2026),Lisbon, Portugal, July 19, 2026.","cvb.seealso":"","cvb.volname":"https://ceur-ws.org/Vol-4289/","cvb.published":"2026-10-09","cvb.year":"2026","cvb.urn":"urn:nbn:de:0074-4289-x","cvb.archive":"https://ceur-ws.org/ftp-dir/Vol-4289.zip","cvb.desc":"?","cvb.h1":"PoS 2026 Pragmatics of SAT 2026","cvb.volume_number":"Vol-4289","cvb.ceurpubdate":"2026-10-09","cvb.voltitle":"Pragmatics of SAT 2026","cvb.colocated":"SAT 2026","cvb.homepage":"https://pragmaticsofsat.org/2026/","cvb.h3":"Website: https://www.pragmaticsofssat.org/2026/","cvb.urn_check_digit":9,"cvb.urn_ok":false}