The registrations are closed for this congress
Book your Accommodation
International Joint Conference on Automated Reasoning, IJCAR 2024
A number of hotel rooms have been pre-reserved to the participants of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, to be held in Nancy during July 1-6, 2024. This web site allows you, as IJCAR 2024 participant, to book one of these rooms. Please make your booking as soon as possible and not later than May 31, since the pre-reservation only holds until May 31.
A credit card number will be requested as a guarantee for the hotel reservation, with payment due to the hotel upon arrival