IJCAR 2022: INTERNATIONAL JOINT CONFERENCE ON AUTOMATED REASONING 2022
Important Dates

 

  • Paper submission deadline: February 11, 2022
  • Authors rebuttal period (on-demand): April 16-18, 2022
  • Authors notification: April 25, 2022