Abstract.We propose a model of events with circular causality, in the form of a conservative extension of Winskel's event structures.We show a correspondence between the configurations in our event structures, and the proofs of a fragment of Propositional Contract Logic.