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
Due to the worldwide COVID-19 pandemic, we have decided to cancel the ARQNL 2020 workshop and postpone it to the next year. Details will be announced on this website.
Programme
Invited Speakers
TBA
Schedule
TBA