Corelli Room
Sessions
- Session 17A (Jul 19 09:00-17:00) Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2025)
- Session 18A (Jul 20 09:00-17:30) International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2025)