{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:06:28Z","timestamp":1750309588019,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM SIGLOG News"],"published-print":{"date-parts":[[2025,1]]},"abstract":"<jats:p>This edition of SIGLOG News features a report on the PICS (Probability in Computer Science) Ph.D. school in Copenhagen. PICS was the fifth edition of the School Series \"Foundations of Programming and Software Systems\" (FoPSS) that was jointly created by EATCS, ETAPS, ACM SIGLOG and ACM SIGPLAN. The first FoPPS edition was organized in Braga in 2017. The goal of the FoPPS School Series is to introduce the participants to various aspects of computation theory and programming languages.<\/jats:p>","DOI":"10.1145\/3723141.3723146","type":"journal-article","created":{"date-parts":[[2025,3,10]],"date-time":"2025-03-10T20:06:12Z","timestamp":1741637172000},"page":"31-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Conference Reports"],"prefix":"10.1145","volume":"12","author":[{"given":"Joost-Pieter","family":"Katoen","sequence":"first","affiliation":[{"name":"Aachen University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,3,10]]},"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723141.3723146","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3723141.3723146","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:56:42Z","timestamp":1750298202000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3723141.3723146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,1]]},"references-count":0,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,1]]}},"alternative-id":["10.1145\/3723141.3723146"],"URL":"https:\/\/doi.org\/10.1145\/3723141.3723146","relation":{},"ISSN":["2372-3491"],"issn-type":[{"type":"electronic","value":"2372-3491"}],"subject":[],"published":{"date-parts":[[2025,1]]},"assertion":[{"value":"2025-03-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}