What is the abbreviation for International joint conference automated reasoning?

Looking for the shorthand of International joint conference automated reasoning or how to abbreviate it? We have 2 shorthands for International joint conference automated reasoning.