If you give them salt, they like it!
Curriculum Vitae .ps, .pdf (January 2007)
3rd Workshop on Logic and Pragmatics Ca' Vignal II, Universita' di Verona, December 4-6, 2008 1st Workshop, Verona 2003 2nd Workshop, Paris 2004. Workshop on Proof Theory and Algorithms: ICMS Edinburgh (23 to 29 March 2003).
ICMS Edinburgh (23 to 29 March 2003).
Elements of Computability (QMUL, Winter 2004). Logica Computazionale (Verona, autunno 2009)
philosophy mathematical logic, proof-theory theoretical computer science automated deduction
