IRSES secondments in South America
I will be abroad from the 23 of March until the 22 of May. This is another secondment within the MaToMUVI project I coordinate. I will be in Rio, for the conference on Universal Logic. Then in Buenos Aires at…
Luca Spada
PRIN project “Logical Methods of Information Management”
We are happy to announce that our PRIN project “Logical Methods of Information Management” has been funded. The project involves 10 Universities in Italy and about 100 researchers. Here the official webpage.
Matematica Discreta e Logica Matematica (Informatica)
This year I will give a series of introductory lectures on Mathematical Logic for the course “Matematica Discreta e Logica Matematica” at the B.Sc. in Computer Science. I will try to write down some lecture notes, but in the meanwhile…
Tutorial on Lukasiewicz logic and MV-algebras at the summer school in Campinas.
Prior to the MaToMUVI conference Philosophy and Mathematics of Uncertainty and Vagueness organised at CLE (UniCamp, Brazil), there will be a summer school for young researchers and undergaduate students. I will give a short tutorial on MV-algebras (seen in a broad…
Forum of Mathematics, Pi and Forum of Mathematics, Sigma
The idea of having an open access, high level mathematical journal is very welcome. Still, I believe this can be done without charging the authors, nevertheless I wish them success.