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 CONICET and finally in Salvador at the Institute of Mathematics of the UFBA.
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 students may find helpful to consult some references. Probably any book on mathematical logic contains the topics I am about to discuss, yet here there are some suggestions aimed at Italian speakers without a strong background in mathematics.
- Giangiacomo Gerla Linguaggio e verità. ilmiolibro.it. 2011. 274 pages (also available in reduced form, for free, here)
- Andrea Asperti, Agata Ciabattoni Logica a informatica. McGraw-Hill. 1997. 204 pages.
- Dario Palladino Corso di logica. Introduzione al calcolo dei predicati. Carocci. 2010. 409 pages.
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 perspective). I (hand-wrote) some notes that can be downloaded here. Take it cum grano salis, they are just notes I have used to follow a line of thoughts, still I believe they can be useful to the audience as they contain both specific references to the results presented and some good books giving an updated account of the subject.
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.
