|
|
2012
-
An Abstraction Technique for the Verication of Artifact-Centric
Multi-Agent Systems, Department of Computing, University
of Liverpool, February 14
2012. [slides]
2011
-
First-order Modal Languages for the Specification of Multi-agent
Systems Dipartimento di Ingegneria Informatica,
Automatica e Gestionale, Sapienza Universita di Roma,
November 24 2011. [slides]
2010
-
An Algebraic Proof of Cut Elimination, Dutch-British Workshop
"Algebra & Co-algebra meet Proof Theory", Department of
Computer Science, Imperial College London, January 26
2010. [slides]
2007
- Quantified Modal Logics for Modelling Physical
Objects in Time, LOA, Trento, February 27 2007.
[slides]
- Quantified Modal Logic and the Ontology of
Physical Objects, IHPST, Paris, January 22 2007.
2006
- A General Proof of Kripke-completeness for
QML, Studia Logica - Trends in Logic IV, Torun,
Poland, September 1-4
2006. [pdf]
- The Completeness Properties of QML calculi,
Computer Science Department, UCL, London, May 25
2006.
2005
- La Logica Modale Quantificata e l'Ontologia degli
Oggetti Fisici , 2nd National Conference on Analytical
Ontology, Pisa, 7/9 July
2005. [pdf],
[slides]
- Ti piacciono le riviste di meccanica? Settant'anni di macchine di Turing, 44th Corso di Orientamento Universitario, Cortona, 27 August - 3 September 2005. [pdf], [slides]
|