WomenInLogic
@WomenInLogic1
Followers
1K
Following
281
Media
116
Statuses
2K
Women in Logic: dismantling inequality tweet by tweet
Joined July 2020
Where can you find Women in Logic?. WWW: bsky: LinkedIn: Slack: FB: Email: logic@lists.rwth-aachen.de.Zulip:
1
1
3
We are very unlikely to be active on Xitter from here on out.
0
0
0
Women in PLEXUS workshop on substructural logics. December 4-6, 2024. University of Turin. Keynote speakers: Pilar Terrés Villalonga, Elaine Pimentel, Paula Teijeiro, Noemí Lubomirsky.
0
6
14
RT @vclaTUwien: 🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Automating Game Reasoning in Blockch….
0
1
0
🚨TALK ANNOUNCEMENT🚨. "Women in Logic Online". Speaker: Laura Kovács. Title: Automating Game Reasoning in Blockchain Security. Date: Monday, November 25, 2024. Time: 17:00 CEST. Venue: Zoom (registration link will be shared asap). Women in Logic
1
1
3
🚨NEW PAPER ALERT🚨. Funmilola Balogun et al., "Independence Results for Finite Set Theories in Well-Founded Locally Finite Graphs." Studia Logica 112, 1181–1200 (2024).
0
2
3
🚨NEW PAPER ALERT🚨. Angelina Ilić-Stepić et al., "The Logic ILP for Intuitionistic Reasoning About Probability." Studia Logica 112, 987–1017 (2024).
0
0
1
🚨NEW PAPER ALERT🚨. Manuela Busaniche et al., "Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity," Studia Logica 112, 1123–1161 (2024).
0
0
0
🚨NEW PAPER ALERT🚨. Francesca Silva, "Epistemic logic with partial grasp," Synthese 204, 92 (2024). 🚨OPEN ACCESS🚨.
0
0
2
RT @Sara_Ayhan_: Happy to report History and Philosophy of Logic published a translation that I did of an early logic article by Franz von….
0
9
0
🚨ONLINE TALK🚨. Nordic Online Logic Seminar. 21 October 2024 at 16:00 CEST (UTC+2) on Zoom. Åsa Hirvonen (University of Helsinki), "Looking at quantum mechanics with model theoretic glasses". For zoom link, email Graham Leigh, graham.leigh@gu.se.
0
1
3
🚨NEW PAPER ALERT🚨. Francesca Boccuni et al., "Explicit Abstract Objects in Predicative Settings," Journal of Philosophical Logic 53, 1347–1382 (2024).
0
1
1
🚨TALK ANNOUNCEMENT🚨. October 15, 4-5pm (UTC +1), online. Sophie Nagler (University of St Andrews), "Inference behaviour semantics for all* connectives in two-dimensional sequent calculi". To receive the zoom link, email theptsnetwork@gmail.com.
0
1
4
RT @valeriadepaiva: @WomenInLogic1 Categorical generalisations of quantum double models.Anna-Katharina Hirmer and Catherine Meusburger.The….
0
1
0
RT @SaraLUckelman: My revised entry on William of Sherwood is now available in the Stanford Encyclopedia of Philosophy: .
0
1
0
🚨TALK ANNOUNCEMENT🚨. 2 Oct 2024, 10:00 - 12:00 (zoom and in person). Marianna Girlando (ILLC, University of Amsterdam).An introduction to conditionals and their proof theory.
0
0
2
🚨NEW PAPER ALERT🚨. Evelyn Erickson, "A Contextual Account of Explanation in Logic," Principia Vol. 28 No. 2 (2024). 🚨OPEN ACCESS🚨.
0
2
4