[FM-India]Webinar on logic education

----- Forwarded message from R Ramanujam <jam(a)imsc.res.in> ----- From: R Ramanujam <jam(a)imsc.res.in>  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 ----- End forwarded message -----