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. The next workshop will be
ARQNL 2022
in Haifa.
Programme Committee
TBA