Report on women in logic 2020 & 2021.

ACM SIGLOG News(2022)

引用 0|浏览3
暂无评分
摘要
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).
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要