After a few years, it is time to change the appearance of my website. It took a while to find a theme that suited the needs for a neat presentation of … Continue reading
Now it is official: from November 1st, 2014, I will be a mathematical logician in the Dipartimento di Scienza e Alta Tecnologia, Università degli Studi dell’Insubria, part of the mathematical … Continue reading
In March I will be in Genoa for the “Correctness by Construction – CORCON 2014” meeting. In this workshop, part of the CORCON project, I am one of the organisers … Continue reading
To everyone who needs to contact me by email. Due to a change in the system, my official address (@uninsubria.it) is temporarily out of work. Please, use the gmail address!
Following the Marie Curie Fellowship in Leeds which ended in March, I have finished to write the long and complex report about my findings in that sabbatical period. The report … Continue reading
I decided to open a new blog: marcobeniniphoto.wordpress.com. It does not contain any material about my academic work, nor about research. Instead it shows and discusses some of my photographs. if … Continue reading
For those interested, I want to signal the workshop Foundation of Mathematics for Computer-Aided Formalization. I’ve just registered for participation.
Today I spoke about Adpositional Grammars introducing them to my colleagues in Leeds. This post is to whom is interested and wants to have a look at the slides.
In the Proof Theory Seminars series, I will give a talk on Adgrams: categories and linguistics. The seminar will take place in MALL 2, School of Mathematics, University of Leeds, … Continue reading