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
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
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
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
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
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
Problems with email
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!
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
New blog
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
Seminario a Firenze
Yesterday, I gave a seminar in the Department of Philosophy in Florence. If interested, here are the slides.
Marco Benini 
You must be logged in to post a comment.