FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
MacNeice Room

Sessions

  • Session 1B (Jul 14 09:00-17:30) Higher-Order Rewriting (HOR 2025)
  • Session 17B (Jul 19 09:00-17:30) IFIP Working Group 1.6: Rewriting