Monday, June 17, 2019

By-Laws for Women in Logic: what and why

This is a preliminary proposal for discussion, suggested by Brigitte Pientka, Amy Felty, Alexandra Silva, and Valeria de Paiva. The proposal consists of bylaws and an initial description of how to organize Women in Logic.
The bylaws are inspired by PPDP(Principles and Practice of Declarative Programming
which is a SIGPLAN affiliated event.
The goals of the Workshop are inspired by the ones from Women in Machine Learning,
 simplifying a little their existing mission statement.

The next steps would be:
- Feedback and Discussion
- Invite everyone to the SC
- Discuss possible PC / GC chairs for WiL in 2020
- Discuss a possible location for WiL 2020
- Discuss possible format (if necessary)

Women in Logic (WIL)

WiL aims to provide a forum that brings together women working on logical foundations of computer science.
Our goal is to enhance the experience of women in logic and closely related areas, making achievements of women
in logic known to the community, and thereby increasing the number of women in logic. 
Our flagship event is the annual WiL Workshop.

WiL Symposium Bylaws

    WiL is an annual workshop.
    WiL is scheduled by a Steering Committee (SC) whose composition and function are specified in the next section.
    Each symposium has a Program Committee (PC) that is responsible for the scientific content of the program.
    Each symposium has a PC Chair that is responsible for the PC composition and cannot submit any paper.
    Each symposium has a General Chair that is responsible for the local organization, finances, publicity, and liaison 
with sponsors.
    WiL requests annually for in-cooperation status with the ACM SIGLOG.
    Modifications of these bylaws are submitted to the SC Chair and require the approval of the SC.

WiL Steering Committee (SC)

    The purpose of the SC is to ensure the long-term success of the WiL.
    The SC selects the location, date, PC and General Chairs of each symposium.
    PC and General Chair are just a useful fiction for co-chairs, who divide the work the best way they can.
    The SC consists of the PC and General Chairs of the last 3 symposia and one member of the SIGLOG 
executive committee.
    The SIGLOG representative is appointed by the chair of SIGLOG, subject to approval by the chair of the WiL 
steering committee, and ensures coordination between SIGLOG and other SIGLOG affiliated events; 
once every three years when the SIGLOG executive committee changes, the SIGLOG representative changes.
    The SC elects its own chair shortly after the end of each workshop.
    The decisions of the SC require at least 50% of the votes and a simple majority.

Initial Composition:

- Valeria de Paiva (Past WiL Chair)    (appointed until 2022)
- Amy Felty (Past WiL Chair)           (appointed until 2022)
- Alexandra Silva (SIGLOG Rep. and LMW liaison) (appointed until 2022)
- Catuscia Palamidessi                  (appointed until 2020)
- Claudia Nalon                         (appointed until 2020)
- Perdita Stevens                       (appointed until 2021)
- Brigitte Pientka                      (appointed until 2021)

Saturday, May 4, 2019

Round Table Women in Logic (in Brazil)

Next week is the Encontro Brasileiro de Logic (Brazilian Logic Meeting) in Joao Pessoa, Paraiba, Brazil ( and a group of us (Gisele Secco, Elaine Pimental, Claudia Nalon and I) proposed a round table to discuss "Women in Logic (in Brazil)". I don't know if I will be able (via Skype) to talk at the roundtable or not, but this seems a good reason to collect some links here.

First the ones on Women in Logic, the workshop, now in its third edition in 2019.

How did it come to be?

Well, in 2013, Orna Kupferman was the program chair for LiCS, Logic in Computer Science in New Orleans, USA. Orna  talked at the business meeting about the dire straits of the situation of women in the LiCS community and I felt that only I heard her talking. The guys were drinking beer and not paying much attention (to be honest this is what people do, at most conferences' business meetings) but this was different, as Orna was explaining that not only was LiCS as bad as any other Computer Science conference,  actually it was much worse, as she could show using her numbers below.

I was incensed, but took a while to react. The first post in Women in Logic the Facebook group went up only on July 8, 2015. (So the facebook group  will be completing 4 years soon!)  Then at LiCS 2016 Shankar asked me to say a few words about the history of LiCS. Between lunch and the time of the conversation, I put together some slides, describing the issues as I saw them. The slides are in slideshare and here. In the slides I mentioned that maybe we should have a workshop Women in Logic at FLoC2018.

In fact we've managed to have the first Women in Logic workshop at LiCS 2017 in Iceland. The meeting was really nice! The talks were high quality and understandable. The presenters had put an extra effort to make themselves clear to people with different backgrounds. There was a palpable feeling  of companionship in the room, which I think the picture captures.

So we were set for Women in Logic 2018, in Oxford. This was, for me, a bit more confused, as I was supposed to be in three  workshops at the same time. Not possible, as everyone knows. But not even possible to fake it, in a reasonable way, as I discovered.

We had a very intense discussion of issues in "Priorities for Diversity in Computer Science Logic", that Prof Ursula Martin had the very hard job of organizing. She did it masterly. And then we had an extremely nice supper at Wadham College on Parks Road, Oxford. A picture at the beginning of the meeting below and one before the supper closes this blog post. A report on the meeting was published by SIGLOG, the official version is in the ACM digital library. The preprint version is a Google doc.
Now we are preparing for Women in Logic 2019 in Vancouver. The program for WiL 2019 should be coming up soon. And we have two impressive speakers lined up, Anne Condon (UBC) and  Zena Ariola (Univ. of Oregon).

Thursday, November 8, 2018

Vardi's "How We Lost the Women in Computing"

A bit old by now (May 2018), but  very relevant still.

Moshe Vardi is a  Professor of Computer Science at Rice University, United States, who specializes in Databases. He's also a long time friend. He just penned this for the Communications of the ACM Magazine, of which he was Editor-in-Chief for quite a few years.

Saturday, June 30, 2018

Women in Logic 2018!

This was the picture at the end of Women in Logic 2017 in Reykjavik, Iceland.
Now Women in Logic 2018 is about to start, exactly in a week's time.

The program is in

I have several questions. 

Is the workshop useful? 

Should we carry on organizing it?

If so, how should we do it?

I do not intend to be doing it for ever, so how  do we ensure a healthy "change of the guard"?

Should we always be associated with LiCS? I don't see why, but I do see why always associate it with a bigger conference. Which other bigger conferences does it make sense to pair with?

Other logic communities in Computer Science exist CSL, ETAPS, POPL, ITP,  etc comes to mind.  
What are the advantages and disadvantages? 

I am interested in everyone's response to these questions. Please do let me know your views.

Tuesday, August 8, 2017

The Googlescreed Incident

So, it is all over the social media.
Gizmodo published Google’s Ideological Echo Chamber, a software engineer’s manifesto or a 10-page screed against Google’s diversity initiatives. And everyone is joining in in the "fun".

The Guardian has Google staffer's hostility to affirmative action sparks furious backlash | World news | The Guardian and Segregated Valley: the ugly truth about Google and diversity in tech | Technology | The Guardian.
The Atlantic joined in with  A Googler's Anti-Diversity Screed Reveals Tech's Rotten Core - The Atlantic  and the Washington Post replied with A Google engineer who bemoaned racial diversity has sparked anger in Silicon Valley - The Washington Post.

Yonatan Zunger took the opportunity to pen

So, about this Googler’s manifesto

and tell everyone he has left Google.

The author argues that women are underrepresented in tech not because they face bias and discrimination in the workplace, but because of inherent psychological differences between men and women. “We need to stop assuming that gender gaps imply sexism,” he writes, going on to argue that Google’s educational programs for young women may be misguided. oh well, I have heard this kind of argument so much recently, it's even not funny.

Quick and easy debunking in Neuro Nonsense  and How ‘Neurosexism’ Feeds Stereotypes About Male and Female Brains - Motherboard . But if you have more popular and easy to read debunking articles I'm very interested to hear about it. 

If one wants to do serious reading, maybe follow up in the references mentioned in
a debate between two Harvard professors on the science of "gender science".

Monday, June 26, 2017

Back from Iceland: Women in Logic 2017

The workshop Women in Logic was a big success. Here we are at the end of the day of talks.

Ursula Martin took the picture and one or two might be missing from it, but the workshop really worked well. The talks were all well-presented and the material was very interesting. It helped that (at least) four of the ten presenters were just about finishing their phds, so plenty of new research to be discussing. 

The two invited speakers Catuscia Palamidessi and Claudia Nalon  were great and attracted extra attendance from the other workshops. Thanks for stepping in, girls! 

Also thanks to all speakers, participants and  the ones far away but cheering for us!

Now, we're hoping to do Women in Logic 2018 too. How can we improve on this year's workshop? Let us know of your suggestions!

Friday, June 9, 2017

Women in Logic: The Workshop!

So the first Workshop for Women in Logic is about to happen in Iceland! The program is looking great and we hope to see many of you there!

Preliminary Program:


Catuscia Palamidessi, Director of Research, INRIA  and Leader of the equipe Com├Ęte 
10:00-10:30 Ilina Stoilkovska, A Framework for Automated Verification of Synchronous Fault-Tolerant Distributed Algorithms

10:30-11:00 coffee 

11:00-11:30 Silvia Steila, A combinatorial bound for a restricted form of the Termination Theorem 
11:30-12:00 Yuting (Kino) Zhao, A model theoretic discussion of statistical learning 
12:00-12:30 Rehana Patel, Computability of algebraic and definable closure 
12:30-13:00 Alice  Pavaux. Inductive and Functional Types in Ludics

13:00-14:00 lunch 

14:00-15:00 Claudia Nalon, Professor at University of Brasilia, Brazil

15:00-15:30 Andrea Aler Tubella, Subatomic Proof Systems
15:30-16:00 Madalina Erascu. Computational Logic and Quantifier Elimination Techniques for Optimal Numerical Algorithms

16:00-16:30 coffee 

16:30-17:00 Giselle Reis, Translations from Resolution to Sequent Calculus 
17:00-17:30 Line Line Jakubiec-Jamet, Natural Language Processing and Coq: a case-study 
17:30-18:00 Maria Emilia Descotte,  Axiomatizations for Downward XPath 
18:00-onwards celebration!!!