ARQNL
2026
Automated Reasoning in Quantified Non-Classical Logics
6th International Workshop (associated with IJCAR 2026)
24 July 2026, Lisbon, Portugal
Home
Programme
Call for Papers
Programme Committee
Contact Us
Important Dates
Submission of Abstracts
27 April 2026
Submission of Papers
4 May 2026
Author Notifications
1 June 2026
Final Paper Versions
14 July 2026
Workshop
24 July 2026
Useful Links
ARQNL Programme
ARQNL-2026_Prog.pdf
Call for Papers
ARQNL-2026_CfP.txt
FLoC Website
FloC 2026
Contact Us
Organizers
Christoph Benzmüller
, University of Bamberg, Germany
c
.benzmueller
@
gmail
.com
Jens Otten
, University of Pernambuco, Brazil
jeotten
@
leancop
.
de