Conferences  >  Mathematics  >  Neural Networks and Artificial Intelligence, Machine Learning  >  France

CIRM – Centre International de Rencontres Mathématiques

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 of the ARQNL workshop will cover all aspects related to the mechanization and automation of quantified non-classical logics.

IJCAR 2024 will be organized in Nancy, France by the Inria research center at University of Lorraine

IJCAR is the premier international joint conference on all aspects of automated reasoning. IJCAR 2024 will be organized in Nancy, France by the Inria research center at University of Lorraine as an in-person conference. It will take place at IDMC from July 1 to July 6, 2024. IJCAR 2024 is the merger conference of leading events in automated reasoning: CADE – Conference on Automated Deduction FroCoS – Symposium on Frontiers of Combining Systems TABLEAUX – Conference on Analytic Tableaux and Related Methods The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024.