PROGRAM FOR SUNDAY, JULY 20TH
Days:
previous day
all days
View: session overviewtalk overview
09:00-17:30 Session 18A: International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)
The programme can be found here.
Location: Corelli Room
09:00-17:20 Session 18B: International Workshop on Trends in Linear Logic and Applications (TLLA 2025, Day 2)
The programme can be found here.
Location: Pevsner Room
09:00-12:00 Session 18C: Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 2)
The programme can be found here.
Location: Elgar-Bantock Room