Program for Wednesday, July 1st: Session View

IJCAR 2020: 10TH INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING

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

16:30

17:00

17:30

18:00

11:30-12:30

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

13:00-15:00

Superposition and Saturation-Based Theorem Proving

13:00-15:00

Interactive Theorem Proving

15:15-16:15

Invited IJCAR-FSCD Talk: J. Harrison

16:45-17:45

Machine Learning and Theory Reasoning

16:45-18:00

Formalizing Non Classical Logics

Disclaimer | Powered by EasyChair Smart Program