These are the preliminary and informal proceedings of the Second Women in Logic Workshop (WiL) held on July 8, 2018 in Oxford. Women are chronically underrepresented in the LiCS (Logic in Computer Science) community; consequently they sometimes feel both conspicuous and isolated, and hence there is a risk that the under-representation is self-perpetuating. The workshop provides an opportunity for women in the field to increase awareness of one another and one another’s work, to combat the feeling of isolation. It also provides an environment where women can present to an audience comprising mostly women, replicating the experience that most men have at most LiCS meetings, and lowering the stress of the occasion; we hope that this will be particularly attractive to early-career women.

We started the workshop in 2017 because we realized that women working on all branches of logic, be it computational, philosophical or mathematical logic, have a long series of barriers to overcome. Talking about these barriers and sharing ways of surviving them seemed a worthwhile project that wasn't too hard to get started on and that struck a chord with many women we talked to. Some might have the mistaken belief that by now women are allowed to work on the fields of Logic as well as any man. However, after working on the field for a few years most of us women realize that the obstacles for women are much bigger than the ones for men. These barriers are of course compounded by other characterizations, e.g. women of colour have a harder time, gender non-conformant people and LBQT colleagues, the same. We want our workshop to be inclusive and welcoming to all who face these kind of barriers. Thus the same way that all lives matter, but we need the slogan `black lives matter' to try to protect some, `all logicians matter', but we are concerned foremost with women logicians and ways of improving their numbers and their lives.

The workshop has concentrated its attention so far on logic in Computer Science, and it covers similar subjects to the ones covered by LiCS. In particular our Invited Speakers this year, Prof. Perdita Stevens, LFCS, University of Edinburgh, UK and Prof. Brigitte Pientka, School of Computer Science, McGill University, Canada will discuss, respectively, Software Engineering and Type-theoretical Frameworks for Automated Deduction, two of the main application areas of Logic in Computer Science. We had 18 submissions, which seems a large number, as the workshop competes with LiCS in the scope of submissions, similarly to what happens to Women in Machine Learning and Women in Programming Language Theory. Each submission was lightly reviewed by at least 2 program committee members. The committee decided to accept 14 papers. The program also includes abstracts of the two invited talks.

We are very grateful to SIGLOG (the Special Interest Group in Logic of the ACM) and the Vienna Center for Logic and Algorithms, for their support. Additional support for a networking event has been provided by the UK Engineering and Physical Sciences Research Council, through a Fellowship held by Professor Ursula Martin.