ARQNL
2024
Automated Reasoning in Quantified Non-Classical Logics
5th International Workshop (associated with IJCAR 2024)
1 July 2024, Nancy, France
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Submission of Abstracts
22 April 2024 (
extended
)
Submission of Papers
29 April 2024 (
extended
)
Author Notifications
3 June 2024
Final Paper Versions
17 June 2024
Workshop
1 July 2024
Useful Links
Call for Papers
ARQNL-2024_CfP.txt
IJCAR Website
IJCAR 2024
Contact Us
Organizers
Christoph Benzmüller
, University of Bamberg
christoph
.benzmueller
@
uni
-bamberg.de
Jens Otten
, University of Oslo
jeotten
@
ifi.
uio.
no