tag:blogger.com,1999:blog-49893613309222767302024-03-13T01:45:40.189-07:00Women in LogicValeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.comBlogger42125tag:blogger.com,1999:blog-4989361330922276730.post-34360353795882356902022-10-10T21:16:00.000-07:002022-10-10T21:16:41.283-07:00Women in Logic 2022<p><br /></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjZSxUL_q1o-w9-PDnBWPWRmsMHvR8dTrZgd_erBzw-RVR5DV48yhTG_ltNpGgntxpgA6Waf92dJ-kSzWqkO-qip5kStmxDikDRVytPLpiLwD2cckFJxjfsaP03ao3omR5CUCCte_yTaoAwfU9jlXxuyaSxPg1NFYToWlsHp494EXkae3LPLhDGQPXsow/s1600/WiL2022LecRoom.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1200" data-original-width="1600" height="300" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjZSxUL_q1o-w9-PDnBWPWRmsMHvR8dTrZgd_erBzw-RVR5DV48yhTG_ltNpGgntxpgA6Waf92dJ-kSzWqkO-qip5kStmxDikDRVytPLpiLwD2cckFJxjfsaP03ao3omR5CUCCte_yTaoAwfU9jlXxuyaSxPg1NFYToWlsHp494EXkae3LPLhDGQPXsow/w400-h300/WiL2022LecRoom.jpeg" width="400" /> </a></div><div class="separator" style="clear: both; text-align: center;"> </div><div class="separator" style="clear: both; text-align: center;"><div style="text-align: left;">Our workshop <a href="https://sites.google.com/g.uporto.pt/wil2022/home" target="_blank">Women in Logic (WiL) 2022</a> at FLoC (Federated Logic Conference) in Haifa, Israel was a big success. This was the first time ever that I was not present at Women in Logic, and I confess that it felt very strange (and sad) not to be there. </div><div style="text-align: left;"> </div><div style="text-align: left;">This was the 6th year of the workshop and I had promised myself that I was going to do three workshops and hopefully by then the workshop would be established, and I could withdraw gracefully. I was not counting on the COVID pandemic, when I made these optimistic plans. And in any case, three years is not nearly enough to really establish something like a workshop that you only want to stop doing when there is gender equality in our community.<br /></div><div style="text-align: left;"> </div><div style="text-align: left;">But sure enough, the workshop is very much established by now. I am extremely grateful to all, for the collective effort that it has taken. The organizers this year (<a href="https://www.dcc.fc.up.pt/~sandra/Home/Home.html">Sandra Alves</a>, <a href="https://www.mpi-sws.org/people/skiefer/">Sandra Kiefer</a> and <a href="https://vtss.doc.ic.ac.uk/people/nantes.html">Daniele Nantes</a>) and the previous years' organizers have been wonderful, and I'm sure will continue to do a fantastic work. Our community is growing--slowly, but surely. Our Steering Committee has been consolidated, following the "by laws" decided earlier on. This year in March we launched the <a href="https://www.womeninlogic.org/">Women in Logic website.</a> We keep inventing new ways of fighting gender discrimination and also new ways of having some fun, while doing it.</div><div style="text-align: left;"><br /></div><div style="text-align: left;">In July, the WiL workshop at FLoC had the biggest number of registered participants in all FSCD workshops. As usual we had two invited speakers: <a href="https://www.cs.bgu.ac.il/~dana/" id="docs-internal-guid-481fb50a-7fff-19ea-7461-be4dd8ca5e2a" style="text-decoration: none;"><span style="background-color: transparent; color: #1155cc; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 700; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Dana Fisman</span></a><span style="background-color: transparent; color: #212121; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 700; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span><span style="background-color: transparent; color: #212121; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">(Ben-Gurion University of the Negev) </span></div><div style="text-align: left;"><span style="background-color: transparent; color: #212121; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">and </span><a href="https://www.irif.fr/~kesner/" id="docs-internal-guid-6376a75a-7fff-aab6-3d19-42dd6185be9f" style="text-decoration: none;"><span style="background-color: transparent; color: #1155cc; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 700; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Delia Kesner</span></a><span style="background-color: transparent; color: #212121; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 700; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span><span style="background-color: transparent; color: #212121; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">(Universite Paris Cite and Institut Universitaire de France). </span></div><div style="text-align: left;"><span style="background-color: transparent; color: #212121; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">We also had nine contributed talks (you can find titles and abstracts in the <a href="https://sites.google.com/g.uporto.pt/wil2022/program?authuser=0" target="_blank">program</a>). </span> </div><div style="text-align: left;">And all presenters were live in Haifa, as <a href="https://www.site.uottawa.ca/~afelty/">Amy Felty</a> remarked.</div><div class="separator" style="clear: both; text-align: center;"><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg_jDBLWgR3vl3ITgJt9NQLniPlJXg5nR7QOrFRut9xSU35JX8RQmiUKtYF110Ex3EhU3HEfD_2DJeg9mJZu5qrpuZX2GdZrkgdTd1ac7hQgLXFkvv7UZBOvExbYeqkG7TQVh18bskFBcr8v7jdyAmWvyTzROCSmlGzbwqGi4BLkCrQw4MKon6Q7YXfaQ/s1600/Wil2022Dinner.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1200" data-original-width="1600" height="340" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg_jDBLWgR3vl3ITgJt9NQLniPlJXg5nR7QOrFRut9xSU35JX8RQmiUKtYF110Ex3EhU3HEfD_2DJeg9mJZu5qrpuZX2GdZrkgdTd1ac7hQgLXFkvv7UZBOvExbYeqkG7TQVh18bskFBcr8v7jdyAmWvyTzROCSmlGzbwqGi4BLkCrQw4MKon6Q7YXfaQ/w400-h340/Wil2022Dinner.jpeg" width="400" /></a></div><div style="text-align: left;"> We also had a special dinner, actually the dinner was for all women at FLoC, not only the ones at WiL, where the photo above was taken. <span id="docs-internal-guid-3c5c4370-7fff-4cf6-f789-140f49674df6" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">WiL was asked to organize </span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">The first Women@FLoC</span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">dinner, </span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">supported by both Microsoft</span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> and FLoC. We want to thank very much </span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> <a href="https://www.microsoft.com/en-us/research/people/nbjorner/" target="_blank">Nikolaj Bjorner</a> from Microsoft Research,</span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> who helped to set this support for us!</span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span id="docs-internal-guid-b4d34e2c-7fff-2003-a1e4-1363119b4946" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">The dinner was opened by </span><a href="https://alexandrasilva.org/#/main.html"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Alexandra Silva</span></a><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> (FLoC general chair), followed by a short Q&A </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">with three women representatives of different areas of FLoC: <a href="https://scholar.google.com/citations?user=RuIHttoAAAAJ&hl=en"> </a></span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"><a href="https://scholar.google.com/citations?user=RuIHttoAAAAJ&hl=en">Ilina Stoilkovska</a> </span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">(researcher, PrimeVideo), </span><a href="https://www.react.uni-saarland.de/people/coenen.html"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Norine Coenen</span></a><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> (Ph.D. student, CISPA </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Helmholtz Center for Information Security), and </span><a href="https://www.ccs.neu.edu/home/amal/"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: italic; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Amal Ahmed</span></a><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">(Professor, </span><span style="background-color: white; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Northeastern University</span><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">). </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">We thank all of them for helping us make clear that theoretical computer science </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">also needs </span> gender equality and parity. The science is uncontroversial: diversity </div><div style="text-align: left;">and inclusion make science, academia and industry better, measurably so.<span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Sandra Kiefer, a joint organizer of the last three Women in Logic workshops,</span><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">was invited to give a talk about "Women in Logic" in the Diversity & Inclusion session </span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">at the 19th International Conference on Principles of Knowledge Representation and</span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> Reasoning (KR2022). More details about the WiL meeting will appear soon in the report </span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">produced by the organizers, Sandra Alves, Sandra Kiefer and Daniele Nantes.</span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;">Join me in thanking them for the hard work they put into making our workshop a reality! </span></div><div style="text-align: left;"><span id="docs-internal-guid-722d4da4-7fff-1c16-f16e-94585af5199c" style="background-color: transparent; color: black; font-family: Arial; font-size: 11pt; font-style: normal; font-variant: normal; font-weight: 400; text-decoration: none; vertical-align: baseline; white-space: pre-wrap; white-space: pre;"> </span></div></div></div> And yes, stay tuned for the Women in Logic 2023! <br /><p></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com1tag:blogger.com,1999:blog-4989361330922276730.post-82668303959805239322022-03-20T13:14:00.004-07:002022-03-20T13:25:10.868-07:00Carol Blasio Day: Diversity in Logic<p><span style="font-size: 12px;"><br /></span></p><p></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEhWUgG9A6NVHauYmZC0dWVVZP7i1AJaPZj5J8_DU2a9zna61XRblBJbjcML2bCotqfTICPsOO-h7BAwVmyQ42eNDV4mJjzKAafKsf7uR5_5FUqfPL4xPG17kkDj4PRYXKHrNzdzCASt2gzV68G5K0qqcUx-KxgkP4XfA6cvhPxDyS4Sls_fC6pvy61NHQ=s1380" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="800" data-original-width="1380" height="233" src="https://blogger.googleusercontent.com/img/a/AVvXsEhWUgG9A6NVHauYmZC0dWVVZP7i1AJaPZj5J8_DU2a9zna61XRblBJbjcML2bCotqfTICPsOO-h7BAwVmyQ42eNDV4mJjzKAafKsf7uR5_5FUqfPL4xPG17kkDj4PRYXKHrNzdzCASt2gzV68G5K0qqcUx-KxgkP4XfA6cvhPxDyS4Sls_fC6pvy61NHQ=w400-h233" width="400" /></a></div><br /><span style="font-size: 12px;"><br /></span><p></p><p><span style="font-size: 12px;">Celebrating life and publicizing the legacy of women who, no longer transiting among us, remain vivid as inspirations in our memories and actions is a way of resisting the discouragements of these times – which we can barely describe without disturbing our hopes.</span></p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">On the 20th of March, by the ruler of the Gregorian calendar, <a href="https://logicasbrasileiras.wordpress.com/carolina-blasio-bio/">Carolina Blasio</a> –<span class="s1" style="color: #333333; font-family: "Times New Roman"; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal;"> a young and talented feminist Brazilian philosopher and logician – </span>would be commencing another life cycle. Astronomically, the date is also when the equinoxes occur, the days in which day and night, in symmetry, last practically the same time. In the South of the globe, the date marks the arrival of autumn light, in the North one celebrates the colors of spring.</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">To make Carolina Blasio’s trajectory known and to preserve her legacy for philosophy, for logic – but above all for people who dedicate their lives to these fields of knowledge and knew her – <a href="http://womeninlogic.blogspot.com/2022/03/brazilian-women-logicians.html">we</a> chose March 20th as a symbol of her life, vivacity, and of the rarity of the philosopher, logician, teacher, friend, tutor, and mother – the woman who Carolina was. Although the event was imagined in 2020, only now have we been able to <a href="https://www.youtube.com/watch?v=jmdvqBMur-E&list=PLg9kJiXBR876WZ09TT-OQF4EKmos2sPwl">announce it and to invite friends, colleagues, and students</a> whose memories attest to Carolina's importance as an example of integrity, brilliance, and generosity inside and outside the academic environment – to send short texts and videos associated with Carolina's intellectual interests and personality traits. This is the Carol Blasio Day for Diversity in Logic!</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">To the extent of our strengths and agendas, for this first edition, we also encourage among friends the holding of small events associated with the celebration. With these humble gestures, we are just beginning the propagation, beyond the circles frequented by Carol, of her multiple efforts in favor of more equity, diversity, and inclusion in Academia. Those efforts will not be forgotten, as they are already being transmuted into energy of action for more diversity in teaching, studying, and popularization practices of Logic in our country.</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">All tributes – reports, letters, notes, and other forms of written record sent to us (<i>mainly</i> in Portuguese) are available on our <a href="https://logicasbrasileiras.wordpress.com/blog/">LBBlog</a>.<span class="Apple-converted-space"> </span></p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">The video tributes are available on the<span class="Apple-converted-space"> </span>Brazilian Logic Society (<a href="https://www.youtube.com/channel/UCglBjq5SzixAB-xxGxjMa7Q">SBL</a>) YouTube channel.</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">In celebration of those who are gone (el Día de los Muertos), the <a href="https://twitter.com/MxLogica/status/1456217191167275010">Lógica MX collective</a> posted a very informative thread on Carol's legacy (in English) on their Twitter account.</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">Finally, we list below some events and publications associated with the celebration of Carolina Blasio’s life and work.</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b>Special Session of the UFBA Logic Seminar</b></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b>Title:</b> Dialectics and the Kolmogorov-Veloso Problems</p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b>Speaker:</b> Valeria de Paiva (Topos Institute)</p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b>Day/time:</b> Monday, March 21, 7:00 pm (Brasilia time)</p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b>Link</b>: contact us logicasbrasileiras at gmail.com. (The talk will be held in Portuguese)</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b>Carol’s paper</b>: <a href="https://drive.google.com/file/d/1L4s-6vT4WUu097ZvGhgLeUD4TwUAIbXL/view">Revisiting the Dunn-Belnap logic</a>, translated into English by Evelyn Erickson and revised by João Marcos.</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><b><a href="https://link.springer.com/journal/11229/volumes-and-issues/198-22/supplement">A special volume of <i>Synthese</i></a></b> was dedicated to the memory of Carolina Blasio, <i>Varieties of Entailment</i>. We recall below the two first paragraphs of the introduction to this volume, written by Wansing and Ruffino (who was also Carol’s Ph.D.)</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p3" style="color: #333333; font-family: "Times New Roman"; font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><i>This special issue of Synthese is dedicated to the memory of Carolina Blasio da Silva, a young and talented Brazilian logician, who sadly left this world too early, only one day after successfully defending her Ph.D. thesis on non-classical forms of entailment at the University of Campinas, Brazil, on August 25, 2017. Carolina originally studied Psychology and Philosophy at the Federal University of Juiz de Fora, Brazil, and did her MSc on Heidegger and the question of time. She did part of her undergraduate studies in Passau, and spent time as a visiting researcher, during her graduation period, at Tel-Aviv University, King’s College London, Vienna University of Technology, the University of Lisbon, and Ruhr University Bochum. She was the administrator of the Brazilian discussion group on Logic, an active member of the Brazilian LaTeX community, and a feminist campaigner.</i></p><p class="p4" style="color: #333333; font-family: "Times New Roman"; font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 15px;"><i></i><br /></p><p class="p5" style="font-family: "Times New Roman"; font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><i>Before her untimely death, Carolina was working intensively on a many-dimensional notion of logical consequence and generalized logical values related to that conception. She did so not just in her dissertation, but also in several papers (some of them already published and some about to be submitted). For those who had the fortune to know her, it was at the same time lovely and inspiring to see Carolina being both an active young researcher and a caring mother in the many international conferences on logic and philosophy to which she brought her baby daughter. Carolina’s enthusiasm and intellectual love for her work were contagious, as was her sympathy, personal charisma, and generosity, and we are grateful for her legacy both as a philosopher and as a human being. She is survived by her logician husband, João Marcos, and their daughter, Maia.</i></p><p class="p6" style="font-family: "Times New Roman"; font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 15px;"><i></i><br /></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;">Hopefully, Carol’s presence will thrive in our increasingly diverse academic practices in logic and philosophy. Happy new equinox!</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;">(Guest post by Gisele Secco)</p><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEgfEgAnkrVEEkublkZvLgpK4qBSDTFthou_tzlHqGTql2CJ6XDa5pQhlzcz5dS_7Y97y8k2m4sh6bA2nGSblAxmb-Kf3TBQC6zUNew7yIaqDFygddYofZ1oUROGC547zNGylS4gXKZHCjn39dJVuOZ3yw18s8l_Km6oZKHeopkbbtg-qUETDlfGedP34g=s1080" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1080" data-original-width="1080" height="400" src="https://blogger.googleusercontent.com/img/a/AVvXsEgfEgAnkrVEEkublkZvLgpK4qBSDTFthou_tzlHqGTql2CJ6XDa5pQhlzcz5dS_7Y97y8k2m4sh6bA2nGSblAxmb-Kf3TBQC6zUNew7yIaqDFygddYofZ1oUROGC547zNGylS4gXKZHCjn39dJVuOZ3yw18s8l_Km6oZKHeopkbbtg-qUETDlfGedP34g=w400-h400" width="400" /></a></div><br /><p class="p2" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px; min-height: 14px;"><br /></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-82678443725235667592022-03-20T12:12:00.008-07:002022-03-20T12:44:24.903-07:00Lógicas Brasileiras/Brazilian Women Logicians<div class="separator" style="clear: both;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEjafa9FWftm6Cu3_Dn5VNgjDgstt7AWmKV_zTQU5tuorOt8QEfDJmiEAmbAhtI8HQEDOJRFcJFSDawwAllGmZ5F8DRnV-gnDMF5FVoteYGPjci84UZk9lvBPVJcMVRsL8m-v6uHIEiODzXMp7N02GuxG-cGztMWicc8BgcjMsqnBFeVtzPJTUwyQDflAA=s1080" style="display: block; padding: 1em 0px; text-align: center;"><img alt="" border="0" data-original-height="1080" data-original-width="1080" src="https://blogger.googleusercontent.com/img/a/AVvXsEjafa9FWftm6Cu3_Dn5VNgjDgstt7AWmKV_zTQU5tuorOt8QEfDJmiEAmbAhtI8HQEDOJRFcJFSDawwAllGmZ5F8DRnV-gnDMF5FVoteYGPjci84UZk9lvBPVJcMVRsL8m-v6uHIEiODzXMp7N02GuxG-cGztMWicc8BgcjMsqnBFeVtzPJTUwyQDflAA=s400" width="400" /></a><span id="docs-internal-guid-1ec91b00-7fff-ffb8-1c30-b4a691f02895"><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">Logic and Philosophy are, still, two male-dominated fields. Nothing new under the sun. </span></p><br /><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">What is relatively new is the fact that over the last years, all over the world, women and the so-called minorities have been gathering, raising their voices at events, and publishing their complaints about gender disparity (and other ways in which diversity is lacking) in academic environments. We have been paying more and more attention to the nuanced ways through which misogyny, racism, and other discriminatory tendencies affect women in many contexts: research, transmission, and communication of logical knowledge. We have been registering data, elaborating claims and suggestions for transforming the logical landscape in all its disciplinary interfaces (with Computing, Philosophy, Mathematics, etc..), making its practice more attractive and welcoming for people who "normally" do not adapt to the often-harmful atmospheres in which logic is practiced. Everyone acquainted with the Women in Logic project can understand that we are just getting started.</span></p><br /><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">In Brazil, where Logic is a subfield of Philosophy (at least from the point of view of the institutional taxonomy through which research is funded by public institutions), things do not differ much from what one could call “the average situation” with respect to disparities of gender, ethnicity, class, etc.. in logic as a field in rest of the world. In 2019, in </span><a href="http://womeninlogic.blogspot.com/2019/08/round-table-women-in-logic-at-ebl.html" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">a roundtable during 19</span><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;"><span style="font-size: 0.6em; vertical-align: super;">th</span></span><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;"> the Brazilian Logic Meeting</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">, the “women problem” was officially assumed by the Brazilian Logic Society – nowadays presided by a woman. In tune with initiatives such as the WiL project (but also </span><a href="https://sites.google.com/view/logicsupergroup/inclusive-logic?authuser=0" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">the Inclusive Logic</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;"> Day, the </span><a href="http://wimlworkshop.org/" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">Women in Machine Learning</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">, the </span><a href="https://historyofwomenphilosophers.org/project/german-speaking-women-in-logic/" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">German-Speaking Women Logicians</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">, among others), and taking into consideration the </span><a href="http://womeninlogic.blogspot.com/2020/06/this-is-invited-post-by-nastassja.html" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">specifics of our context</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">, in 2020 we launched the website </span><a href="https://logicasbrasileiras.wordpress.com/" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">Lógicas Brasileiras</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;"> (Brazilian Women Logicians). </span></p><br /><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">Our central aim is to give visibility to the work of all Brazilian women involved with logic as researchers, professors, teachers and/or disseminators to broader audiences. We believe that this kind of initiative is crucial for encouraging more young people, especially women, to invest in their potential. It is essential to show them that they do not need to feel alone, that there is a community for all of us. </span></p><br /><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">Up to now, we have been interviewing women that do/teach/disseminate logic, gathering materials for historical research (such as </span><a href="https://www.tandfonline.com/eprint/THPVSBC8DU669FZFT7GV/full?target=10.1080/09608788.2021.2006139" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">this one</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">) and participating in one or another event (</span><a href="https://logicamx.wixsite.com/logicamx/friendship-and-collaborative-work" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">like this</span></a><span style="color: black; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: none; vertical-align: baseline; white-space: pre-wrap;">).</span></p><br /></span><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;">Today March 20th</span><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;"><span style="font-size: 0.6em; vertical-align: super;"> </span></span><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;">we are celebrating Carol Blasio Day for Diversity in Logic, </span></p><p dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt;"><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;">about which you can read more in the Logicas Brasileiras post <a href="https://logicasbrasileiras.wordpress.com/dia-carol-blasio/" target="_blank">here</a>.</span></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><span id="docs-internal-guid-d8f72c40-7fff-0e0c-0806-ea6952cd28f0"><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;">Our communication is held mainly in Portuguese, but you can find some of our things in English </span><a href="https://twitter.com/logicasbrasile1/status/1505612843562913792" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">here</span></a><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;"> and </span><a href="https://logicamx.wixsite.com/logicamx/friendship-and-collaborative-work" style="text-decoration-line: none;"><span style="color: #0563c1; font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; text-decoration-line: underline; text-decoration-skip-ink: none; vertical-align: baseline; white-space: pre-wrap;">here</span></a><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;">.</span></span></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><span><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;"><br /></span></span></p><p class="p1" style="font-size: 12px; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: normal; margin: 0px;"><span><span style="font-family: Calibri, sans-serif; font-size: 12pt; font-variant-east-asian: normal; font-variant-numeric: normal; vertical-align: baseline; white-space: pre-wrap;">(Guest post by Gisele Secco)</span></span></p></div>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-76952927734632811202022-01-16T13:32:00.003-08:002022-01-16T13:53:55.668-08:004th Congress, Bucharest 1971<p><a href="http://logic-forall.blogspot.com/2022/01/4th-international-congress-bucharest.html"> Reposted from 4th International Congress, Bucharest 1971 </a></p><h3 class="post-title entry-title" itemprop="name"> <br /></h3><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEitOpb0bcBTAOhZGQwPHezBwP-XbnoUNEaszcafkHJcZsKNMqMvoKuoVg0YCGUNAQbk79Y8FccX8MQeIPFJaiGAAPheqpDLjVIxpVFiIFd7kMocARSwwJ9TYl_g2IuxqyULPmO4_TmTD1tythXZgSHtfZgGGGmITTf-Uoh_MBqLuvP_R-1IhoS97VuZjw=s821" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="313" data-original-width="821" height="153" src="https://blogger.googleusercontent.com/img/a/AVvXsEitOpb0bcBTAOhZGQwPHezBwP-XbnoUNEaszcafkHJcZsKNMqMvoKuoVg0YCGUNAQbk79Y8FccX8MQeIPFJaiGAAPheqpDLjVIxpVFiIFd7kMocARSwwJ9TYl_g2IuxqyULPmO4_TmTD1tythXZgSHtfZgGGGmITTf-Uoh_MBqLuvP_R-1IhoS97VuZjw=w400-h153" width="400" /></a></div><br /><p>I have never been to Romania. I was even unsure whether the country
was called Romania, Roumania or Rumania. (I have now learned that since
1975 it is Romania).<br /></p><p>I had only known about Dracula and Transylvania and <a href="https://en.wikipedia.org/wiki/Trial_and_execution_of_Nicolae_and_Elena_Ceau%C8%99escu">Nicolae and Elena Ceaușescu's execution</a>,
as dreadful grainy pictures in old newspapers. So I was in a bit of a
bind to tell a story about this congress, as I have been writing about <a href="http://ogic-forall.blogspot.com/2022/01/1st-international-congress-stanford-1960.html">others</a>. <img class="CSS_LIGHTBOX_SCALED_IMAGE_IMG" height="400" src="https://blogger.googleusercontent.com/img/a/AVvXsEiBmcQ9VE7cRCqDyXPcdbykxEk-xHcutZRk1jz4qO0cZ-0d4HtveI7v0DdSP1Ra8TlOEwOrVnhENnex1T1qQR4oR2G93NEGkEaqqCRCbfkyX3nmPrJqSzZMrFlYzlVvAtQJzsmJyGwSnBdCbuBp_Kg7pQzftSJhyVpRxJ0PG1hOixZ6VrHijacXcSL8=w400-h400" style="height: 600px; width: 600px;" width="400" /></p><p>Of course the hard information about the Congress is <a href="http://dlmps.org/pages/past-congresses/bulletin-1.php#cng71"> available</a>. Most of the program committee consists of very well known logicians: P. Suppes (Chairman), A. Mostowski,
A.A.
Markov, M. Rabin, G. Kreisel, W. Stegmüller, K. J. J. Hintikka,
A.
Grünbaum, M. O. Beckner, A. N. Leontiev, P. Lazarsfeld, S. Marcus, and
M.
Hesse as Section Chairmen. This way I 'discovered' the work of <a href="http://www.collodel.org/hesse/#sthash.qkEPJJhc.HvxrVvYW.dpbs">Mary Hasse</a> and you should too.<br /></p><p>I
also read about the Romanian Organizing Committee: A. Joja, G. Moisil,
C. Popovici (General Secretary) and wondered about how close this
congress was of the taking of power by Ceaușescu. I read most about
Moisil, because I like algebraic logic. But this is not a sensible blog
post material here. </p><p>So I ended up looking up the President of the Executive Committee of the Congress, <a href="https://en.wikipedia.org/wiki/Stephan_K%C3%B6rner">Stephan Körner</a>, The University of Bristol BS8 IRJ, England. I learned that he was the father of <a href="https://en.wikipedia.org/wiki/Stephan_K%C3%B6rner">Tom Korner</a>,
who was one of my professors in the <a href="https://en.wikipedia.org/wiki/Part_III_of_the_Mathematical_Tripos">Cambridge Part III course</a>. Tom was
an extremely nice professor, not only to me, but to generations of Part
III students. His <a href="https://www.dpmms.cam.ac.uk/~twk/">website</a> gives a glimpse of his kind of self-deprecating humour, which I always enjoyed, once I was able to understand it.</p><p></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEg1lpZJLbgD0BP2qtQwoj_au0BOJ4NtAUgERHFWzu9-iQfDgcNIody1f6xspx8ZyeG4SnyDoSl5Q136W6olEWKl001FaYsCf8WQ-3X_xpQqdqdKNay1ylka46Y9erYrOuHD5TZxUgTAKQQQWoOYET1KySoAZxH6WuIz7Kc1tmXJY_yZN1q46D4v9XF58Q=s994" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="994" data-original-width="730" height="320" src="https://blogger.googleusercontent.com/img/a/AVvXsEg1lpZJLbgD0BP2qtQwoj_au0BOJ4NtAUgERHFWzu9-iQfDgcNIody1f6xspx8ZyeG4SnyDoSl5Q136W6olEWKl001FaYsCf8WQ-3X_xpQqdqdKNay1ylka46Y9erYrOuHD5TZxUgTAKQQQWoOYET1KySoAZxH6WuIz7Kc1tmXJY_yZN1q46D4v9XF58Q=s320" width="235" /></a></div><p></p><p>Tom has some <a href="https://www.dpmms.cam.ac.uk/~twk/PartIII.pdf">advice</a>
for people taking Part III in his website. This brought back loads of
memories of my year doing Part III in Cambridge: it definitely was the
hardest course I've done in my life, by a very long stretch. So it's
kind of comforting that <a href="http://www.arvindguptatoys.com/arvindgupta/mathsapology-hardy.pdf">much more accomplished people</a> than me also say so. <br /></p><p>Reading
his advice I was reminded of a story from when I first started in
Cambridge. I could read English well and I could take exams fairly well
(I was accepted in most of the Mathematics departments I applied to do
my Phd), but I had been thinking of going to France, where I knew a
professor doing categorical model theory. Hence my spoken English was
terrible and my understanding of spoken English was even worse. For a
few weeks in the beginning of Part III lectures, the abbreviation (TFAE =
the following are equivalent) was written in the huge blackboards<br />
of the Mill Lane Lecture rooms over and over. Little me assumed that the
letters where the initials of some very famous mathematicians, so I
kept thinking to myself, these guys, who are they? They're everywhere,
even more than Gauss? How come I never heard of them? Eventually the
penny dropped, but I think this shows how hard that first year was. <br /></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEhbw2biFXtn263Eck-VF-PcPQuSPXdcT1Bx2wSkHvzdYqdU8_A4RJeQZpnKDiMsI4E68cTT95xeU2mWchPlwJH4iTiYx6L3NRsrZO_SJZVzPLiZAk5HyZvvs7oJQoZC_e_mK3GSJZVV3RjlrEpAlLzo4U9mmyf09l1NSq9_YqomaOfbYL4kzRv_H26N=s600" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="600" data-original-width="487" height="320" src="https://blogger.googleusercontent.com/img/a/AVvXsEhbw2biFXtn263Eck-VF-PcPQuSPXdcT1Bx2wSkHvzdYqdU8_A4RJeQZpnKDiMsI4E68cTT95xeU2mWchPlwJH4iTiYx6L3NRsrZO_SJZVzPLiZAk5HyZvvs7oJQoZC_e_mK3GSJZVV3RjlrEpAlLzo4U9mmyf09l1NSq9_YqomaOfbYL4kzRv_H26N=s320" width="260" /></a></div><h3 class="post-title entry-title" itemprop="name"> </h3>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-59702108215635208252022-01-16T12:53:00.000-08:002022-01-16T12:53:10.900-08:001st International Congress, Stanford 1960<p> </p><p><a href="http://www.dlmpst.org/pages/activities/icm-2018-satellite.php?lang=EN"></a></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEhUMfe0wUGegE0yC4d1KfgvIRquJcVM9aPkpXUi7RYioxaOfJlWxXBiAD6EjSmlPOOshGfOuIq7o3NhrUqZWMAOuWKZT2G11swQNsBB7U1NmtN9pEtw30hiXHMrgeiC-QmH_Bg52kF62v860jZPLaCDWfbBVYBEGp6-siwQjYstxPqKidRGzbELXwrnFw=s821" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="313" data-original-width="821" height="153" src="https://blogger.googleusercontent.com/img/a/AVvXsEhUMfe0wUGegE0yC4d1KfgvIRquJcVM9aPkpXUi7RYioxaOfJlWxXBiAD6EjSmlPOOshGfOuIq7o3NhrUqZWMAOuWKZT2G11swQNsBB7U1NmtN9pEtw30hiXHMrgeiC-QmH_Bg52kF62v860jZPLaCDWfbBVYBEGp6-siwQjYstxPqKidRGzbELXwrnFw=w400-h153" width="400" /></a></div><br />Benedikt Loewe
has done a great job of finding all the official information about the
DLMPS congresses. And if you're only interested in the hard, concrete
facts you can make your way to the page of <a href="http://dlmps.org/pages/past-congresses.php">Past Congresses</a> and be done. My intention here is to discuss the fluffy side of some of the meetings, just for fun. <br /><p></p><p>The first meeting at all was the<br /></p><h3>1st International Congress of the Division of Logic, Methodology and Philosophy of Science, Stanford University 1960</h3><ul><li>24 August-2 September 1960, Stanford, California.</li><li>
<a href="http://dlmps.org/pages/past-congresses/bulletin-4.php#cng60">Executive and program committees</a>
</li><li>Publication: <i>Logic, Methodology and Philosophy of Science: Proceedings of the 1960 International Congress</i>, edited by Ernest Nagel, Patrick Suppes and Alfred Tarski, Stanford University Press, Stanford CA 1962, 672 pages.</li><li>
<a href="http://dlmps.org/pages/past-congresses/bulletin-4.php#min62">General Assembly minutes</a>
</li><li>
<a href="http://link.springer.com/article/10.1007%2FBF00869315">Communications of the DLMPS/IUHPS</a>
("Bulletin No. -4"): Synthese 14(4):330-340 (1962).</li></ul><p>Now the Dept of Philosophy of Stanford has a <a href="https://philosophy.stanford.edu/about/history-stanfords-philosophy-department">nice history</a> where we can read about the Suppes era, when the first congress happened. They say: </p><p style="margin-left: 40px; text-align: left;">Suppes’ indelible presence in the Department spanned sixty-four years
(42 years on the full-time faculty, after which he remained deeply
engaged as Emeritus Professor until his recent death in 2014). His
foundational work across numerous fields in philosophy and in the
sciences earned him many honors, including membership in the National
Academy of Sciences, the National Medal of Science, and the Lakatos
Award. </p><p style="text-align: left;">First
I thought my fluffy story about this conference would be the "mystery"
in the preface where the editors say: Due to unforeseen circumstances,
Professor Nagel was forced to resign as Chairman of the Organizing
Committee just prior to the opening of the Congress, and Professor
Tarski served in that capacity during its sessions.</p><p style="text-align: left;">This is good, we can conjure up a whole murder mystery on that "forced to resign", right?</p><p style="text-align: left;">But
then looking at some of the papers (the book with only invited papers
has 672 pages!) I discovered something much fluffier. For me at least.
Here it is:</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEhKZikKX_w_6HLEHJi5G3tgFxtEZ_pFN7il7PwcWm0_mIW9Y-vXoXsAFpucLzL_azDFCjConOQCzypGoTk1rvmk1QFflhwepdsrqp00uQ9UKZVdTC5hH5aM7m1DnPUnJIoT2ufGJwVPxgPQCpOFbujAh4f1FtIQW2VqElXyRney9Knsrbvj6uDz0_V6=s4032" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="3024" data-original-width="4032" height="480" src="https://blogger.googleusercontent.com/img/a/AVvXsEhKZikKX_w_6HLEHJi5G3tgFxtEZ_pFN7il7PwcWm0_mIW9Y-vXoXsAFpucLzL_azDFCjConOQCzypGoTk1rvmk1QFflhwepdsrqp00uQ9UKZVdTC5hH5aM7m1DnPUnJIoT2ufGJwVPxgPQCpOFbujAh4f1FtIQW2VqElXyRney9Knsrbvj6uDz0_V6=w640-h480" width="640" /></a></div><p>This
is J. W. Addison talking about the "expanding babel of modern
mathematics and logic". And bringing Hilbert into the picture to explain
that Mathematics is an indivisible whole, a connected organism that as
farther as it's developed, the more we can see the harmony between its
parts. </p><p>This is pink-unicorn kind of fluffy, as far as I'm concerned!</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEj5FlE4SxXzeYyZziPVen7cr8LJ9Hhu8RtN0crig5ll_tLSyUy4Rvlc1_PutW7PElQiIdD5TDPUnfaR89xGTfiZgDAEMXl_jVCkn5LYMHRsjVoaaF70aRLXF2RCAHm8NJQjoEbAwShxNeXoYGkkSfI7YmB-WJrbe5gPr85_mSF-rdn2mRVUULiS5o4-=s1000" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="816" data-original-width="1000" height="261" src="https://blogger.googleusercontent.com/img/a/AVvXsEj5FlE4SxXzeYyZziPVen7cr8LJ9Hhu8RtN0crig5ll_tLSyUy4Rvlc1_PutW7PElQiIdD5TDPUnfaR89xGTfiZgDAEMXl_jVCkn5LYMHRsjVoaaF70aRLXF2RCAHm8NJQjoEbAwShxNeXoYGkkSfI7YmB-WJrbe5gPr85_mSF-rdn2mRVUULiS5o4-=w320-h261" width="320" /></a></div><br /><br /><p style="text-align: left;"><br /><br /></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-85422435379855560502022-01-16T12:45:00.000-08:002022-01-16T12:45:05.650-08:00Congresses of the Division of Logic, methodology and philosophy of science and technology<p> </p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEgkl5SIOF25ccFXXq6CYergUVrdBUnvUMY1lmrjYRjlDxD3jMDuQQ4UdmN4bowditIw09bCatr9hz6upBht_90UdUxYP-Pxe5AK76Pqa7rFgr26_jPJDKTLAYeI5E_jEkHwge8XWOsVNXTseU1orY5Zuax-t1WeLJkzj6HP7ud0idFPOpmOB05DysC4mw=s821" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="313" data-original-width="821" height="153" src="https://blogger.googleusercontent.com/img/a/AVvXsEgkl5SIOF25ccFXXq6CYergUVrdBUnvUMY1lmrjYRjlDxD3jMDuQQ4UdmN4bowditIw09bCatr9hz6upBht_90UdUxYP-Pxe5AK76Pqa7rFgr26_jPJDKTLAYeI5E_jEkHwge8XWOsVNXTseU1orY5Zuax-t1WeLJkzj6HP7ud0idFPOpmOB05DysC4mw=w400-h153" width="400" /></a></div><br /><p><span class="css-901oao css-16my406 r-poiln3 r-bcqeeo r-qvutc0">The series of Congress of Logic Methodology and Philosophy of Science (since 2019 CLMPST; Congresses for Logic, Methodology and Philosophy of Science and Technology) are the quadriennial main event of </span></p><div class="css-1dbjc4n r-xoduu5"><span class="r-18u37iz"><a class="css-4rbku5 css-18t94o4 css-901oao css-16my406 r-1cvl2hr r-1loqt21 r-poiln3 r-bcqeeo r-qvutc0" dir="ltr" href="https://twitter.com/DLMPST_IUHPST" role="link">@DLMPST_IUHPST</a></span></div><span class="css-901oao css-16my406 r-poiln3 r-bcqeeo r-qvutc0"> </span><div class="css-1dbjc4n r-xoduu5"><span class="r-18u37iz"><a class="css-4rbku5 css-18t94o4 css-901oao css-16my406 r-1cvl2hr r-1loqt21 r-poiln3 r-bcqeeo r-qvutc0" dir="ltr" href="https://twitter.com/CLMPS2015" role="link">@CLMPS2015</a></span></div><span class="css-901oao css-16my406 r-poiln3 r-bcqeeo r-qvutc0"> </span><div class="css-1dbjc4n r-xoduu5"><span class="r-18u37iz"><a class="css-4rbku5 css-18t94o4 css-901oao css-16my406 r-1cvl2hr r-1loqt21 r-poiln3 r-bcqeeo r-qvutc0" dir="ltr" href="https://twitter.com/clmpst2019" role="link">@clmpst2019</a></span></div><p><span class="css-901oao css-16my406 r-poiln3 r-bcqeeo r-qvutc0">
The next one will be held in July 2023 in Buenos Aires:
</span><a class="css-4rbku5 css-18t94o4 css-901oao css-16my406 r-1cvl2hr r-1loqt21 r-poiln3 r-bcqeeo r-qvutc0" dir="ltr" href="https://t.co/5H4HyuKitg" rel="noopener noreferrer" role="link" target="_blank"><span aria-hidden="true" class="css-901oao css-16my406 r-poiln3 r-hiw28u r-qvk6io r-bcqeeo r-qvutc0">https://</span>clmpst2023.dc.uba.ar</a>.</p><p>But there were 16 so far. So a small project of the Women in Logic network was created to read about these congresses and describe a little how logic and logicians have been interacting since the first one, in Stanford in 1960. </p><p>I've asked for help writing small blog posts about the congresses, but this was a bit late and so not all the blog posts have been written, yet. But I will copy and reproduce here the ones that have been done.</p><p>Like everything else this blog is a work in progress! <br /></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-67264917605550819402022-01-16T12:06:00.003-08:002022-01-16T12:06:40.580-08:00World Logic Day 2022<p> </p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/a/AVvXsEipu0_lRwAMIR4l3TYHo1zWkN3Fwm86_175MtXII1LHI5sR6QVlLMh48q6aVokteVR4h-_IjS0lOAd85OFaIjXX0hTQfR6QiXaK5TXqbQh7QxRVrbhO9F6xALWKUGLB4rf2TYQzM3qtPUvnGujpncqayzh2EdMU5Y_LM4O53gkBs3W3pns_i70GnrI31Q=s2794" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1412" data-original-width="2794" height="324" src="https://blogger.googleusercontent.com/img/a/AVvXsEipu0_lRwAMIR4l3TYHo1zWkN3Fwm86_175MtXII1LHI5sR6QVlLMh48q6aVokteVR4h-_IjS0lOAd85OFaIjXX0hTQfR6QiXaK5TXqbQh7QxRVrbhO9F6xALWKUGLB4rf2TYQzM3qtPUvnGujpncqayzh2EdMU5Y_LM4O53gkBs3W3pns_i70GnrI31Q=w640-h324" width="640" /></a></div><br /><br /><p></p><p>Since 2019 the World Logic Day is celebrated on January 14th. So it's not an old tradition, but it's one that speaks to many logicians, who would like the work they do to be better known and appreciated. So the number of seminars, small conferences and round tables have been mushrooming, which is great!</p><p>But if one has so many meetings to go to and they are not recorded, they only give you a nasty feeling of "missing out": even in the pandemic, even when the meetings are free and in principle accessible you are not able to watch them all, to take it all in--of course one needs to think how accessible things are at 5 am-- and this is bad. Or feels bad. So I thought I would like to do something different for World Logic Day 2022.<br /></p><p>It occurred to me that instead of a meeting we should celebrate by having the launching of the <a href="https://sites.google.com/view/womeninlogic/home">Women in Logic</a> website (<a data-saferedirecturl="https://www.google.com/url?q=https://sites.google.com/view/womeninlogic/home&source=gmail&ust=1642442200453000&usg=AOvVaw19eZR8CmILqnT7vwlD13Fc" href="https://sites.google.com/view/womeninlogic/home" style="-webkit-text-stroke-width: 0px; background-color: white; color: #1155cc; font-family: Arial, Helvetica, sans-serif; font-size: small; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;" target="_blank">https://sites.google.com/<wbr></wbr>view/womeninlogic/home</a>) this World Logic Day. We did a soft launch a week before (i.e Friday 8th) and tried to iron some of the issues, but some remained. Bugs in life and software are always there.</p><p>I'm really impressed with the website which is mostly the work of Juliet <span style="-webkit-text-stroke-width: 0px; background-color: white; color: #222222; display: inline !important; float: none; font-family: Roboto, RobotoDraft, Helvetica, Arial, sans-serif; font-size: 14px; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-decoration-color: initial; text-decoration-style: initial; text-decoration-thickness: initial; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;">Szatko and <a href="https://www.dcc.fc.up.pt/~sandra/Home/Home.html">Sandra Alves</a>. It's beautiful, it contains lots of information about the work we've been doing in the <a href="https://sites.google.com/view/womeninlogic/workshops?authuser=0">WiL </a><a href="https://sites.google.com/view/womeninlogic/workshops?authuser=0">workshops</a>, the <a href="https://www.facebook.com/groups/WomenInLogic/">facebook group</a>, the <a href="https://twitter.com/womeninlogic1">twitter account</a>, the slack channel, etc. It also points out the many projects that we are trying to do, but haven't got finished, yet. One of these small projects is described in the next blog posts, check it out!<br /></span></p><p><span style="-webkit-text-stroke-width: 0px; background-color: white; color: #222222; display: inline !important; float: none; font-family: Roboto, RobotoDraft, Helvetica, Arial, sans-serif; font-size: 14px; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-decoration-color: initial; text-decoration-style: initial; text-decoration-thickness: initial; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"> Many thanks for this exquisite gift, Juliet and Sandra!<br /></span></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-14537439952284023532021-07-31T22:17:00.003-07:002021-08-26T07:04:16.722-07:00Women in Logic 2021<p> </p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEie4r2nbbFmspTazpoiNO320tiaB3AR8t8vsCzOveGG5ToTr-rjUTvBZeP_xdGv9xmcUwh0VreY4lEMj1DNZoBhD-fEMzKifqOKjhEI6fAl9mgcm1R2hnnw6P8MH-HGXnw8GAYJFDPiiPam/s1996/WiL2021.jpeg" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1148" data-original-width="1996" height="368" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEie4r2nbbFmspTazpoiNO320tiaB3AR8t8vsCzOveGG5ToTr-rjUTvBZeP_xdGv9xmcUwh0VreY4lEMj1DNZoBhD-fEMzKifqOKjhEI6fAl9mgcm1R2hnnw6P8MH-HGXnw8GAYJFDPiiPam/w640-h368/WiL2021.jpeg" width="640" /></a></div><br /><p></p><p>(This is copied from <a href="https://logic-forall.blogspot.com/2021/06/women-in-logic-2021-yay.html">Logic ForAll,</a> where it appeared in June 2021)<br /></p><p class="CDt4Ke zfr3Q" dir="ltr" style="margin-left: 0px; padding-left: 0px; text-align: left; text-indent: 0px;">We just had another great edition of Women in Logic! Congrats to the organizers <a href="https://www.dcc.fc.up.pt/~sandra/Home/Home.html" target="_blank">Sandra Alves</a>, <a href="https://www.lics.rwth-aachen.de/cms/LICS/Der-Lehrstuhl/Team/Wissenschaftliche-Mitarbeiterinnen-und-M/~ocxn/Sandra-Kiefer/lidx/1/" target="_blank">Sandra Kiefer</a> and <a href="http://cs.uni-salzburg.at/~anas/" target="_blank">Ana Sokolova</a> for a fun, challenging and diverse meeting! Thanks also to our Invited Speakers<span class="aw5Odc" style="font-family: 'Arial'; font-size: 12pt; font-weight: normal; text-decoration: underline; vertical-align: baseline;"> <a class="XqQF9c" href="http://www.google.com/url?q=http%3A%2F%2Fwww.di.unito.it%2F~ronchi%2F&sa=D&sntz=1&usg=AFQjCNFTwPvEawJmy_L_kmrTs0uj1Grouw" target="_blank">Professors Simona Ronchi Della Rocca</a></span><span style="font-family: 'Arial'; font-size: 12pt; font-weight: normal; vertical-align: baseline;"> (Università di Torino) and </span><span style="font-size: medium;"><span class="aw5Odc" style="text-decoration: underline; vertical-align: baseline;"><a class="XqQF9c" href="https://www.google.com/url?q=https%3A%2F%2Frinekeverbrugge.nl%2F&sa=D&sntz=1&usg=AFQjCNE6eaqw-IvH3VkKbJcDUdD7hV-DDw" target="_blank">Rineke Verbrugge</a></span></span><span style="font-size: 12pt; vertical-align: baseline;"> (University of Groningen) for very inspiring talks!<br /></span></p><p>This time we didn't have any incidents like last year (my write-up of the incident last year is in <a href="https://logic-forall.blogspot.com/2020/07/the-curious-incident-of-dropped.html">The curious incident of the dropped streaming</a>, if you want to see it), but on the other hand we didn't have the streaming either and this is not so good. </p><p>We
are a small workshop, so we follow what the conference we're
associating with says; and I think it's fair to say that the main issue
this year has been the registration fee, which was plainly terrible.
This came as a surprise to me (and, I believe, to everyone else too!).
Since last year there was no registration fee for the workshop, I
thought this year was going be the same. After all, our workshop is
about logic work done by women, but it is not exactly a huge source of
brownie points (or commercial value) to anyone. We help people get used
to presenting their work, in other more 'hostile' environments, and I
have been extremely impressed with the quality of the work the young
ones do. They get some amount of mentoring on their papers and on
dealing with questions, misunderstandings, etc. But for the audience,
which is there to cheer them on and to learn a few things about their
work, to pay 30 euros for a single day seems excessively expensive! </p><p>After
all, the silver lining of the pandemic and of the lockdowns had been
the possibility, for many, to interact with their academic heroes, to
watch seminars that happened in all parts of the world, "to be" in
Australia one day and the next in Colombia, while still hearing about
your favorite subject. That now people insist on gatekeeping these
possibilities, by making the conferences unaffordable, seems perverse.</p>I
understand that even online conferences have costs that need to be
paid, but I worry that calculations and sponsorships are following
outdated models. And I believe the push to make it more accessible needs
to be done by everyone in the community, not just a few. Otherwise, the
prestigious conferences will carry on being unaffordable, reproducing
the sins of the conventional publication model.Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-6170599908118442622021-03-04T12:13:00.000-08:002021-03-04T12:13:07.056-08:00Think women discrimination is a thing of the past?<p> </p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgHD_KkRyJscwWt-T1zU4mWCNFVyP9x8NZhNEtyQ68zejygUHfeq5YUPvDX70T2FozsQ2MPyB3CJ5kbIVLjkuhypdMstPdmq7Ns4c42b6TNmGiJd2tJYFcu6GsogwOBxkPG08BGV8EKyAap/s355/brain-lights.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="142" data-original-width="355" height="160" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgHD_KkRyJscwWt-T1zU4mWCNFVyP9x8NZhNEtyQ68zejygUHfeq5YUPvDX70T2FozsQ2MPyB3CJ5kbIVLjkuhypdMstPdmq7Ns4c42b6TNmGiJd2tJYFcu6GsogwOBxkPG08BGV8EKyAap/w400-h160/brain-lights.jpg" width="400" /></a></div><br /><p></p><p>Think again. This story came from one of my friends, who teaches in a local community college. <span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id hzawbc8m" dir="auto">My
friend's daughter is a sophomore at a research university. She came up
with an idea for a project in one of her neuroscience classes, developed
her idea with a female friend, and they spent hours explaining the idea
to the guys in the group. </span></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id hzawbc8m" dir="auto">When the time came to present the project to the class,
the guys questioned their ability to present and asked her to present to
them first so they could be assured she was prepared and knew what she
was talking about. So they basically questioned her understanding of her
own idea.</span></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id hzawbc8m" dir="auto">This is 2021!</span></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id hzawbc8m" dir="auto"></span></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEilHWmQRE7hzg7fDYvxTNECylcCL-MhX-y6OfUe1vGD8zvjREKPB7yxFFtY1NRSrOuNaA_QF56gpkb4l6iM8h_6S56F0HKICPlyHhS9l5MJf_BeIW-AVF1-lP-C2Qx4FgAHcPSGWy3yZilI/s480/misstriggs.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="376" data-original-width="480" height="314" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEilHWmQRE7hzg7fDYvxTNECylcCL-MhX-y6OfUe1vGD8zvjREKPB7yxFFtY1NRSrOuNaA_QF56gpkb4l6iM8h_6S56F0HKICPlyHhS9l5MJf_BeIW-AVF1-lP-C2Qx4FgAHcPSGWy3yZilI/w400-h314/misstriggs.jpg" width="400" /></a></div><br /> <br /><p></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-30816637097027185482021-02-21T14:02:00.000-08:002021-02-21T14:02:23.957-08:00Woohoo, you and the husband are invited to a prestigious research centre?<p> This is one of the histories that has a kind of happy ending, but only kind of as it seems that the scientific research center policies are still in flux. Judge for yourself. My job is just to collect the histories, with or without name, as people prefer it.<br /></p><p>This story is described by an open letter in Prof Agricola's website. Professor Agricola is now President of the German Mathematics Association (DMV) and her mathematical career is not in danger. She has the following Open Letter on her website https://www.mathematik.uni-marburg.de/~agricola/ewm-open-letter.html. I will copy it below, but you should read it in the link, where you can find this picture.</p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjSSPBI-oAm1EiJssp6HMvr7mdtIabfZTjXc-TXdR-OruFWSuKAeu-p-zXkJwV_PGVmpgEQ77v0K_g_iiR3Pvo4gn_dZvcLOS2OTLzs6zizw_yRVdLoN568t-IUcSrBJAqd5VxtTeMtXKNm/s1984/srni04.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1488" data-original-width="1984" height="300" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjSSPBI-oAm1EiJssp6HMvr7mdtIabfZTjXc-TXdR-OruFWSuKAeu-p-zXkJwV_PGVmpgEQ77v0K_g_iiR3Pvo4gn_dZvcLOS2OTLzs6zizw_yRVdLoN568t-IUcSrBJAqd5VxtTeMtXKNm/w400-h300/srni04.jpg" width="400" /></a></div><p>This is Prof Agricola's son, aged three months, sleeping in the desk, while she does maths with her students. Sweet! Now you may think 2014 in Prof Agricola's letter and think this is pre-historic (some people do!), but then you should check Viviane Pons blog post from 2019 http://openpyviv.com/2019/06/08/baby-vs-cirm/, which is again a similar story.<br /></p><p>Just one extract from Pons' blog post, that again is better written than I can provide and very much worth your time reading:</p><p style="margin-left: 40px; text-align: left;">"But things changed. They changed because women and allies did not give
up. There were some open letters and petitions circulating. There were
some pressure being made. At a time where supporting women in math was
becoming “trendy”, the policy started to be bad publicity. When CIRM
would brag about their actions for supporting women (like women speaker
requirements, women events, etc), there would be people to remind them
of their policy. I actually know one of these women. She is a senior
researcher very much involved in defending women in mathematics
globally. Once at a board meeting for conference centers, she did say to
them: “these things are nice of course, but what about accepting
children and nursing mothers inside your facility? This is your biggest
issue!”. She told me the answer she got from the CIRM at the time was
along the line of “What? This has nothing to do with that! This is a
legal issue we cannot do anything about”. Well, they could, and at some
point, they did."</p><p>For me, my first child also went to her first conference when she was three months old. And we cooked dinner for something like fifteen people during the meeting together. We had babysitters that we took with us to funny places, we did the old routine of "I just talked, give me the baby so that you can go talk" (when both of us were teaching), I gave talks holding on to the baby and pacing up and down to make her go back to sleep, etc. I like what I do and I wasn't going to let my children stop me from doing it.<br /></p><p>What makes me tired is that we write letters, complain, organize petitions and we win some. But then the next week, the month or the next year, we're back at square one. It can be really tiring sometimes.</p><p>======================</p><p>Prof Ilka Agricola's letter<br /></p><h4>Dear Colleagues,</h4>
<p>in October 2014, I was invited to attend a Meeting at CIRM in Marseille,
the "Centre international de rencontres mathematiques", a conference
center devoted to mathematics.
</p><p>
My first visit to the CIRM was as a Ph.D. student - I was single, no kids.
I enjoyed my stay very much, the atmosphere for exchange and research, the
beautiful surroundings. So I was looking forward for visiting the CIRM
again.
</p><p>
However, this was not possible. My personal situation has since then
changed: I am married, and we have an 11 year old son. My husband is a
professor of mathematics as well, working in the same area. So in fact, I
have to correct my statement: We were both invited by the organizers to be
regular participants of this meeting. We therefore informed the organizers
and the CIRM that we would like to bring our son. Of course, we would pay
his expenses and organize a "baby sitter" for him, so that he would be
occupied during the day.
</p><p>
Our son attended his first conference when he was 3 weeks old. Whenever
possible, we leave him at home with suitable child care. But as most
scientists, we do not have any relatives in the city where we were
appointed professors, so it's not always possible. Our son has accompanied
us to research stays all over Europe, South America and Asia. We're great
at finding baby sitters wherever we go. We never had any problems, our son
was welcome wherever we went. It's clear that we organized things always
in such a way that he would not be a burden to organizers or other
participants.
</p><p>
But at CIRM, all my past experience in organizing two professors and a kid
was useless. I was informed sharp by the CIRM administration:
</p><p>
"For security reasons, children are not admitted at CIRM".
</p><p>
I first thought that this was a joke - our son is not dangerous, after all?
But it became clear that this is dead serious. It is claimed
that the insurance of CIRM "does not cover children", whatever it means.
Now, being German, I have more insurances than I would ever need in my
life:
liability insurance, accident insurance... you name it. I offered to sign
anything desired that I would cover all damages my son would cause.
Nothing to do.
</p><p>
Instead, the CIRM administration started an outrageous game of shifting
duties - weeks, almost months of e-mail exchanges followed. For example,
we were told that we should try to find accomodation at the
"Cite Universitaire" of the University of Marseille. Guess what they told
us ? "We regret that our housing is not appropriate for families". More
phone calls, more e-mails - to organizers, CIRM staff, CIRM director etc.
</p><p>
Finally, we gave up and cancelled our participation. And I sent a
complaint
to the "conseil scientifique de l'Institut National de maths du CNRS", who
is part of the scientific committees supervising the CIRM. And, all of a
sudden, we were offered to live at CIRM in a separate building. However,
our son was still not allowed to enter the CIRM or to have breakfast and
dinner there. But then we didn't want to go anymore.
</p><p>
Now, I understand that in the past, people may have abused of the CIRM
facilities to have a nice holiday with their families - allegedly, I would
think that these would have been male participants bringing their wife
and children.
</p><p>
But our situation was different. Being both scientists in the same area,
our only option for participating was to travel with our son. It is to be
expected that this constellation will be even more common in the future,
with more and more women in mathematics. Other situations can easily be
imagined where there is just no alternative to bringing a child - a baby
being breast-fed, an ill child, a single parent...
</p><p>
So, for me the current CIRM policy means effectively that I am being
hindered to "practise" my job as scientist. And this is something that we,
female mathematicians, should not accept. It is not a solution that
perhaps, once in a while, one of us is successful at making enough ruckus
to get an exceptional permission to bring a child - a Ph.D. student or
less pushy person would not have succeeded. The policy itself NEEDS to be
changed!!!
</p><p>
I am full professor now, I do not need to attend some singular event - if
I'm not wanted, I don't go, period. But if I had never been allowed to
bring my son anywhere - I would probably not be full professor today!
</p><p>
I firmly describe myself as being "francophile" - I attended a French
Lycée in Munich, I have a French Baccalauréat C (high school degree) and
even was hounored by a second price at the Concours Général
des Lycées. I
have some experience with French administration. Hence, this experience
really makes me very sad.
</p><p>
I believe that French women mathematicians should urgently advocate a
change in policy at CIRM. I would consider it bad style to do this as a
foreigner - so, I hereby would like to encourage YOU, mathématiciennes
françaises, to fight for working conditions that respect the situation of
women in science!
Our daily juggling of different responsibilities is already difficult,
there is no need to make it harder by rules that are not up to date.
</p><p>
In the meantime, we were both invited to another CIRM meeting. We declined
immediatly,
it doesn't make sense to repeat the same story over again. Again, I would
very much
have liked to attend this "rencontre" and meet my colleagues. This shows that
the problem will stay if nothing is being changed!
</p><p>
With my warmest regards from Marburg,
</p><p>
cordialement
</p><p>
<a href="http://www.mathematik.uni-marburg.de/~agricola/">Ilka Agricola</a>
</p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-49914598350374887022021-02-18T20:16:00.002-08:002021-02-18T20:16:19.087-08:00You might think giving birth is a good reason for postponing a job interview...<p></p><div class="separator" style="clear: both; text-align: center;"><br /></div><div class="separator" style="clear: both; text-align: center;"><br /></div> I would, really. Clearly not everyone!<br /><p></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiT1tkUL9rBxcqZfjZPEceHoxK6rZUrpVbQLDG7YZldvNGCxSiADX9Lcq1p3cUN-ZsOYQfyzUcqOLqVUzsGuXRLmaBSlxRsZS6EVnUdRsKRG9HazbNitvnWdFkeDjocBeOssIienvK2yG9C/s1002/zoe2.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1002" data-original-width="990" height="400" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiT1tkUL9rBxcqZfjZPEceHoxK6rZUrpVbQLDG7YZldvNGCxSiADX9Lcq1p3cUN-ZsOYQfyzUcqOLqVUzsGuXRLmaBSlxRsZS6EVnUdRsKRG9HazbNitvnWdFkeDjocBeOssIienvK2yG9C/w395-h400/zoe2.png" width="395" /></a></div><br /><p><u>Z<a href="https://zoechristoff.com/" rel="home" title="Zoé Christoff">oé Christoff</a></u> had to take her case to the Netherlands Court of Human Rights! One wonders what these guys were thinking?? You can read it also on Zoe's own website https://zoechristoff.com/news/.</p><p>One would hope not to have to deal with this kind of hassle when becoming a mother!</p><p>Anyways CONGRATULATIONS to <u>Z<a href="https://zoechristoff.com/" rel="home" title="Zoé Christoff">oé</a></u> for the courage to take her case to court, for winning her case and, for a lovely baby too!</p><p>(this post is another one on the series of big and not so big mistreatments of women in Academia! I am collecting the stories and sharing them here.)</p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-74362146767976114712021-02-10T07:01:00.001-08:002021-02-10T07:02:45.487-08:00A ton of feathers is still a ton<p> </p><p></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg4GjsBolUyEWCbY0nsRzVUTyppJpDFT1ifL2jf3poZ4kUAADd1WYYCICK9fdwgsnYa5xEZoTpjgejX3S5HD9KBuxTDdLxn5Jum-4Sk-mn5lRE8WKa50fHOoGxVxpxnp5qzYM0-v0Atk21m/s225/feathers.jpg" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="225" data-original-width="225" height="400" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg4GjsBolUyEWCbY0nsRzVUTyppJpDFT1ifL2jf3poZ4kUAADd1WYYCICK9fdwgsnYa5xEZoTpjgejX3S5HD9KBuxTDdLxn5Jum-4Sk-mn5lRE8WKa50fHOoGxVxpxnp5qzYM0-v0Atk21m/w480-h400/feathers.jpg" width="480" /></a></div><br />So I've decided to publish (anonymous) personal stories from women in our group.<p></p><p> As I said on 22nd January:</p><p>I want to know about your personal stories of<br />
discrimination/slights/sexual harassment/whatever you want to<br />
describe. It can be anonymous (write to my gmail) or public. It can be<br />
small or big--as the women in the documentary "Picture a Scientist" were saying, a ton of<br />
feathers is still a ton. It can be about the work, the way you dress,<br />
the way you smile or not. Feel free! We had an open conversation like this<br />
in the Women in Logic meeting in Oxford 2018, but I was a bit too busy <br />
then to do something about it. Now I can deal with it and I want to!<br />
Help out with the stories, please--even if you told them in 2018<br />
already. #MeToo #gendergapSTEM #willnevergetthere </p><p>Anonymous Reply</p><p> There are dozens of things I could mention from my career<br />
in engineering, mathematics, and logic/philosophy. Even as I imagined<br />
writing them down, the feeling of "Who's going to believe it" arises.<br />
I have selected examples that are particularly objective. Here are<br />
the first two:<br /> </p><p> Differential Treatment in Mathematics MA program<br />
<br />
1. As a graduate student supported by a Teaching Assistantship in a<br />
mathematics department: our schedules were very tight, as we had<br />
heavy teaching loads along with coursework. Often the only time to<br />
work on assignments was the weekend. One professor set the due date<br />
for Friday. When I remarked to a male peer that the situation was<br />
utterly impossible, he replied: "Oh, I got an extension until Monday.<br />
Just ask for an extension." So I did. To my surprise the professor<br />
laughed at my request condescendingly, denying me any extension beyond<br />
5pm Friday. He found the situation I was in humorous. I was stunned.<br />
Weeks later, a woman officemate remarked to me that the professor gave<br />
extensions to all the men who asked, but denied extensions to the<br />
women who asked.<br />
<br />
2. At the end of the MA degree in that same mathematics program,<br />
there was an oral examination consisting of being asked to present,<br />
without notes, any of the proofs or problems from a set of ten that<br />
were mutually agreed upon ahead of the oral exam. I thoroughly<br />
prepared to be able to present any of the ten problems/proofs upon<br />
request. The exam began, and I launched into a reply to the first<br />
proof requested. I hadn't written three lines on the blackboard<br />
before one of the professors interrupted and said, "Well, we know you<br />
can do all those - you've prepared for them." Then he asked me<br />
questions about topics that I hadn't prepared for, and couldn't be<br />
expected to know. None of the other professors intervened to get the<br />
oral exam back to the expected protocol. After torturing me with<br />
questions I hadn't prepared for for an hour, I was asked to leave the<br />
room so the examiners could discuss my performance. After waiting<br />
some time in humiliation, my advisor came out and said "They passed<br />
you. Your written work [over the course of the MA program] was much<br />
better than your oral performance [on the MA oral examination that<br />
day]." There was never any recognition that the exam protocol had<br />
been violated to practically guarantee that result.<br />
Later, I ran into a male MA candidate who had also recently had<br />
his oral examination. He commented about the experience, saying<br />
something to the effect of "That was a joke." "How do you mean?" I<br />
asked, hoping to commiserate. I was stunned by his answer. "Well,<br />
you must know. They don't ask you any math questions, they just chat<br />
with you, like, they asked me, 'How was your summer? What are you<br />
doing next year?' "</p><p> </p><p></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgc-XdbkZciTIJmyx9TxJWg03_j56UhaMo2lHsX6ZPCEUs7T6N7FfeBQWnJc3BcWIyPA3dMNXHczhxpY1_tniiLaVx2VHYwib7f0m4E73s8zUeWuC4kPF1FG7U-J_maup4NwxzBMZm4DEFA/s942/UnBsummer.png" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="692" data-original-width="942" height="470" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgc-XdbkZciTIJmyx9TxJWg03_j56UhaMo2lHsX6ZPCEUs7T6N7FfeBQWnJc3BcWIyPA3dMNXHczhxpY1_tniiLaVx2VHYwib7f0m4E73s8zUeWuC4kPF1FG7U-J_maup4NwxzBMZm4DEFA/w640-h470/UnBsummer.png" width="640" /></a></div><br /> <p></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com2tag:blogger.com,1999:blog-4989361330922276730.post-14630625510713110122021-01-23T06:08:00.000-08:002021-01-23T06:08:08.097-08:00``Picture a Scientist"<p>``Picture a Scientist" is a new documentary about women scientists and how they just want to do their work and how people (mostly white old men) don't let them. The trailer is in <span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id" dir="auto"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu jq4qci2q a3bd9o3v knj5qynh oo9gr5id"><span><a class="oajrlxb2 g5ia77u1 qu0x051f esr5mh6w e9989ue4 r7d6kgcz rq0escxv nhd2j8a9 nc684nl6 p7hjln8o kvgmc6g5 cxmmr5t8 oygrvhab hcukyx3x jb3vyjys rz4wbd8a qt6c0cv9 a8nywdso i1ao9s8h esuyzwwr f1sip0of lzcic4wl py34i1dx gpro0wi8" href="https://www.pictureascientist.com/media?fbclid=IwAR1MO4t-AOZKbRroQ2FdE9u4uS1s54lW2dsiXbnBmM96RUnD0jsR2pkKsZk" rel="nofollow noopener" role="link" tabindex="0" target="_blank">https://www.pictureascientist.com/media</a>. there was an event to discuss the film where I learned about the reports<br /></span></span></span></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id" dir="auto"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu jq4qci2q a3bd9o3v knj5qynh oo9gr5id"></span></span></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh4BaPCg9aSi4m8BXLdqccmFycLmKuSMovPFRh41o8pf0ikDOKWNbp-X1MLXPGpLlvbVJipKYjuabl9efIEs_nsyS7THJgtZUucTvPCzprAQDWtaNoSFOF5wZ0Q9SW5wY49WmFHrA356J49/s1358/MITreports2021.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="774" data-original-width="1358" height="228" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh4BaPCg9aSi4m8BXLdqccmFycLmKuSMovPFRh41o8pf0ikDOKWNbp-X1MLXPGpLlvbVJipKYjuabl9efIEs_nsyS7THJgtZUucTvPCzprAQDWtaNoSFOF5wZ0Q9SW5wY49WmFHrA356J49/w400-h228/MITreports2021.png" width="400" /></a></div><br /><span>The links:</span><p></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id" dir="auto"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu jq4qci2q a3bd9o3v knj5qynh oo9gr5id"><span>[1983 CSAIL Report] “Barriers to Equality in Academia: Women in Computer Science at MIT”: https://www.dropbox.com/s/eherc37esqabj0i/MIT-Barriers-Report.pdf?dl=0 <br /><br />[1999 MIT Report] “A Study on the Status of Women Faculty in Science at MIT”: http://web.mit.edu/fnl/women/women.html <br /><br />[Fall 2019 CSAIL Report] Diversity, Equity, and Inclusion in the CSAIL Community: https://drive.google.com/file/d/1jkh_-TN42PtmUqqqxoQfaMKjppL3Jq6Y/view?usp=sharing<br /><br />The 2018 report by the National Sciences Foundation that Nancy Hopkins refers to: 2018 Sexual Harassment of Women: Climate, Culture, and Consequences in Academic Sciences, Engineering, and Medicine: https://www.nap.edu/catalog/24994/sexual-harassment-of-women-climate-culture-and-consequences-in-academic</span></span></span></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id" dir="auto"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu jq4qci2q a3bd9o3v knj5qynh oo9gr5id"><span><br /></span></span></span></p><p><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d3f4x2em fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v knj5qynh oo9gr5id" dir="auto"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu jq4qci2q a3bd9o3v knj5qynh oo9gr5id"></span></span></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhts1TDdX6qTP2Un8gk3asg8fmJ-cqQEquaLXCEHO2RXtFIHIwJyxOwQlbtI32mt7LL-jHsicZdqtAf_pN2aGycp4y_HbkJFWtFomPkBDsGIRX1SOktKKKf4fjGfBRGrOE8fzXsdTWVWV1c/s1080/Lo%25CC%2581gica+e+Representatividad-2-1.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1080" data-original-width="1080" height="400" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhts1TDdX6qTP2Un8gk3asg8fmJ-cqQEquaLXCEHO2RXtFIHIwJyxOwQlbtI32mt7LL-jHsicZdqtAf_pN2aGycp4y_HbkJFWtFomPkBDsGIRX1SOktKKKf4fjGfBRGrOE8fzXsdTWVWV1c/w400-h400/Lo%25CC%2581gica+e+Representatividad-2-1.png" width="400" /></a></div><br /><span>I was very struck by something I think Karen Sollins (one of the 1983 original document proposers) said. Paraphrasing slightly "we were lucky that there were enough of us so that we could anonymize the cases and the people involved". She seemed to say that to describe issues of race and sexual orientation would've been even harder to do, as the numbers are even smaller.<br /></span><p></p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-77299258165370251352021-01-06T07:10:00.002-08:002021-02-08T16:50:40.270-08:00Women in Logic 2021 in Rome, yay!<p></p><div class="separator" style="clear: both; text-align: center;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhEkGqYbNwLB0iGfLEu274HGzVMyhgpk1X1e68yEkWNW9YvQEw6MWfUei4oIpyX57ohaKN01VJbXZgGDLsHVHcK-47mmx-U7i29VjYiNjcYb_zh-NPFzPrPkS5Q3TkpHk8OhG6GkhyphenhyphenCe82m/s1920/wil2020.jpg" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1080" data-original-width="1920" height="225" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhEkGqYbNwLB0iGfLEu274HGzVMyhgpk1X1e68yEkWNW9YvQEw6MWfUei4oIpyX57ohaKN01VJbXZgGDLsHVHcK-47mmx-U7i29VjYiNjcYb_zh-NPFzPrPkS5Q3TkpHk8OhG6GkhyphenhyphenCe82m/w400-h225/wil2020.jpg" width="400" /></a></div><br />So the workshop <a href="https://sites.google.com/g.uporto.pt/wil2021" target="_blank">Women in Logic</a> is back to its original association with LiCS (Logic in Computer Science), which is happening in Rome this year. <p></p><p><a href="https://www.dcc.fc.up.pt/~sandra/Home/Home.html" target="_blank">Sandra Alves</a> has a very nice <a href="https://sites.google.com/g.uporto.pt/wil2021" target="_blank">website</a> up and running, and for the first time I realized that our other efforts are not connected online to the workshop. So in case you're just discovering our work, we have a collection of loosely connected initiatives:</p><p>1. We have a Facebook group called <a href="https://www.facebook.com/groups/WomenInLogic" target="_blank">Women in Logic</a> with 541 members now. (Since the <a href="https://www.nytimes.com/2018/11/06/technology/myanmar-facebook.html#:~:text=Myanmar%20military%20officials%20were%20behind,murder%2C%20rape%20and%20forced%20migration.&text=Not%20everyone%20in%20Myanmar%20agreed%20with%20the%20blame%20placed%20on%20Facebook." target="_blank">atrocities in Burma</a>, people are leaving Facebook which means we have to decide what to do.)</p><p>I need to write a summary of the achievements of the group, but we have been going on since (I believe) 2015. Prof. <a href="https://rinekeverbrugge.nl/" target="_blank">Rineke Verbrugge</a> and I are administrators. The reason I believe so is that FB tells me I've posted a spreadsheet called</p><p><span class="hpfvmrgz oi9244e8 g5gj957u buofh1pr on77hlbc j83agx80 bp9cbjyn" face="system-ui, -apple-system, system-ui, ".SFNSText-Regular", sans-serif" style="-webkit-text-stroke-width: 0px; align-items: center; background-color: white; color: #1c1e21; display: flex; flex: 1 1 320px; font-size: 12px; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: 400; letter-spacing: normal; margin-right: 8px; min-width: 0px; orphans: 2; text-align: start; text-decoration-color: initial; text-decoration-style: initial; text-decoration-thickness: initial; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"><img alt="" height="32" src="https://static.xx.fbcdn.net/rsrc.php/v3/y6/r/q-cBsLAPp3x.png" style="border: 0px none;" width="32" /></span></p><div class="hpfvmrgz h676nmdw" style="font-family: inherit; margin-left: 8px; min-width: 0px;"><a class="oajrlxb2 g5ia77u1 qu0x051f esr5mh6w e9989ue4 r7d6kgcz rq0escxv nhd2j8a9 nc684nl6 p7hjln8o kvgmc6g5 cxmmr5t8 oygrvhab hcukyx3x jb3vyjys rz4wbd8a qt6c0cv9 a8nywdso i1ao9s8h esuyzwwr f1sip0of lzcic4wl gmql0nx0 gpro0wi8" href="https://www.facebook.com/groups/WomenInLogic/permalink/1469468540036821/" role="link" style="-webkit-tap-highlight-color: transparent; background-color: transparent; border-color: initial; border-style: initial; border-width: 0px; box-sizing: border-box; color: inherit; cursor: pointer; display: inline; font-family: inherit; list-style: outside none none; margin: 0px; outline: currentcolor none medium; padding: 0px; text-align: inherit; text-decoration: none; touch-action: manipulation;" tabindex="0"><div class="j83agx80 cbu4d94t ew0dbk1b irj2b8pg" style="display: flex; flex-direction: column; font-family: inherit; margin-bottom: -5px; margin-top: -5px;"><div class="qzhwtbm6 knvmm38d" style="font-family: inherit; margin-bottom: 5px; margin-top: 5px;"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d9wwppkn fe6kdd0r mau55g9w c8b282yb iv3no6db jq4qci2q a3bd9o3v lrazzd5p oo9gr5id hzawbc8m" color="var(--primary-text)" dir="auto" style="-webkit-font-smoothing: antialiased; display: block; font-family: inherit; font-size: 0.9375rem; font-weight: 600; line-height: 1.3333; max-width: 100%; min-width: 0px; overflow-wrap: break-word; text-align: left; word-break: break-word;"><span class="a8c37x1j ni8dbmo4 stjgntxs l9j0dhe7 ltmttdrg g0qnabr5" style="display: block; font-family: inherit; overflow: hidden; position: relative; text-overflow: ellipsis; white-space: nowrap;">Women Professors in Logic</span></span></div></div></a></div><div class="j83agx80 cbu4d94t ew0dbk1b irj2b8pg" style="display: flex; flex-direction: column; font-family: inherit; margin-bottom: -5px; margin-top: -5px;"><div class="qzhwtbm6 knvmm38d" style="font-family: inherit; margin-bottom: 5px; margin-top: 5px;"><span class="d2edcug0 hpfvmrgz qv66sw1b c1et5uql oi732d6d ik7dh3pa fgxwclzu a8c37x1j keod5gw0 nxhoafnm aigsh9s9 d9wwppkn fe6kdd0r mau55g9w c8b282yb mdeji52x e9vueds3 j5wam9gi knj5qynh oo9gr5id hzawbc8m" color="var(--primary-text)" dir="auto" style="-webkit-font-smoothing: antialiased; display: block; font-family: inherit; font-size: 0.8125rem; font-weight: normal; line-height: 1.2308; max-width: 100%; min-width: 0px; overflow-wrap: break-word; text-align: left; word-break: break-word;"><span class="a8c37x1j ni8dbmo4 stjgntxs l9j0dhe7 ltmttdrg g0qnabr5" style="display: block; font-family: inherit; overflow: hidden; position: relative; text-overflow: ellipsis; white-space: nowrap;">Document <span color="var(--primary-text)" style="font-family: inherit; font-size: 0.8125rem;">in July 15, 2015 at 7:02 AM</span></span></span></div></div><p>2. We have two spreadsheets that I think are helpful. The first called simply <a href="https://docs.google.com/spreadsheets/d/1wj8wtZ4bNJOe-sFYOeMgurmVhaUojwXbe7bzkBLXH9s/edit?usp=sharing" target="_blank">Women in Logic</a> lists women working in all manners of Logic(computing, philosophical, mathematical), using tabs for continents. Everyone (from students to retirees) are expected to add themselves there, please. This spreadsheet was started by Prof <a href="https://www.cdutilhnovaes.com/" target="_blank">Catarina Dutilh Novaes</a></p><p>The second is an attempt to list (female or mostly not) <a href="https://docs.google.com/spreadsheets/d/1o0nSqqtNb61O8VD_H9zcRwOttJj8sToSlJnGU9XFaPU/edit?usp=sharing" target="_blank">invited speakers in conferences</a> in Theoretical Computer Science where logic plays a major role. This was done mostly by <a href="https://www.cs.mcgill.ca/~bpientka/" target="_blank">Prof. Brigitte Pientka</a> and her collaborators.</p><p>3. Since the <a href="http://aslonline.org/inclusiveness/" target="_blank">Association for Symbolic Logic</a> is the logician's professional association, Prof <a href="http://johannafranklin.net/" target="_blank">Johanna Franklin </a>did a very thorough job of trying to discover the names and numbers of female Invited Speakers and organizers of special sessions. This was described in a series of blog posts, starting at "<a href="https://womeninlogic.blogspot.com/2016/09/gender-ratios-of-speakers-at-asl.html" target="_blank">Gender Ratio of Speakers at ASL Meetings"</a>.</p><p>4. We have a mailing list Women in Logic <span face="Arial, Helvetica, sans-serif" style="background-color: white; color: #222222; font-size: small;"> </span><a href="mailto:women-in-logic@lists.rwth-aachen.de" style="background-color: white; color: #1155cc; font-family: Arial, Helvetica, sans-serif; font-size: small;" target="_blank">women-in-logic@lists.rwth-aach<wbr></wbr>en.de</a> and a Slack channel, that you need to ask to join.</p><p>5. <a href="https://community.dur.ac.uk/s.l.uckelman/">Sara Uckelman</a> reminded me: don't forget the Women in Logic twitter! https://twitter.com/WomenInLogic1. I am very thankful to Sara for doing this work! </p><p>The workshop Women in Logic is its 5th year and 2020 was the largest one so far with more than 90 people online, I believe. </p><p>Given that all of us organizers, plus Invited Speakers, PC members, talk presenters and reviewers, and many others not mentioned by name above only work on this kind of outreach whenever possible, I think we're accomplishing a lot! </p><p>More importantly, when in June 2020 there was a call for STEM to stop working and pay attention to its lack of inclusivity, it was very nice to have fellow logicians cite our work with women's rights as an example to be emulated.</p>Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com3tag:blogger.com,1999:blog-4989361330922276730.post-90901198342772121732020-06-16T07:34:00.000-07:002020-06-16T07:35:29.355-07:00Inclusive Logic Day by Nastassja Pugliese<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjp5oE2QZwpbKjLicoHF852Ekx0cbOxGUujBPmLhfzMt2K-yLomgSVpFLAh_aqf4D73dLpN2uCO8ezf5Odjzzu6vY-aXbbzdlIn95z_x9Bhs4OQejp24utdQY9kQOZZOWV2rT_B6UvxJmW3/s1600/filosofas2019.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="946" data-original-width="750" height="640" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjp5oE2QZwpbKjLicoHF852Ekx0cbOxGUujBPmLhfzMt2K-yLomgSVpFLAh_aqf4D73dLpN2uCO8ezf5Odjzzu6vY-aXbbzdlIn95z_x9Bhs4OQejp24utdQY9kQOZZOWV2rT_B6UvxJmW3/s640/filosofas2019.jpeg" width="505" /></a></div>
This is an Invited Post by <span style="font-family: "times new roman"; font-size: 12pt; white-space: pre-wrap;">Nastassja Pugliese, Assistant Professor at UFRJ, Rio de Janeiro, Brazil.</span><br />
<span style="font-family: "times new roman"; font-size: 12pt; white-space: pre-wrap;"><br /></span>
<br />
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">The day of inclusive logic (#ShutDownLogic) was proposed in the context of the #ShutDownStem, #ShutDownAcademia, #Strike4BlackLives movement as a day to stop research and put together a plan of action to end systemic racism in academia. On June 10th, 2020, members of the Logic Supergroup, an international group of logicians belonging to different departments in different Universities, hosted a 24 hours long event to work together on academic accountability and on specific tasks to address racial inequality in logic. The day was divided into slots that specific researchers decided to use for different kinds of discussions.</span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">During the meeting, there was a consensus that logic, as most of Academia, has a long history of inequalities that contributes to the view that it is an exclusionary discipline espousing racism, sexism, and other forms of oppression. Because the main historical figures, acting professionals and researchers that gain recognition are white and male, logic as a discipline and as a practice is a key academic space to be occupied with explicit anti-racist initiatives. </span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">The slot we occupied was hosted by Valeria de Paiva, Elaine Pimentel, Gisele Secco, and myself. We focused on making two points: raise geopolitical awareness for how racism expresses itself differently across cultures, and suggest that some practices put forward by the Women in Logic, such as collection and publication of demographic and diversity data, can also be undertaken for BIPOC in logic. </span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">I started by pointing out that the talk of race in Brazil is still taboo and racial self-identification is full of misunderstandings. Our history as a racial “melting pot” was used to espouse the wrong view that Brazil is a racial democracy, making it harder for a collective recognition of our share of systemic racism.</span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">Given our history of miscegenation, racism operates together with colorism. Colorism tells that there is a direct relationship between the strength of the violence one suffers and the degree of darkness of one's skin tone: light-skin blacks/mestiços are more easily accepted and suffer less oppression than dark-skin blacks. This layering of skin-tones and the associated prejudices contributes to a massive problem in self-identification for there is a tendency of mestiços (“pardos”) to consider themselves (and be treated) as whites. This problem of racial self-identification is a result of structural racism, of taking advantage of the privilege of being of a lighter color, but also of misinformation about race and history. This self-identification problem, if not solved, will continue to feed racism because it is an underlying cause of its systematic nature. </span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">I illustrated the problem with the graph above representing the number of PhD students in Philosophy, in Brazil, in 2018 according to the markers of gender and race (source CAPES open data, open data made available by CAPES, the Brazilian governmental institution that keeps track of post-graduate students, online at https://dadosabertos.capes.gov.br/dataset/2017-a-2020-docentes-da-pos-graduacao-stricto-sensu-no-brasil): </span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">The graphic tells us a lot, including that the demographic situation of black men (“homem negro”) is worse than that of white women (“mulher branca”) and of mixed-race men and women (“homem pardo” and “mulher parda”). This is a topic to be further investigated and discussed. But the self-identification problem I pointed out before is evidenced in two categories in the graphic: “não dispõe de informação” (no information given) and “não declarado” (not declared). These categories represent the majority of the students. It is symptomatic, in my view, that around 56% of the totality of students (906 out of 1,598) either chose not to declare their race or the data gathering structure somehow could not inform their racial identification. Breaking the total of PhD students into a gendered analysis we have that 51% of the PhD male students (683 out of 1,338) chose either not to give their racial information or the system could not gather this information about them. In the group of women, the percentage is the same (51%), so out of 431 PhD students, we lack information for 223 of them. </span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">We think it is high time to further stimulate and consolidate the racial self-identification talk in Brazilian academia and the logic community. For a start, we have to recognize that the experience of race is different for each social group and assume that the racial experience of another might be incommensurable with your own racial experience. This also means not treating all BIPOC as if they were a homogeneous group with a single history of oppression. Hence, in discussing racial inequality we should be careful (1) not to appropriate a specific fight to promote another group’s agenda, and (2) not to add minority groups together to make a more palatable (and conservative) demand. Expressing solidarity and walking together is only a powerful political strategy when we recognize and continue to be aware that some minorities “pass” more easily than others, i.e., have privilege in relation to other minority groups. </span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">Finally, as part of this diverse group of Brazilian women logicians acting on distinct areas of logic, I would like to further engage in one more topic:</span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;"><br /></span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;"><b>Curriculum development:</b> What we do depends on how we learned to do it. It is high time we focus on logic education and the dynamics of the classroom space. Problems such as stereotype threat and the solo effect contribute to a climate in the classroom that is detrimental for the growth of BIPOC. We should look for an interdisciplinary approach to logic in courses where students can specifically learn the history and discuss diversity. Hence, it is important, as highlighted during the event, to have more scholars engaging in the history of logic in order to localize racist, sexist, and xenophobic claims in the given authors. The goal is to dissociate these arguments from the image of the field of logic so as to improve the structure and the professional experience for diverse students and professionals.</span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">Finally, during our talk in the inclusive logic day, we recalled some practices put forward by the Women in Logic initiative and suggested that it would be important, for the sake of accountability, to collect and publish demographic and diversity data. We also talked about keeping track of BIPOC that have been invited for key conferences and that are part of societies and associations. The idea here is to build our collective memory and make sure we recognize their work properly.</span></span></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<br /></div>
<div dir="ltr" style="line-height: 1.2; margin-bottom: 0pt; margin-top: 0pt; text-align: justify;">
<span style="font-family: "times new roman";"><span style="white-space: pre-wrap;">This topic deserves another blog post, so I will end here. For now, if you got interested, you can read former posts on this blog to get informed on the initiatives that have been happening so far. And please share these initiatives with people that will benefit from knowing that they are not alone.</span></span></div>
</div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-6899587617623022252020-04-10T10:44:00.000-07:002020-04-10T10:44:09.927-07:00Logic and Biology: last year's Women in Logic<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhYcGC4ZLDr6PIn0lVzsikbMhWDhWVHP9U31b6EWpD91hyphenhyphen9lvg6Tt0KAM_FWhHEvHxAcIvTp3N0gKRCGQj0wOj4nvnSwucNQxfPD1n_jIQJhyFh7r_Vo1_OR_5v2YWXJwMwEVSeGdQCWeKr/s1600/Anne-Condon.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="416" data-original-width="740" height="179" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhYcGC4ZLDr6PIn0lVzsikbMhWDhWVHP9U31b6EWpD91hyphenhyphen9lvg6Tt0KAM_FWhHEvHxAcIvTp3N0gKRCGQj0wOj4nvnSwucNQxfPD1n_jIQJhyFh7r_Vo1_OR_5v2YWXJwMwEVSeGdQCWeKr/s320/Anne-Condon.jpg" width="320" /></a></div>
<span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;"><br /></span>
<span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;"><br /></span>
<span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;">I'm afraid last year's workshop </span><a href="https://sites.google.com/site/womeninlogic2019/" style="background-color: white; color: #771100; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px; text-decoration-line: none;" target="_blank">Women in Logic</a><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;"> was a bit a blur with too many things happening there and elsewhere in my life. Now, while looking at writing a report on it I realized that I have not posted the slides of our Invited Speaker Professor <a href="https://www.cs.ubc.ca/~condon/" target="_blank">A</a></span><a href="https://www.cs.ubc.ca/~condon/" target="_blank">nne Condon</a><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;">, from the </span><a class="gsc_prf_ila" href="https://scholar.google.com/citations?view_op=view_org&hl=en&org=822421448073898796" style="background-color: white; color: #222222; font-family: Arial, sans-serif; font-size: 15px; text-decoration-line: none;">University of </a>British Columbia.<span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;"> </span><br style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;" /><br style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;" /><span style="background-color: white; color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif; font-size: 14.85px;">Here are the slides of her talk: "</span><span style="color: #333333; font-family: Arial, Tahoma, Helvetica, FreeSans, sans-serif;"><span style="font-size: 14.85px;"><a href="https://drive.google.com/file/d/1PvWZimYWlPsHOcXp05yabcngxsKUbv7B/view?usp=sharing" target="_blank">Computing with Molecules</a></span></span><span style="background-color: white; color: #333333; font-family: "Lucida Grande", "Lucida Sans", Verdana, Arial, sans-serif; font-size: 13.3333px;">". I found the work and the talk very beautiful and now (with the coronavirus emergency) eerily inspiring. Mathematics and logic have lots to say about Biology, much more than I had expected. </span></div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-20701905672259056882020-04-09T22:03:00.002-07:002020-04-10T14:57:07.985-07:00Better Late than never: WiL2019<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiuCYGBro9jxAkf_MWLtzyD1TV7Lj-W97KPCK7qyS9-rXoJe8dC5snj_HZtBxYw0nE3aP5uW2r78p_hk-lsGNlgpYB1_IgEw0qghACdsCIO_aVxHMsHBO7wBlAcYKBaxS2pEKaXhe7Irh9X/s1600/Zena.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="224" data-original-width="225" height="318" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiuCYGBro9jxAkf_MWLtzyD1TV7Lj-W97KPCK7qyS9-rXoJe8dC5snj_HZtBxYw0nE3aP5uW2r78p_hk-lsGNlgpYB1_IgEw0qghACdsCIO_aVxHMsHBO7wBlAcYKBaxS2pEKaXhe7Irh9X/s320/Zena.jpeg" width="320" /></a></div>
<br />
I'm afraid last year's <a href="https://sites.google.com/site/womeninlogic2019/" target="_blank">Women in Logic</a> was a bit a blur with too many things happening there and elsewhere in my life. Now, while looking at some other stuff (i.e. trying to write a report) I realized that I have not posted the slides of our Invited Speaker Professor <a href="https://scholar.google.com/citations?user=LmLKjyYAAAAJ&hl=en" target="_blank">Zena M. Ariola</a>, from the <a class="gsc_prf_ila" href="https://scholar.google.com/citations?view_op=view_org&hl=en&org=822421448073898796" style="color: #222222; font-family: Arial, sans-serif; font-size: 15px;">University of Oregon</a>, which I did ask for and was given immediately. oh dear, shame on me!<br />
<br />
Here are the slides of Zena M. Ariola's talk. "<span style="background-color: white; color: #333333; font-family: "lucida grande" , "lucida sans" , "verdana" , "arial" , sans-serif; font-size: 13.3333px;">The Impact of Duality" changed itself to "<a href="https://drive.google.com/open?id=1DQ9uqn_ev6h7Nee9dhiFu1qgNUdO5sxC" target="_blank">The interplay between Logic and Computation</a>", which is a great title for our workshop. I found the work and the talk super interesting and inspiring. Shame there were so many things happening during those weeks and I couldn't talk more to Zena, there will be more time later on, I hope.</span></div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-71083298105731018622020-02-25T10:49:00.021-08:002020-08-01T10:05:25.280-07:00Data we have and data we want<div dir="ltr" style="text-align: left;" trbidi="on">
<span class="ILfuVd" style="background-color: white; color: #222222; font-family: "arial" , sans-serif; font-size: 16px; line-height: 1.375;"><span class="e24Kjd" style="padding: 0px 8px 0px 0px;"><b>Women in Logic 2020</b> is part of “Paris Nord Summer of LoVe <b>2020</b>“, a joint event on <b>LOgic</b> and VErification at Université Paris 13, made of Petri Nets <b>2020</b>, IJCAR <b>2020</b>, FSCD <b>2020</b>, and over 20 satellite events. Check the webpage in </span></span><a href="https://sites.google.com/g.uporto.pt/wil2020/">https://sites.google.com/g.uporto.pt/wil2020/</a><br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjDivk7gUqSw1KOyVc9mW4LHV6yZcGt2e0xuL8A991OvxMv8Pk8C56tuQx-1CZJLp8XR8ydjvnObv7QD-Dlm8F6mF2q5gK4fxArtRd9dsjGPKibxYGZ9cAs0Cdmrf9KfdDdRyA4juyLbNoB/s1600/Vancouver2019.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1440" data-original-width="1440" height="400" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjDivk7gUqSw1KOyVc9mW4LHV6yZcGt2e0xuL8A991OvxMv8Pk8C56tuQx-1CZJLp8XR8ydjvnObv7QD-Dlm8F6mF2q5gK4fxArtRd9dsjGPKibxYGZ9cAs0Cdmrf9KfdDdRyA4juyLbNoB/s400/Vancouver2019.jpg" width="400" /></a></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
This is of course great news! But the point of this post is to remind everyone that we have two spreadsheets that everyone should know about. The first spreadsheet started by Catarina Dutilh Novaes, is a compilation of women working with logic, available at this <a href="https://docs.google.com/spreadsheets/d/1wj8wtZ4bNJOe-sFYOeMgurmVhaUojwXbe7bzkBLXH9s/edit?usp=sharing" target="_blank">google doc</a>. </div>
<div class="separator" style="clear: both; text-align: left;">
<br /></div>
The second spreadsheet, carefully manually compiled by Brigitte Pientka and collaborators, show us the number and gender of Invited speakers in many of the main conferences that relate Logic to Computer Science. This impressive document, which needs to be better known and also needs to be completed is in this other <a href="https://docs.google.com/spreadsheets/d/1o0nSqqtNb61O8VD_H9zcRwOttJj8sToSlJnGU9XFaPU/edit#gid=0" target="_blank">google doc.</a><br />
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
Now maybe we should try to count the number of female PC members over the years and the number of accepted papers who had female co-authors. I don't know if this will help improve matters, but more information is always good.</div>
</div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-35234318152906126242019-08-19T08:06:00.000-07:002019-08-23T17:13:16.388-07:00Round Table Women in Logic at EBL (Encontro Brasileiro de Logica)<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhk0o8US_jLXSd4QOieWl20sc7PK3gKlvNvTVY6Id_m8p1SAB_IfSqRnyFu6lgDzNdGeMz3yn0q59V5MmL_FYNf0uaWvAlq5TMH1YsNH5cwcs5TqEBF9CLTDK9iIAotvVdyN7cunOsHAV9j/s1600/L1009293.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="743" data-original-width="746" height="397" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhk0o8US_jLXSd4QOieWl20sc7PK3gKlvNvTVY6Id_m8p1SAB_IfSqRnyFu6lgDzNdGeMz3yn0q59V5MmL_FYNf0uaWvAlq5TMH1YsNH5cwcs5TqEBF9CLTDK9iIAotvVdyN7cunOsHAV9j/s400/L1009293.jpg" width="400" /></a></div>
Guest blog post by Gisele Secco (https://ufsm.academia.edu/gdsecco), pictures taken by Marcia Falcao, chosen by Valeria Paiva.<br />
<br />
<br />
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">During
the </span><a href="https://ebl2019.ci.ufpb.br/"><span style="color: #1155cc; font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">19th Brazilian Logic Conference</span></a><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">, held in João Pessoa, 6-10 May 2019, the
Brazilian Logic Society (EBL in the Brazilian acronym) opened a space for
discussions about the presence of women and the variety of challenges they face
in Logic, especially in Brazil.</span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<a href="https://www.blogger.com/null" name="_heading=h.gjdgxs"></a><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">Valeria de Paiva (who wrote briefly about the talk </span><a href="https://logic-forall.blogspot.com/2019/07/skype-talk-in-may-round-table-at-ebl.html"><span style="color: #1155cc; font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">here</span></a><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">), Elaine Pimentel, Claudia Nalon and I
participated in a round table entitled “Women in Logic (in Brazil)”, in a room
full of curious faces – mostly young researchers gladly open to what we had to
say.</span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">In
the first few minutes I’ve talked about the context and the main motivations
for the round table: the low presence of women in STEM and, in particular, in
the field of logic, some barriers like the “inclusion by segregation” and, of
course, the idea that we can act to change this unfortunate state of things.
Since the audience was not composed solely by philosophers, I first gave some
information about how only recently the Brazilian philosophical community awoke
from its long dogmatic slumber regarding the women questions. My main point,
though, was to present some ideas on how to break the “cycle of antilogic
expectations” surrounding logic in the context of philosophy education in
Brazil – involving High Schools and Undergraduate courses. Given some time
limitations, my talk was divided into two parts, and Valeria started her participation by a video call. </span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">Valeria
started speaking about her personal experience, as a student and a researcher,
and then presented the data gathered by Orna Kupferman on the presence of women
in the field of Logic in Computer Science. After showing also some data
collected by Claudia Bauzer and Celina Figueiredo on the decreasing presence of
women in computer science, as well as the distribution of CNPq scholarships
amongst women and men, Valeria presented some initiatives aiming to change this
reality. </span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";"><span style="background-color: white; color: #1155cc; font-size: x-small;">As you readers know, </span><span style="background-color: white; color: #333333; font-size: x-small;">Valeria heads of the project Women in Logic – a Workshop (the </span><a data-saferedirecturl="https://www.google.com/url?q=https://sites.google.com/site/womeninlogic2019/home&source=gmail&ust=1566691353435000&usg=AFQjCNFF_6YYzBkODSqQuweSL3jDZI5ObQ" href="https://sites.google.com/site/womeninlogic2019/home" style="background-color: white; color: #771100; font-size: small; text-decoration-line: none;" target="_blank"><span style="color: #1155cc;">third edition</span></a><span style="background-color: white; color: #333333; font-size: x-small;"> was then about to happen in Canada),</span><a data-saferedirecturl="https://www.google.com/url?q=http://womeninlogic.blogspot.com/&source=gmail&ust=1566691353435000&usg=AFQjCNEjZNYztiklxvASzJcbY9ZZuATSCw" href="http://womeninlogic.blogspot.com/" style="background-color: white; color: #771100; font-size: small; text-decoration-line: none;" target="_blank"><span style="color: #1155cc;"> this blog</span></a><span style="background-color: white; color: #333333; font-size: x-small;"> and a </span><span style="background-color: white; color: #1155cc; font-size: x-small;"><a data-saferedirecturl="https://www.google.com/url?q=https://www.facebook.com/groups/WomenInLogic/&source=gmail&ust=1566691353435000&usg=AFQjCNErX9gW3CQwoQvT0sOqkqVWlIU4lw" href="https://www.facebook.com/groups/WomenInLogic/" style="color: #771100; text-decoration-line: none;" target="_blank">Facebook Group</a>, </span>which she described with enthusiasm,
especially regarding the positive consequences of the project. On the other
hand,<span style="mso-spacerun: yes;"> </span>the end of Valeria’s contribution
contained a grain of (in my view healthy) skepticism, since she proposed a
series of challenges we still need to face in order to create a gender-balanced
environment for women in the field of logic. Her list included the proposition
of a template for letters to be sent to organizing committees reminding them of
inviting women keynote speakers, the need for an update on our lists of women
in the field around the world, the “Wikipedia problem” (the fact that Wikipedia
does not list many women logicians, mathematicians, and philosophers that we
actually know about), the lack of collective memory about women in the field in
general (I would like to add: we still don’t have a good history of women
logicians!), the need<span style="mso-spacerun: yes;"> </span>for articulation
with similar groups in other fields and also the urgency of research collecting
data about ourselves.</span></div>
<div class="MsoNormal">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEieBUPJvvHRhIP-QIAcRYh17WE-RVcG6P5neMPYlC6V0PgCr9VpuUAbHX22tOU1U1y3IlZE4e_tdDaSBazFWRT3jCpxJ6LkLcpxIt5chOt2CwANYfHsilAVljWXIotQgxckHuLLejClE-T2/s1600/L1009264.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="710" data-original-width="1435" height="197" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEieBUPJvvHRhIP-QIAcRYh17WE-RVcG6P5neMPYlC6V0PgCr9VpuUAbHX22tOU1U1y3IlZE4e_tdDaSBazFWRT3jCpxJ6LkLcpxIt5chOt2CwANYfHsilAVljWXIotQgxckHuLLejClE-T2/s400/L1009264.jpg" width="400" /></a></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">The
third contribution to the round table was made by Elaine Pimentel, whose focus
was the presence of women in Mathematics in Brazil and how to fight the
disparities in the field. She started by presenting the data on the
distribution of CNPq scholarships, and then presented the project “Girls in Mathematics”,
which recently received a grant from CNPq. The main objective of the project is
to stimulate girls from High Schools to know better and more mathematics,
including the presence of women in its history and current practice, in order
to increase their participation in the area. – We all hope that the project
flourishes, Elaine! Before finishing her talk, Elaine also listed some
initiatives by the mathematical Brazilian community, such as the </span><a href="https://impa.br/eventos-do-impa/eventos-2019/encontro-brasileiro-de-mulheres-matematicas/"><span style="color: #1155cc; font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">Brazilian Meeting of Women
Mathematicians</span></a><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">
and the platform (and related actions) </span><a href="https://matematicasf.wordpress.com/"><span style="color: #1155cc; font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">Mathematics: feminine noun</span></a><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">.</span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">Claudia
Nalon was the next to talk about women in Artificial Intelligence, especially
Automated Deduction, the important junction to logic.</span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">In
order to conclude our presentation, I talked about the need to rethink our
strategies for teaching logic as one of the main ways to show that women can do
logic as well as men and, consequently,<span style="mso-spacerun: yes;">
</span>have equal rights to living and working in the world of logic. I then
made a very brief description of two experiences of “logical empowering” of
High School female students (some former philosophy students of mine) realized
in Porto Alegre, a couple of years ago and, finally, presented some questions
we had elaborated together to start a conversation with the audience, which was
great:</span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal" style="margin-left: .5in; mso-list: l0 level1 lfo1; text-indent: -.25in;">
<span style="mso-list: Ignore;">-<span style="font: 7.0pt "Times New Roman";">
</span></span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">How
do we call for more participation of female colleagues in our cause?</span></div>
<div class="MsoNormal" style="margin-left: .5in; mso-list: l0 level1 lfo1; text-indent: -.25in;">
<span style="mso-list: Ignore;">-<span style="font: 7.0pt "Times New Roman";">
</span></span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">How
to instigate more research on the pedagogical aspects of logic?</span></div>
<div class="MsoNormal" style="margin-left: .5in; mso-list: l0 level1 lfo1; text-indent: -.25in;">
<span style="mso-list: Ignore;">-<span style="font: 7.0pt "Times New Roman";">
</span></span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">How
to stimulate the production of more interesting pedagogical materials?</span></div>
<div class="MsoNormal" style="margin-left: .5in; mso-list: l0 level1 lfo1; text-indent: -.25in;">
<span style="mso-list: Ignore;">-<span style="font: 7.0pt "Times New Roman";">
</span></span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">How
do deal with the lack of sensibility for gender problems in our field (with
colleagues that don’t even know their actions are problematic, to say the
least)?</span></div>
<div class="MsoNormal" style="margin-left: .5in; mso-list: l0 level1 lfo1; text-indent: -.25in;">
<span style="mso-list: Ignore;">-<span style="font: 7.0pt "Times New Roman";">
</span></span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">How
to convince colleagues to reshape their syllabi in order to include the work of
women logicians in them, showing original results of women logicians and
consequently serving as role models for students?</span></div>
<div class="MsoNormal" style="margin-left: .5in; mso-list: l0 level1 lfo1; text-indent: -.25in;">
<span style="mso-list: Ignore;">-<span style="font: 7.0pt "Times New Roman";">
</span></span><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">How
to convince organizing committees to pay attention to gender disparities?</span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">It
is worth noticing that our proposal of a round table on the issue was
immediately accepted by the President of the EBL, Cezar Mortari, a few months
before the Conference. </span><span style="color: #333333; font-family: "Trebuchet MS", sans-serif; font-size: 16px;">We were glad for this opportunity and we firmly believe</span><span style="color: #333333; font-family: "Trebuchet MS", sans-serif; font-size: 16px;"> in the continuity of this support in our future endeavours.</span><br />
<div>
<span style="color: #333333; font-family: "Trebuchet MS", sans-serif; font-size: 16px;"><br /></span></div>
</div>
<div class="MsoNormal">
<span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">Guest
post by Gisele Secco, Professor of Philosophy at the Universidade Federal de
Santa Maria (UFSM), Rio Grande do Sul, Brazil</span></div>
<div class="MsoNormal">
<a href="https://ufsm.academia.edu/gdsecco"><span style="color: #1155cc; font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";">https://ufsm.academia.edu/gdsecco</span></a><span style="font-family: "trebuchet ms" , sans-serif; mso-bidi-font-family: "Trebuchet MS"; mso-fareast-font-family: "Trebuchet MS";"> </span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjLWpOdmB8ugHWoZTtkBr6HR9x2x3CIzQ99B-UZ8Csmkd3BLZDsDqkZ891PGqQAxU8_JdcIMWnOK7ik4kvtp6TUw_4mddagGMteWBOu2dWKK0oNbDuLzISmaG2Jzp9Yl5jjecIpd10u5G-S/s1600/L1009295.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="743" data-original-width="1106" height="267" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjLWpOdmB8ugHWoZTtkBr6HR9x2x3CIzQ99B-UZ8Csmkd3BLZDsDqkZ891PGqQAxU8_JdcIMWnOK7ik4kvtp6TUw_4mddagGMteWBOu2dWKK0oNbDuLzISmaG2Jzp9Yl5jjecIpd10u5G-S/s400/L1009295.jpg" width="400" /></a></div>
<br />
<div class="MsoNormal">
<br /></div>
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:-536870145 1107305727 0 0 415 0;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-charset:0;
mso-generic-font-family:auto;
mso-font-pitch:auto;
mso-font-signature:0 0 0 0 0 0;}
@font-face
{font-family:"Trebuchet MS";
panose-1:2 11 6 3 2 2 2 2 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:647 0 0 0 159 0;}
@font-face
{font-family:"Noto Sans Symbols";
panose-1:2 11 6 4 2 2 2 2 2 4;
mso-font-charset:0;
mso-generic-font-family:auto;
mso-font-pitch:auto;
mso-font-signature:0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0in;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:Calibri;
mso-fareast-font-family:Calibri;
mso-bidi-font-family:Calibri;}
.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-family:Calibri;
mso-ascii-font-family:Calibri;
mso-fareast-font-family:Calibri;
mso-hansi-font-family:Calibri;
mso-bidi-font-family:Calibri;}
@page WordSection1
{size:595.0pt 842.0pt;
margin:70.85pt 85.05pt 70.85pt 85.05pt;
mso-header-margin:35.4pt;
mso-footer-margin:35.4pt;
mso-page-numbers:1;
mso-paper-source:0;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:5787993;
mso-list-template-ids:916615664;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:-;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:Calibri;
mso-fareast-font-family:Calibri;
mso-hansi-font-family:Calibri;
mso-bidi-font-family:Calibri;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Courier New";
mso-fareast-font-family:"Courier New";
mso-hansi-font-family:"Courier New";
mso-bidi-font-family:"Courier New";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:▪;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Noto Sans Symbols";
mso-fareast-font-family:"Noto Sans Symbols";
mso-hansi-font-family:"Noto Sans Symbols";
mso-bidi-font-family:"Noto Sans Symbols";}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:●;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Noto Sans Symbols";
mso-fareast-font-family:"Noto Sans Symbols";
mso-hansi-font-family:"Noto Sans Symbols";
mso-bidi-font-family:"Noto Sans Symbols";}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Courier New";
mso-fareast-font-family:"Courier New";
mso-hansi-font-family:"Courier New";
mso-bidi-font-family:"Courier New";}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:▪;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Noto Sans Symbols";
mso-fareast-font-family:"Noto Sans Symbols";
mso-hansi-font-family:"Noto Sans Symbols";
mso-bidi-font-family:"Noto Sans Symbols";}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:●;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Noto Sans Symbols";
mso-fareast-font-family:"Noto Sans Symbols";
mso-hansi-font-family:"Noto Sans Symbols";
mso-bidi-font-family:"Noto Sans Symbols";}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Courier New";
mso-fareast-font-family:"Courier New";
mso-hansi-font-family:"Courier New";
mso-bidi-font-family:"Courier New";}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:▪;
mso-level-tab-stop:none;
mso-level-number-position:left;
text-indent:-.25in;
mso-ascii-font-family:"Noto Sans Symbols";
mso-fareast-font-family:"Noto Sans Symbols";
mso-hansi-font-family:"Noto Sans Symbols";
mso-bidi-font-family:"Noto Sans Symbols";}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
-->
</style></div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-81196008138087527752019-06-17T22:23:00.000-07:002019-06-17T22:23:19.897-07:00By-Laws for Women in Logic: what and why <div dir="ltr" style="text-align: left;" trbidi="on">
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.<br />
<div class="gs" style="background-color: white; font-family: Roboto, RobotoDraft, Helvetica, Arial, sans-serif; margin: 0px; padding: 0px 0px 20px; width: 1104px;">
<div class="">
<div class="ii gt" id=":10v" style="direction: ltr; font-size: 12.8px; margin: 8px 0px 0px; padding: 0px; position: relative;">
<div class="a3s aXjCH " id=":122" style="font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
<span style="color: #222222;">The bylaws are inspired by PPDP(</span><a href="http://ppdp-lopstr-18.cs.uni-frankfurt.de/ppdp18.html" style="box-sizing: border-box; font-family: Merriweather, "Helvetica Neue", Arial, sans-serif; font-size: 16px; text-align: center; text-decoration-line: none; transition: all 0.35s ease 0s;"><span style="color: black;">Principles and Practice of Declarative Programming</span></a><span style="color: #222222;">) </span></div>
<div class="a3s aXjCH " id=":122" style="font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
<span style="color: #222222;">which is a SIGPLAN affiliated event.</span></div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
The goals of the Workshop are inspired by the ones from Women in Machine Learning,</div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
simplifying a little their existing mission statement.<br /><br />The next steps would be:<br />- Feedback and Discussion<br />- Invite everyone to the SC<br />- Discuss possible PC / GC chairs for WiL in 2020<br />- Discuss a possible location for WiL 2020<br />- Discuss possible format (if necessary)<br />------------------------------<wbr></wbr>---------------</div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
<br />Women in Logic (WIL)<br />OVERVIEW<br /><br />WiL aims to provide a forum that brings together women working on logical foundations of computer science.<br />Our goal is to enhance the experience of women in logic and closely related areas, making achievements of women</div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
in logic known to the community, and thereby increasing the number of women in logic. </div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
Our flagship event is the annual WiL Workshop.<br /><br />WiL Symposium Bylaws<br /><br /> WiL is an annual workshop.<br /> WiL is scheduled by a Steering Committee (SC) whose composition and function are specified in the next section.<br /> Each symposium has a Program Committee (PC) that is responsible for the scientific content of the program.<br /> Each symposium has a PC Chair that is responsible for the PC composition and cannot submit any paper.<br /> Each symposium has a General Chair that is responsible for the local organization, finances, publicity, and liaison </div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
with sponsors.<br /> WiL requests annually for in-cooperation status with the ACM SIGLOG.<br /> Modifications of these bylaws are submitted to the SC Chair and require the approval of the SC.<br /><br />WiL Steering Committee (SC)<br /><br /> The purpose of the SC is to ensure the long-term success of the WiL.<br /> The SC selects the location, date, PC and General Chairs of each symposium.</div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
PC and General Chair are just a useful fiction for co-chairs, who divide the work the best way they can.<br /> The SC consists of the PC and General Chairs of the last 3 symposia and one member of the SIGLOG </div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
executive committee.<br /> The SIGLOG representative is appointed by the chair of SIGLOG, subject to approval by the chair of the WiL </div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
steering committee, and ensures coordination between SIGLOG and other SIGLOG affiliated events; </div>
<div class="a3s aXjCH " id=":122" style="color: #222222; font-family: Arial, Helvetica, sans-serif; font-size: small; font-stretch: normal; font-variant-east-asian: normal; font-variant-numeric: normal; line-height: 1.5; overflow: hidden;">
once every three years when the SIGLOG executive committee changes, the SIGLOG representative changes.<br /> The SC elects its own chair shortly after the end of each workshop.<br /> The decisions of the SC require at least 50% of the votes and a simple majority.<br /><br /><br />Initial Composition:<br /><br />- Valeria de Paiva (Past WiL Chair) (appointed until 2022)<br />- Amy Felty (Past WiL Chair) (appointed until 2022)<br />- Alexandra Silva (SIGLOG Rep. and LMW liaison) (appointed until 2022)<br />- Catuscia Palamidessi (appointed until 2020)<br />- Claudia Nalon (appointed until 2020)<br />- Perdita Stevens (appointed until 2021)<br />- Brigitte Pientka (appointed until 2021)<br /><br /><br /><div class="yj6qo">
</div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi-f9yVPeGWIk8dM_-7DuUiy-VFs8CLqqwOBPM8EH_SFueBkm53_MDpL3HEQTLifg0-tyqGjU2lMfsPBrlXqLEaZ6zA40vCRF3bG9O_6cxGuIsjow28Wt01S59a4F4xizu5_iyzM8dib2UB/s1600/bylaws.png" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" data-original-height="194" data-original-width="252" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi-f9yVPeGWIk8dM_-7DuUiy-VFs8CLqqwOBPM8EH_SFueBkm53_MDpL3HEQTLifg0-tyqGjU2lMfsPBrlXqLEaZ6zA40vCRF3bG9O_6cxGuIsjow28Wt01S59a4F4xizu5_iyzM8dib2UB/s1600/bylaws.png" /></a></div>
<div class="adL">
<br /></div>
</div>
</div>
<div class="hi" style="background: rgb(242, 242, 242); border-bottom-left-radius: 1px; border-bottom-right-radius: 1px; color: #222222; margin: 0px; padding: 0px; width: auto;">
</div>
</div>
</div>
</div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com2tag:blogger.com,1999:blog-4989361330922276730.post-21403760081903070192019-05-04T12:52:00.003-07:002019-05-05T18:52:37.681-07:00Round Table Women in Logic (in Brazil)<div dir="ltr" style="text-align: left;" trbidi="on">
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhfxnopXgyGM9hzy62DIG-YQi7lWz6dZnXNzbijzCJtf1x78kifjogJ7QQTExnwhXXDFlRqXoNoB-8iqSc7rWPaTxyhoa3kXLwpsIJPjtM8cctNENdel_gtrYVuCtfqWFXPzD5-CFd4i4Dr/s1600/IMG_8250.JPG" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" data-original-height="1600" data-original-width="1200" height="320" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhfxnopXgyGM9hzy62DIG-YQi7lWz6dZnXNzbijzCJtf1x78kifjogJ7QQTExnwhXXDFlRqXoNoB-8iqSc7rWPaTxyhoa3kXLwpsIJPjtM8cctNENdel_gtrYVuCtfqWFXPzD5-CFd4i4Dr/s320/IMG_8250.JPG" width="240" /></a></div>
Next week is the <a href="https://ebl2019.ci.ufpb.br/" target="_blank">Encontro Brasileiro de Logic (Brazilian Logic Meeting</a>) in Joao Pessoa, Paraiba, Brazil (https://ebl2019.ci.ufpb.br/) 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.<br />
<br />
First the ones on Women in Logic, the workshop, now in its third edition in 2019.<br />
<br />
How did it come to be?<br />
<br />
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.<br />
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjNrTt555sIrdUh8ZrnxAugXfk7rFx1z79volorOAWPIKbYx2fhbUeqoQ3Y1C3hT7OSB2mzUQUzt4l_eJ6wDMPvZBQqC1QPwrde72Vd6fOhjBEx-9Zv-2bMkmdgjPW1FFHNI1V0yDU7SVeQ/s1600/lics2013-orna.jpg" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" data-original-height="1125" data-original-width="1500" height="240" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjNrTt555sIrdUh8ZrnxAugXfk7rFx1z79volorOAWPIKbYx2fhbUeqoQ3Y1C3hT7OSB2mzUQUzt4l_eJ6wDMPvZBQqC1QPwrde72Vd6fOhjBEx-9Zv-2bMkmdgjPW1FFHNI1V0yDU7SVeQ/s320/lics2013-orna.jpg" width="320" /></a><br />
<br />
<br />
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<br />
<br />
I was incensed, but took a while to react. The first post in Women in Logic the Facebook group went up only on <span aria-hidden="true" class="_6spk" role="presentation"> </span><span class="e_en2kzs2zg"><span class="fsm fwn fcg"><a class="_5pcq" href="https://www.facebook.com/groups/WomenInLogic/permalink/1466579866992355/" target=""><abbr class="_5ptz" data-shorten="1" data-utime="1436388937" title="7/8/15, 1:55 PM"><span class="timestampContent" id="js_hy2">July 8, 2015</span></abbr></a>. (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 <a href="https://www.slideshare.net/valeria.depaiva/history-of-lics-impromptu2016" target="_blank">slideshare</a> and <a href="https://drive.google.com/file/d/1kGsfAD1BKDvmnulWmO5PxR91mnkFGa57/view?usp=sharing" target="_blank">here</a>. In the slides I mentioned that maybe we should have a workshop Women in Logic at FLoC2018.</span></span><br />
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg">In fact we've managed to have the <a href="https://sites.google.com/site/firstwomeninlogicworkshop/" target="_blank">first Women in Logic</a> 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.</span></span><br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhXdnunvuMh7H4FWRrEC31jlSWiw0SoZU-SRF09Xs2Qd_ufDtc-XDZNkQHOk0ZoDb-ynWHbrn_saB_-vbcTfe645Jg5VWOB9N2SBxNuRQCrtJHH8M4eWx6T3J0IkqBR03N_w7vUWPAp-mPL/s1600/Wil2017.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="294" data-original-width="960" height="122" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhXdnunvuMh7H4FWRrEC31jlSWiw0SoZU-SRF09Xs2Qd_ufDtc-XDZNkQHOk0ZoDb-ynWHbrn_saB_-vbcTfe645Jg5VWOB9N2SBxNuRQCrtJHH8M4eWx6T3J0IkqBR03N_w7vUWPAp-mPL/s400/Wil2017.jpg" width="400" /></a></div>
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"><br /></span></span>
So we were set for <a href="https://sites.google.com/site/womeninlogic2018/welcome" target="_blank">Women in Logic 2018</a>, 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.<br />
<br />
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 <a href="https://dl.acm.org/citation.cfm?id=3313915&fbclid=IwAR0O-6CwTUZRsp5xTW3xoZYpVrwwr6JZOpDcnIL7MBSTlYBItrK9VnmTHeM" target="_blank">ACM digital library</a>. The preprint version is a <a href="https://drive.google.com/file/d/1-pfZ_UGGN9faiiOwxgLtYXwrqw3bdBKb/view?usp=sharing" target="_blank">Google doc.</a><br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh5pdJ5v1ShN5Lod6cJdROid48gQLCFwm7OiNt9E_zLVc-xoEmspybb4geXYDmJhrz3o5eyxIBY0-8V99eyLA-R8VZw0WmiJ6ZcihANJ5lhKr7c1f48ZBKK7G4yZIgSZ9ta_7hsa_o9Z6BJ/s1600/WiL2018Oxford.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1200" data-original-width="1600" height="240" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh5pdJ5v1ShN5Lod6cJdROid48gQLCFwm7OiNt9E_zLVc-xoEmspybb4geXYDmJhrz3o5eyxIBY0-8V99eyLA-R8VZw0WmiJ6ZcihANJ5lhKr7c1f48ZBKK7G4yZIgSZ9ta_7hsa_o9Z6BJ/s320/WiL2018Oxford.jpg" width="320" /></a></div>
Now we are preparing for <a href="https://sites.google.com/site/womeninlogic2019/home" target="_blank">Women in Logic 2019</a> in Vancouver. The program for WiL 2019 should be coming up soon. And we have two impressive speakers lined up, <span style="font-family: "arial" , sans-serif; font-size: small;">Anne Condon (UBC) and </span><span style="font-family: "arial" , sans-serif; font-size: small;">Zena Ariola (Univ. of Oregon). </span><br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<span style="font-family: "arial" , sans-serif; font-size: small;"><a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgkvUatztWqc55ej53uekDRErHRnA_vzkjIOXQJcOJPSSLx4Hm35iG36M4d4C-T7PSrIPb8OLn9iWYfLo32KLSHnLGBiKfu3zuHLP0yUV94ZoqdsunECI-LiVZIX1YZGK1c88mhxvlzljck/s1600/IMG_7370.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="1200" data-original-width="1600" height="300" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgkvUatztWqc55ej53uekDRErHRnA_vzkjIOXQJcOJPSSLx4Hm35iG36M4d4C-T7PSrIPb8OLn9iWYfLo32KLSHnLGBiKfu3zuHLP0yUV94ZoqdsunECI-LiVZIX1YZGK1c88mhxvlzljck/s400/IMG_7370.jpg" width="400" /></a></span></div>
<br />
<br />
<br />
<span class="e_en2kzs2zg"><span class="fsm fwn fcg"></span></span></div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-90840721278005067102018-11-08T08:35:00.002-08:002018-11-08T08:35:39.638-08:00Vardi's "How We Lost the Women in Computing"<div dir="ltr" style="text-align: left;" trbidi="on">
<h3 class="post-title entry-title" itemprop="name">
<br />
</h3>
<div class="post-header">
</div>
<div dir="ltr" style="text-align: left;">
A bit old by now (May 2018), but very relevant still. <br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjaIQ0YA4IUeRWftq4xWjn_ETkHcXSU97ZkOPHz8eLa6u7qIqSMh_76iOevtFHfm6C_i5SFpOplaG5U_wWqZ8PJr4NC01PChZCcxojZ_e1sIBdwGtPxplKGz1PywEVnIcfsadOLGlvMg8Y/s1600/wadham.jpg" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="669" data-original-width="1185" height="360" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjaIQ0YA4IUeRWftq4xWjn_ETkHcXSU97ZkOPHz8eLa6u7qIqSMh_76iOevtFHfm6C_i5SFpOplaG5U_wWqZ8PJr4NC01PChZCcxojZ_e1sIBdwGtPxplKGz1PywEVnIcfsadOLGlvMg8Y/s640/wadham.jpg" width="640" /></a></div>
<br />
<span style="font-size: small;"><a href="https://www.cs.rice.edu/%7Evardi/" target="_blank">Moshe Vardi</a> is a <span style="-webkit-text-stroke-width: 0px; background-color: white; color: #222222; display: inline !important; float: none; font-family: Roboto, arial, sans-serif; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: 400; letter-spacing: normal; text-align: left; text-decoration-color: initial; text-decoration-style: initial; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px;">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.</span></span><br />
<span style="-webkit-text-stroke-width: 0px; background-color: white; color: #222222; display: inline !important; float: none; font-family: Roboto, arial, sans-serif; font-size: xx-small; font-style: normal; font-variant-caps: normal; font-variant-ligatures: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: left; text-decoration-color: initial; text-decoration-style: initial; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px;"><span style="font-size: small;"><a class="jive-link-external-small" href="https://cacm.acm.org/magazines/2018/5/227192-how-we-lost-the-women-in-computing/fulltext" rel="nofollow">https://cacm.acm.org/magazines/2018/5/227192-how-we-lost-the-women-in-computing/fulltext</a></span> </span></div>
</div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-41800655677196729612018-06-30T08:24:00.001-07:002018-06-30T08:46:05.636-07:00Women in Logic 2018!<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhzjZ5K1hcqlykydLicWVZofSn-DFjNWDliUMiuYfJFp2mQyHV2cJyzJlBvVRHMKZVXGhuAewlhPXVW9spAY_ZB5ONcOl84WXF-eaRZZyP3CNpmgRNoQhXXTp6-5uxfWvJkGk4YZlnyT73K/s1600/wil2017.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="492" data-original-width="1600" height="121" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhzjZ5K1hcqlykydLicWVZofSn-DFjNWDliUMiuYfJFp2mQyHV2cJyzJlBvVRHMKZVXGhuAewlhPXVW9spAY_ZB5ONcOl84WXF-eaRZZyP3CNpmgRNoQhXXTp6-5uxfWvJkGk4YZlnyT73K/s400/wil2017.jpeg" width="400" /></a></div>
<br />
This was the picture at the end of Women in Logic 2017 in <span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">Reykjavik, Iceland.</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">Now <a href="https://sites.google.com/site/womeninlogic2018/welcome" target="_blank">Women in Logic 2018</a> is about to start, exactly in a week's time.</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">The program is in </span><a href="https://sites.google.com/site/womeninlogic2018/program."><span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif;"><span style="font-size: 12.8px;">https://sites.google.com/site/womeninlogic2018/program</span></span><span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">.</span></a><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">I have several questions. </span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">Is the workshop useful? </span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">Should we carry on organizing it?</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">If so, how should we do it?</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">I do not intend to be doing it for ever, so how do we ensure a healthy "change of the guard"?</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">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?</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">Other logic communities in Computer Science exist CSL, ETAPS, POPL, ITP, etc comes to mind. </span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">What are the advantages and disadvantages? </span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;">I am interested in everyone's response to these questions. Please do let me know your views.</span><br />
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span>
<span style="font-family: "helvetica neue" , "helvetica" , "arial" , sans-serif; font-size: 12.8px; text-align: center;"><br /></span></div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com1tag:blogger.com,1999:blog-4989361330922276730.post-26996801930518492192017-08-08T17:03:00.000-07:002017-08-08T17:03:08.524-07:00The Googlescreed Incident<div dir="ltr" style="text-align: left;" trbidi="on">
<br />
<footer class="j-content-footer clearfix font-color-meta j-content-footer-tall"><div class="j-content-footer-line">
<span class="jive-content-personal font-color-meta"><strong class="font-color-meta"></strong></span></div>
</footer><br />
<section class="j-content-body"><div class="jive-rendered-content">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhj_EvihR2HGnx8Q_IfFAzeJNJFWnj07-1GbcGO-wB-qlOEDJYIz_6brBa5y2O8QX9pVuBS3ryKkO_Bs1SRNmm2es30jyvBdsVoTcAi6TA6cnTaCCl-wdkNNy_2UOLD6CmrpCqi_K8MQLQ6/s1600/google.jpg" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" data-original-height="372" data-original-width="620" height="192" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhj_EvihR2HGnx8Q_IfFAzeJNJFWnj07-1GbcGO-wB-qlOEDJYIz_6brBa5y2O8QX9pVuBS3ryKkO_Bs1SRNmm2es30jyvBdsVoTcAi6TA6cnTaCCl-wdkNNy_2UOLD6CmrpCqi_K8MQLQ6/s320/google.jpg" width="320" /></a></div>
So, it is all over the social media.<br />
Gizmodo published <a class="jive-link-external-small" href="http://gizmodo.com/exclusive-heres-the-full-10-page-anti-diversity-screed-1797564320" rel="nofollow" target="_blank">Google’s Ideological Echo Chamber</a>,
a software engineer’s manifesto or a 10-page screed against Google’s
diversity initiatives. And everyone is joining in in the "fun".<br />
<div style="min-height: 8pt; padding: 0px;">
<br /></div>
The Guardian has <a class="jive-link-external-small" href="https://www.theguardian.com/world/2017/aug/06/google-staffers-manifesto-against-affirmative-action-sparks-furious-backlash" rel="nofollow" target="_blank">Google staffer's hostility to affirmative action sparks furious backlash | World news | The Guardian</a> and <a class="jive-link-external-small" href="https://www.theguardian.com/technology/2017/aug/07/silicon-valley-google-diversity-black-women-workers" rel="nofollow" target="_blank">Segregated Valley: the ugly truth about Google and diversity in tech | Technology | The Guardian</a>.<br />
The Atlantic joined in with <a class="jive-link-external-small" href="https://www.theatlantic.com/technology/archive/2017/08/why-is-tech-so-awful/536052/" rel="nofollow" target="_blank">A Googler's Anti-Diversity Screed Reveals Tech's Rotten Core - The Atlantic</a> and the Washington Post replied with <a class="jive-link-external-small" href="https://www.washingtonpost.com/news/the-switch/wp/2017/08/06/a-google-engineer-wrote-that-women-may-be-genetically-unsuited-for-tech-jobs-women-wrote-back/?utm_term=.3054ed5c10cc" rel="nofollow" target="_blank">A Google engineer who bemoaned racial diversity has sparked anger in Silicon Valley - The Washington Post</a>.<br />
<div style="min-height: 8pt; padding: 0px;">
<br /></div>
Yonatan Zunger took the opportunity to pen<br />
<h1 class="">
<a class="jive-link-external-small" href="https://medium.com/@yonatanzunger/so-about-this-googlers-manifesto-1e3773ed1788" rel="nofollow" target="_blank">So, about this Googler’s manifesto</a></h1>
and tell everyone he has left Google.<br />
<div style="min-height: 8pt; padding: 0px;">
<br /></div>
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.<br />
<div style="min-height: 8pt; padding: 0px;">
<br /></div>
<div align="center" style="text-align: justify;">
<br /></div>
<div align="center" style="text-align: justify;">
<br /></div>
<div align="center" style="text-align: justify;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEisEDqVcsoulFeEHPvJ6F1RugBNvKGGt3eMbk95t6CRSrPAatHncBvY9khC7pfZ9tw2s7RDhl9-juI3aqL2RdneQ9Y9Vx0_Dtn54HN9Q-bmgvNdC-O7LzJfQhUn2qQegRhvRb9SDGG6dHlQ/s1600/googlscreed.jpg" imageanchor="1" style="clear: left; float: left; margin-bottom: 1em; margin-right: 1em;"><img border="0" data-original-height="415" data-original-width="571" height="290" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEisEDqVcsoulFeEHPvJ6F1RugBNvKGGt3eMbk95t6CRSrPAatHncBvY9khC7pfZ9tw2s7RDhl9-juI3aqL2RdneQ9Y9Vx0_Dtn54HN9Q-bmgvNdC-O7LzJfQhUn2qQegRhvRb9SDGG6dHlQ/s400/googlscreed.jpg" width="400" /></a></div>
<div align="center" style="text-align: justify;">
Quick and easy debunking in <a class="jive-link-external-small" href="http://journals.plos.org/plosbiology/article?id=10.1371%2Fjournal.pbio.1001005" rel="nofollow" target="_blank">Neuro Nonsense</a> and <a class="jive-link-external-small" href="https://motherboard.vice.com/en_us/article/gvywam/how-neurosexism-feeds-stereotypes-about-mens-and-womens-brains" rel="nofollow" target="_blank">How ‘Neurosexism’ Feeds Stereotypes About Male and Female Brains - Motherboard</a> . But if you have more popular and easy to read debunking articles I'm very interested to hear about it. </div>
<div align="center" style="min-height: 8pt; padding: 0px; text-align: justify;">
<br /></div>
<div align="center" style="text-align: justify;">
If one wants to do serious reading, maybe follow up in the references mentioned in </div>
<div class="separator" style="clear: both; text-align: center;">
</div>
<a class="jive-link-external-small" href="https://nuance.jiveon.com/external-link.jspa?url=https%3A%2F%2Fwww.edge.org%2F3rd_culture%2Fdebate05%2Fdebate05_index.html" rel="nofollow" target="_blank">https://www.edge.org/3rd_culture/debate05/debate05_index.html</a><br />
<div align="center" style="text-align: justify;">
a debate between two Harvard professors on the science of "gender science".</div>
<div align="center" style="text-align: justify;">
More sensible reading in <a href="https://gizmodo.com/men-have-always-used-science-to-explain-why-theyre-bett-1797608461" target="_blank">Gizmodo today</a> "<a data-id="" href="http://gizmodo.com/men-have-always-used-science-to-explain-why-theyre-bett-1797608461" style="box-sizing: inherit; color: black; font-family: ProximaNovaCond, sans-serif; line-height: inherit; margin-top: 0px; text-align: left; text-decoration-line: none;">Men Have Always Used 'Science' to Explain Why They're Better Than Women</a>".</div>
</div>
<div id="previewable-binary-viewer">
</div>
</section></div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0tag:blogger.com,1999:blog-4989361330922276730.post-78581129545291521382017-06-26T06:40:00.001-07:002017-06-26T06:40:53.243-07:00Back from Iceland: Women in Logic 2017<div dir="ltr" style="text-align: left;" trbidi="on">
The workshop <a href="https://sites.google.com/site/firstwomeninlogicworkshop/" target="_blank">Women in Logic</a> was a big success. Here we are at the end of the day of talks.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj2NctwDOiWZcyN50sUWqxvJK8SvDDEW6pWHaVOSD_2pceT-IUVDGGhwsbkXDuSoVyzoqmVCisXtScBcBFe359SGYVxlt-OxjOYk5Iy3V-AaHCG2AmveOJTosiBgqn5PP5kCTV6cRr973EK/s1600/WiL2017-all.jpeg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" data-original-height="492" data-original-width="1600" height="121" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj2NctwDOiWZcyN50sUWqxvJK8SvDDEW6pWHaVOSD_2pceT-IUVDGGhwsbkXDuSoVyzoqmVCisXtScBcBFe359SGYVxlt-OxjOYk5Iy3V-AaHCG2AmveOJTosiBgqn5PP5kCTV6cRr973EK/s400/WiL2017-all.jpeg" width="400" /> </a></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
<a href="https://en.wikipedia.org/wiki/Ursula_Martin" target="_blank">Ursula Martin</a> 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. </div>
<div class="separator" style="clear: both; text-align: left;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
The two invited speakers <a href="http://www.lix.polytechnique.fr/~catuscia/" target="_blank">Catuscia Palamidessi</a> and <a href="http://www.cic.unb.br/~nalon/" target="_blank">Claudia Nalon</a> were great and attracted extra attendance from the other workshops. Thanks for stepping in, girls! </div>
<div class="separator" style="clear: both; text-align: left;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
Also thanks to all speakers, participants and the ones far away but cheering for us!</div>
<div class="separator" style="clear: both; text-align: left;">
<br /></div>
<div class="separator" style="clear: both; text-align: left;">
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!</div>
</div>
Valeriahttp://www.blogger.com/profile/01336528462208811726noreply@blogger.com0