Report on women in logic 2020 & 2021.

Sandra Alves Sandra Kiefer Ana Sokolova

Published in: ACM SIGLOG News (2022)

Keyphrases

information technology
logic programming
modal logic
information systems
learning environment
automated reasoning
classical logic
predicate logic
formal theory
data sets
database systems
united states
digital circuits
truth values
asynchronous circuits