hi, can the following talk announcement please be sent on the FMT group? many thanks, ram --- The DLMPST Commission on Logic Education https://dlmps.org/pages/commissions.php invites you to a webinar on logic education by Professor Maria Manzano. Date: Apr 8, 2025 Time: 1000 EST, 1200 GMT, 1400 CET, 1930 IST, 2200 (Beijing) Zoom link: https://cmi-ac-in.zoom.us/j/89497108451?pwd=rLl7QvAfnfJHTxp5h6ZVoZzyGuvNQQ.1 Meeting ID: 894 9710 8451 Passcode: udayana Talk details: Tools for teaching logic Maria Manzano Salamanca, Spain I will tell you about the European ALFA project on Tools for Teaching Logic that we had last century and about the International TTL Congresses that we held in 2000, 2006, 2011, 2015, and 2023. The first goal of the ALFA project was to share our experience as teachers among Aracne members. We proposed: (1) the preparation of a metabook (with hypertext version), (2) the design of an on-line dictionary of logic terms, (3) the investigation of the existing software for the teaching of logic, (4) the translation of both elementary and interdisciplinary texts and software, (5) to help potential authors to write lecture notes, (6) the dissemination of our project both within our academic community and outside it (high school), thus bolstering a good image of Logic and (7) to support women’s participation in higher education. The network we created was interdisciplinary and included professors and researchers from philosophy, mathematics, computer science, and linguistics. Some of the results of the project can be consulted on the Aracne website (aracne.usal.es.) and others in the Summa Logicae digital library (logicae.usal.es) Speaker Bio: María Gracia Manzano Arjona is a Spanish philosopher specializing in mathematical logic and model theory. Manzano earned her Ph.D. in 1977 from the University of Barcelona. Her dissertation, Sistemas generales de la lógica de segundo orden [General systems of second-order logic], was supervised by Jesús Mosterín. She is a professor of logic and the philosophy of science at the University of Salamanca. She is the author of several books on logic and model theory. https://en.wikipedia.org/wiki/Mar%C3%ADa_Manzano ---- -- R Ramanujam