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
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
Curry-Howard II
A few days ago, I gave a talk in the Logic Seminar at Leeds. The slides are available at leeds14102012. Essentially, it shows a semantics for full first-order intuitionistic logic in … Continue reading
November 22, 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