ARQNL
2022
Automated Reasoning in Quantified Non-Classical Logics
4th International Workshop (associated with FLoC and IJCAR 2022)
11 August 2022, Haifa, Israel
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Submission of Abstracts
9 May 2022 (
extended
)
Submission of Papers
16 May 2022 (
extended
)
Author Notifications
17 June 2022
Final Paper Versions
1 July 2022
Workshop
11 August 2022
Useful Links
Call for Papers
ARQNL-2022_CfP.txt
IJCAR Website
IJCAR 2022
Contact Us
Organizers
Christoph Benzmüller
, University of Bamberg
christoph
.benzmueller@uni
-bamberg.de
Jens Otten
, University of Oslo
jeotten@ifi
.uio.no