Monday, June 26, 2017
Friday, June 9, 2017
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
11:00-11:30 Silvia Steila, A combinatorial bound for a restricted form of the Termination Theorem
14:00-15:00 Claudia Nalon, Professor at University of Brasilia, Brazil
15:30-16:00 Madalina Erascu. Computational Logic and Quantifier Elimination Techniques for Optimal Numerical Algorithms
16:30-17:00 Giselle Reis, Translations from Resolution to Sequent Calculus
Monday, March 20, 2017
The 2017 ASL Annual Meeting is starting today at Boise State University. Let's see how they're doing on gender representation. (The number in parentheses after each summary is the percentage of women in the group.)
- Who selected the invited speakers?
Program committee: 2 men, 3 women (60%)
Impressive! I don't have any information on hand about this right now. Is this the first time a Program Committee for an Annual Meeting has been more than 50% female?
- Who are the invited speakers?
Gödel lecturer: 1 man (0%)
Plenary speakers: 5 men, 2 women (28.6%)
Tutorial: 1 woman (100%)
This is towards the high end of recent proportions: the plenary speaker percentage is higher than it has been all but twice since 1989. The tutorial percentage is also noteworthy, though the small sample size there renders this less impressive.
- What about the Special Sessions? For each one, I'll give the breakdown of the organizers by gender followed by the breakdown of the speakers by gender.
Computable Structures: 2 male organizers (0%); 5 men, 1 woman (16.7%)
Computer-Aided Proofs: 2 male organizers (0%); 4 men, 0 women (0%)
Continuous Model Theory: 2 male organizers (0%); 6 men, 0 women (0%)
Proofs in Mathematical Practice: 1 male and 1 female organizer (50%); 3 men, 3 women (50%)
Set Theory and its Applications to Analysis and Topology: 2 male organizers (0%); 4 men, 2 women (33.3%)
Only one of the ten Special Session organizers is female, and only 22.2% of the speakers in Special Sessions are female. But the biggest question for me is this: why do we have two all-male sessions in 2017?
- Who is giving contributed talks?
Contributed talks: 9 men, 1 woman (10%)
This is actually a tricky one since one man is giving two talks. It seemed fair to count him twice because we're considering how many talks are given by men and how many by women, not how many distinct speakers there are.
Sunday, March 19, 2017
Logic benefits when it draws from the largest and most diverse possible pool of available talent. We at the ASL would therefore like to add our voice to the growing list of initiatives launched by organizations in the various science, technology, engineering and mathematics fields aimed at correcting the gender imbalance in those fields.
Female students and young researchers may be concerned about entering logic, where few senior women occupy visible roles. The atmosphere in classes and seminars can feel unwelcoming, and many young women have practical questions about managing a career and personal interests.
The ASL therefore states in the strongest possible terms that it welcomes the participation of women in logic and in particular in the activities of the Association. Accordingly, the ASL Council has adopted a statement urging those responsible for appointments and conference programs to pay attention to gender balance.
It's Women's History Month, and it seems appropriate to ask whether the proportion of women who are invited to speak at ASL meetings has noticeably changed since this statement was issued.
To figure this out, I'm comparing the proportions of female invited speakers in each of the four main conference series in the few years since this statement was issued to the proportions of female invited speakers in the corresponding time span before it.
|Annual Meetings||Logic Colloquium|
As you can see, I considered different sets of years for my pre- and post-statement counts depending on the conference series. I made these decisions based on whether the speakers for the 2013 meetings would have been invited by the time the statement was issued. The speakers for the 2013 Logic Colloquium and Annual Meeting would have been invited after the 2012 Annual Meeting, so I compared the 2009-2012 and 2013-2016 intervals for these, and the speakers for the 2013 AMS/ASL and APA/ASL meetings might already have been invited by the time of the 2012 Annual Meeting, so I considered the 2010-2012 and 2014-2016 intervals for each of those. In each of the latter two cases, it was easy to sidestep the question of what to do about 2013 itself: the tallies for the AMS/ASL meetings are identical for 2010-2012 and 2011-2013, and there were no invited talks at the 2013 APA/ASL meeting.
I used a chi-square test to determine whether the proportion of female speakers in the few years before the ASL statement was adopted is statistically distinguishable from the proportion of female speakers since then.
When I carried out this analysis, I found that the p-value for the Annual Meetings was 0.7422 and the p-value for the Logic Colloquium was 0.7697. This gives us no statistical evidence suggesting that the ASL's statement has made any difference.
However, there aren't enough female plenary speakers in these time spans to carry out this analysis for the AMS/ASL and APA/ASL meetings. A reliable chi-square analysis can't be done unless there are at least 5 people in each category. Only 4 women gave plenary talks at the AMS/ASL meetings during 2010-2012, while only 1 woman gave an invited talk at the APA/ASL meeting during 2010-2012 and only 3 did during 2014-2016. While these numbers are very low, we should also recall that the time intervals for these series are one year shorter than the intervals for the others. However, the (relatively unreliable) p-values for the AMS/ASL and APA/ASL meetings are 0.6509 and 0.6, respectively, which suggests that adding one year to the pre- and post-statement intervals is unlikely to result in any meaningful statistical difference.
Summary: In the conference series in which enough women have given talks in these time intervals, there is no statistically significant difference in the rates at which women have spoken in the years immediately before and the years after the ASL statement was adopted, suggesting that the statement has not had an effect on speaker selection. However, this analysis is only possible in two of the four series.
Thursday, February 9, 2017
This is a reminder that from June 4-10, 2017, there will be a workshop
on Homotopy Type Theory, organized as part of the AMS Mathematics
Research Communities program and held in the Snowbird Resort in Utah.
The goal of the workshop is to bring together advanced graduate
students and postdocs having some background in one (or more) areas
such as algebraic topology, category theory, mathematical logic, or
computer science, with the goal of learning how these areas come
together in homotopy type theory, and working together to prove new
results. Basic knowledge of just one of these areas will be sufficient
to be a successful participant. The organizers are particularly
interested in using this workshop as an opportunity to improve the
diversity in the HoTT community in all aspects.
For more information about the workshop, including the list of sample
topics that participants may be working on and the registration
information, please see the website:
All accepted into the program will receive financial support (room and
board at the Snowbird Resort and up to $650 towards airfare). The
application deadline is *March 1st, 2017.*
The majority of the positions are allocated to U.S. citizens and
people who are affiliated with U.S. institutions, but a smaller number
are also open to international participants.
If you have any questions, please feel free to contact any of the organizers.
Dan Christensen, Chris Kapulkin, Dan Licata, Emily Riehl, Mike Shulman
Monday, January 16, 2017
So now, please check out and let me know of any issues with the website https://sites.google.com/site/firstwomeninlogicworkshop/home
Also please submit your paper, if you're a woman (or has a female co-author) and the paper is logic-related.
and please talk to your friends interested in Logic and in gender issues about it!
(I was an unbeliever on these kinds of meetings, but seeing the responses that Women in Machine Learning, Women in Computability, Women in Topology, Women in Number Theory, etc, got, it has to be worth trying our own version.)
Thursday, December 1, 2016
OK, I am sure there are many more logic-related mailing lists than those, but here are the ones I know about, right now.
- ProofTheory Mailing List
- Categories Mailing List
" <firstname.lastname@example.org >
h-aachen.de" <email@example.com h-aachen.de>
- firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>
- "firstname.lastname@example.org" <email@example.com>