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