FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Elgar-Bantock Room

Aka Composer's Suite

Sessions

  • Session 17D (Jul 19 09:00-15:30) Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 1)
  • Session 18C (Jul 20 09:00-12:00) Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 2)