Program for Saturday, July 19th: Session View

FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR SATURDAY, JULY 19TH: SESSION VIEW

Days:

View: with abstracts talk overview

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

09:00-17:00

Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2025)

09:00-17:30

IFIP Working Group 1.6: Rewriting

09:00-17:20

International Workshop on Trends in Linear Logic and Applications (TLLA 2025, Day 1)

09:00-15:30

Workshop on Games for Logic and Programming Languages (GALOP 2025, Day 1)

Disclaimer | Powered by EasyChair Smart Program