Monday 14th July:

• 39th International Workshop on Unification (UNIF 2025)
       Corelli-Lodge Room
• 12th International Workshop on Higher-Order Rewriting (HOR 2025)
      MacNeice Room
• Women in Logic 2025 (WiL 2025)
       Pevsner Room

Saturday 19th July:

• International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2025)
      Corelli Room
• Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (IFIP-WG1.6 2025)
      MacNeice Room
• Day 1 of 9th International Workshop on Trends in Linear Logic and Applications (TLLA 2025)
      Pevsner Room
• Day 1 of 17th Workshop on Games for Logic and Programming Languages (GALOP 2025)
      Lodge Room Elgar-Bantock Room

Sunday 20th July:

• 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)
       Corelli Room
• Day 2 of 9th International Workshop on Trends in Linear Logic and Applications (TLLA 2025)
      Pevsner Room
• Day 2 of 17th Workshop on Games for Logic and Programming Languages (GALOP 2025)
       Lodge Room Elgar-Bantock Room