Logic List Mailing Archive

CfR: Start of "Women in Logic Online"-series / First talk on 20 March 2024 by Valeria de Paiva

==Comment by moderator: please note, that we do not circulate announcements of single talks of a series, but only the creation of a new series. So check the website if you are interested in updates ==



Dear colleagues,

we are starting a new seminar series called "Women in Logic Online"! The first talk will be given by Valeria de Paiva.
Date:                Wednesday, March 20, 2024
Time:               17:00 CET
Venue:             Online via Zoom (link for free registration: https://tuwien.zoom.us/webinar/register/WN_UrB27nExRpaKjvxQXmNlZQ)

ABSTRACT

This is the first talk in a new series of seminars we are calling "Women in Logic Online". As such, I want to start by discussing our collective "Women in Logic", our successes and challenges, as well as our future plans. Still, for most of our work as women in logic in the past seven years, we have vouched to discuss not only our problems and actions, but mostly real work in logic, be that in Computing, AI, Linguistics, Mathematics, Philosophy, and any of the intersections thereof. Thus, I also want to talk about my project "Network Mathematics", which puts together previous strands of work in language, logic, and mathematics. This means that I will tell you about three small prototypes designed to make use of the new tools of AI to improve access to mathematics, especially to Category Theory.

Short Bio:

Valeria de Paiva is a mathematician, logician, and AI scientist, working on natural language processing, logical inference, and all kinds of semantics, especially Dialectica categories. Before Topos, Valeria worked at top industry NLP labs, including Samsung Research America, Nuance, Deem, Cuil, and for many years at Xerox PARC. Before that, she was a professor at the University of Birmingham, UK. She is very keen on making sure that women are not too short-changed in their professional lives. For that, she maintains the
"Women in Logic" website<https://www.womeninlogic.org/> https://www.womeninlogic.org/,
Facebook group<https://www.facebook.com/groups/WomenInLogic> https://www.facebook.com/groups/WomenInLogic, and
blog<https://blog.womeninlogic.org/> https://blog.womeninlogic.org/, helps
the ACM-W Scholarship program<https://women.acm.org/scholarships/>, https://women.acm.org/scholarships/ and started the
international workshop "Women in Logic"<https://www.womeninlogic.org/workshops>,  https://www.womeninlogic.org/workshops
now going for its 7th year.

For more information, please visit: https://www.vcla.at/2024/02/women-in-logic-online/

We hope to see you there!

Agata Ciabattoni & Josephine Dik
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php