Program for Friday, July 3rd: Session View

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

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR FRIDAY, JULY 3RD: SESSION VIEW

Days:

View: with abstracts talk overview

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

13:00-14:00

Invited speaker: A. Pitts (all times are in CEST timezone - UTC+2)

14:30-16:30

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

14:30-16:00

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

16:30-18:00

FSCD General Meeting. (all times are in CEST timezone - UTC+2)

14:00-14:30 Coffee Break

Disclaimer | Powered by EasyChair Smart Program