Seminar: Circularity, event structures, and contracts