Marco Benini

New look

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

September 16, 2015 · Leave a comment

Time for a change

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

October 16, 2014 · Leave a comment

Workshop in Genoa

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

February 3, 2014 · Leave a comment

Problems with email

To everyone who needs to contact me by email. Due to a change in the system, my official address ( is temporarily out of work. Please, use the gmail address!

November 19, 2013 · Leave a comment

Point-free semantics

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

July 2, 2013 · Leave a comment

New blog

I decided to open a new blog: 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

June 30, 2013 · Leave a comment


For those interested, I want to signal the workshop Foundation of Mathematics for Computer-Aided Formalization. I’ve just registered for participation.

November 28, 2012 · Leave a comment

Today’s seminar

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.

October 26, 2011 · Leave a comment

Seminar announce

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

October 18, 2011 · Leave a comment

Gaetano Aurelio Lanzarone

Questa notte è mancato il professor Gaetano Aurelio Lanzarone, che tutti noi chiamavamo familiarmente Elio. Elio mi ha insegnato, quando ancora ero uno studente, i rudimenti di intelligenza artificiale nel … Continue reading

October 4, 2011 · Leave a comment