IJCAR 2026
IJCAR 2026 will be held in Lisbon, Portugal, as part of the Federated Logic Conference FLoC from July 26 to July 29. IJCAR 2026 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluations of working automated deduction systems or proof assistant systems are solicited.
About This Conference
IJCAR 2026 will be held in Lisbon, Portugal, as part of the Federated Logic Conference FLoC from July 26 to July 29. IJCAR 2026 invites submissions related to all aspects of automated or interactive logical reasoning, including foundations, implementations, and applications. Original research papers and descriptions/evaluations of working automated deduction systems or proof assistant systems are solicited.