Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
research-article

Report on women in logic 2020 & 2021

Published: 12 May 2022 Publication History

Abstract

This report follows the two latest editions of the International Workshop for Women in Logic (WiL), which took place on June 30th in 2020 and June 27th in 2021, respectively. Due to the Corona virus pandemic, both events were held virtually, with significant success. The 4th 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 5th 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).

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGLOG News
ACM SIGLOG News  Volume 9, Issue 2
April 2022
48 pages
EISSN:2372-3491
DOI:10.1145/3537668
Issue’s Table of Contents
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 May 2022
Published in SIGLOG Volume 9, Issue 2

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 44
    Total Downloads
  • Downloads (Last 12 months)16
  • Downloads (Last 6 weeks)2
Reflects downloads up to 16 Oct 2024

Other Metrics

Citations

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media