International Joint Conference on Automated Reasoning


At least one of the authors of an accepted paper must register in order to have the paper published.

Registration is closed.

 Early Bird
Late (after 10 June)
Regular (includes lunches, coffee breaks and  social program) 230.00€ 300.00€
Students (includes lunches and coffee breaks) 120.00€ 150.00€
2 days Workshops (includes lunches and coffee breaks)
100.00€ 120.00€
1 day Workshops & CASC (includes lunches and coffee breaks) 50.00€ 60.00€
Extra Social Program * 30.00€

CASC fee = 1 day workshop fee

The Woody Bledsoe Student Travel Award will available to partially support graduate students who wish to attend the conference.

(*) Social Program for Accompanying persons or Students.