{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:16:42Z","timestamp":1750220202553,"version":"3.41.0"},"reference-count":0,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T00:00:00Z","timestamp":1648771200000},"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":[[2022,4]]},"abstract":"<jats:p>\n            This report follows the two latest editions of the International Workshop for Women in Logic (WiL), which took place on June 30\n            <jats:sup>th<\/jats:sup>\n            in 2020 and June 27\n            <jats:sup>th<\/jats:sup>\n            in 2021, respectively. Due to the Corona virus pandemic, both events were held virtually, with significant success. The 4\n            <jats:sup>th<\/jats:sup>\n            Women in Logic workshop (WiL'20) was part of\n            <jats:italic>\"Paris Nord Summer of LoVe 2020\"<\/jats:italic>\n            , a joint event on LOgic and VErification at Universit\u00e9 Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and more than 20 satellite events. The 5\n            <jats:sup>th<\/jats:sup>\n            edition of the workshop (WiL'21) was a satellite event of the 36th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS'21). Both editions were conducted via Zoom, and the 2020 edition was partially streamed on YouTube (unfortunately, the stream was dropped due to an unsubstantiated complaint and only tardily restored).\n          <\/jats:p>","DOI":"10.1145\/3537668.3537672","type":"journal-article","created":{"date-parts":[[2022,5,12]],"date-time":"2022-05-12T22:21:08Z","timestamp":1652394068000},"page":"31-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Report on women in logic 2020 &amp; 2021"],"prefix":"10.1145","volume":"9","author":[{"given":"Sandra","family":"Alves","sequence":"first","affiliation":[{"name":"University of Porto"}]},{"given":"Sandra","family":"Kiefer","sequence":"additional","affiliation":[{"name":"RWTH Aachen University and University of Warsaw"}]},{"given":"Ana","family":"Sokolova","sequence":"additional","affiliation":[{"name":"University of Salzburg"}]}],"member":"320","published-online":{"date-parts":[[2022,5,12]]},"container-title":["ACM SIGLOG News"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3537668.3537672","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3537668.3537672","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:50Z","timestamp":1750186970000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3537668.3537672"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4]]},"references-count":0,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2022,4]]}},"alternative-id":["10.1145\/3537668.3537672"],"URL":"https:\/\/doi.org\/10.1145\/3537668.3537672","relation":{},"ISSN":["2372-3491"],"issn-type":[{"type":"electronic","value":"2372-3491"}],"subject":[],"published":{"date-parts":[[2022,4]]},"assertion":[{"value":"2022-05-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}