All eventsWorkshopARQNL’26International Workshop on Automated Reasoning in Quantified Non-Classical LogicsLisbon, Portugal·July 24, 2026Theorem ProvingLogicStar this eventAdd to calendarDates & DeadlinesOfficial pageAbstractApr 27passedPaperMay 4passedNotificationJun 1passedCamera-readyJul 142wPart ofFLoCFederated Logic ConferenceJul 17 – 29, 2026Co-located withIJCARInternational Joint Conference on Automated ReasoningJul 26 – 29, 2026Last updated Jun 23, 2026