ARQNL

’26

International Workshop on Automated Reasoning in Quantified Non-Classical Logics

WorkshopLisbon, PortugalJuly 24, 2026

Theorem Proving
Logic

Dates & Deadlines

AbstractApr 27passed
PaperMay 4passed
NotificationJun 1passed
Camera-readyJul 14passed

Part of

FLoCFederated Logic ConferenceJul 17 – 29, 2026

Co-located with

IJCARInternational Joint Conference on Automated ReasoningJul 26 – 29, 2026

Last updated Jun 23, 2026