Session 4 — 2027-02-01 — Applied Logic for Games & Interactive Systems