PROGRAM FOR MONDAY, JULY 14TH
Days:
next day
all days
View: session overviewtalk overview
09:00-17:15 Session 1A: International Workshop on Unification (UNIF 2025)
The programme can be found here.
Location: Corelli-Lodge Room
09:00-17:30 Session 1B: Higher-Order Rewriting (HOR 2025)
The programme can be found here.
Location: MacNeice Room
09:00-18:00 Session 1C: Women in Logic (WiL 2025)
The programme can be found here.
Location: Pevsner Room