PROGRAM FOR SATURDAY, JULY 19TH
Days:
previous day
next day
all days
View: session overviewtalk overview
09:00-17:00 Session 17A: Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2025)
The programme can be found here.
Location: Corelli Room
09:00-17:30 Session 17B: IFIP Working Group 1.6: Rewriting
The programme can be found here.
Location: MacNeice Room
09:00-17:20 Session 17C: International Workshop on Trends in Linear Logic and Applications (TLLA 2025, Day 1)
The programme can be found here.
Location: Pevsner Room
09:00-15:30 Session 17D: Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 1)
The programme can be found here.
Location: Elgar-Bantock Room