Giuseppe Primiero will participate to a Workshop on Proof Theory to be held 3-5 December at the University of Groningen, the Netherlands. His talk will be on “Non-transitivity, security and genetical non-neutrality” and it is joint work with Franco Raimondi.