Marco Benini

New course started

Today, the course Mathematical Logic, in the master degree in Mathematics has started. The material is not yet finished: slides are almost complete, except for the last few lessons and … Continue reading

September 28, 2015 · Leave a comment

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

LaTeXing proofs

I’ve written a LaTeX package to typeset proofs in natural deduction and similar systems. In some ways, it improves the existing packages by adding a new feature: the ability to … Continue reading

December 2, 2014 · 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

Visiting JAIST

Currently, I’m in the Japanese Advanced Institute of Science and Technology, kindly hosted by Prof. H. Ishihara and Dr. T. Nemoto, as part of the CORCON research project. In this … Continue reading

May 28, 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

Seminario a Firenze

Yesterday, I gave a seminar in the Department of Philosophy in Florence. If interested, here are the slides.

April 20, 2013 · Leave a comment