Conferences  >  Mathematics  >  Mathematical Logic and Foundations  >  France

Select a location
1
AQRNL 2024 — 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics
01 Jul 2024 • Nancy, France
Abstract:
The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. The workshop will provide a forum for researchers to present and discuss recent developments in this area. The contributions may range from theory to system descriptions and implementations. Contributions may also outline relevant applications, describe problem formalizations, example problems, and benchmarks. We welcome contributions from computer scientists, linguists, philosophers, and mathematicians.
Topics:
Topics of the ARQNL workshop will cover all aspects related to the mechanization and automation of quantified non-classical logics.
Event listing ID:
1617488


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 2 May 2024