##
Recent conference talks by Eugenio Omodeo

**CILC 2013**
P. Calligaris, E.G. Omodeo, A.I. Tomescu, *A proof-checking experiment on representing graphs as membership digraphs*,
Catania, 26 Sept 2013
**CILC 2013**
E.G. Omodeo (invited talk), *Proof verification within set theory*,
Catania, 26 Sept 2013
**ICTCS 2013**
E.G. Omodeo, A. Policriti, A.I. Tomescu: *Bridging syllogistics with combinatorics*,
Palermo, 09 Sept 2013