Program for Wednesday, July 1st: Session View

FSCD 2020: INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR WEDNESDAY, JULY 1ST: SESSION VIEW

Days:

View: with abstracts talk overview

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

11:30-12:30

FSCD-IJCAR Invited Speaker: R. Thiemann. (all times are in CEST timezone - UTC+2)

13:00-14:30

Rewriting. (all times are in CEST timezone - UTC+2)

13:00-15:00

Program Logics and Verification. (all times are in CEST timezone - UTC+2)

15:15-16:15

IJCAR-FSCD Invited Speaker: J. Harrison. (all times are in CEST timezone - UTC+2)

12:30-13:00 Coffee Break

Disclaimer | Powered by EasyChair Smart Program