Program for Friday, July 3rd: Session View

IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

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

18:30

13:00-15:00

Proof Procedures, Decision Procedures and Combination of Theories

13:00-15:00

15:15-16:15

Invited Talk: R. Piskac

16:30-17:30

16:30-18:30

Decision Procedures, Rewriting and Model Checking

Disclaimer | Powered by EasyChair Smart Program