| Popis: |
This report follows the two latest editions of the International Workshop for Women in Logic (WiL), which took place on June 30 th in 2020 and June 27 th in 2021, respectively. Due to the Corona virus pandemic, both events were held virtually, with significant success. The 4 th Women in Logic workshop (WiL'20) was part of "Paris Nord Summer of LoVe 2020" , a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and more than 20 satellite events. The 5 th 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). |
