ARQNL
2020
Automated Reasoning in Quantified Non-Classical Logics
4th International Workshop (associated with IJCAR 2020)
29 June 2020, Paris, France
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Submission of Abstracts
19 April 2020
Submission of Papers
26 April 2020
Author Notifications
2 June 2020
Final Paper Versions
14 June 2020
Workshop
29 June 2020
Useful Links
Poster/Call-for-Papers
ARQNL-2020.pdf (x KB)
IJCAR Website
IJCAR 2020
Programme
Invited Speakers
TBA
Schedule
TBA