Stéphane Demri: On Temporal and Separation Logics (Invited Paper). TIME 2018: 1:1-1:4