Hi,
We have an open position in industry leading formal product Jasper from
Cadence.
The position is in Bangalore and we are interested in recently completed
PhDs or a Masters in formal domain.
Looking for people who are passionate about formal/coding and making an
impact with their knowledge in Jasper.
Please write to me directly at ravipr(a)gmail.com or ravipr(a)cadence.com
for further
details.
Thanks
Ravi
----- 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 -----
