Organisation
There are numerous people involved in the organisation of IJCAR. Have a look at the Chairs and the Committees  site to learn more about these, and email the local organisers if you have any questions regarding local arrangements.
IJCAR – The 6th International Joint Conference on Automated Reasoning |
||||
CADE | FroCoS | FTP | Tableaux | |
The International Joint Conference on Automated Reasoning |
There are numerous people involved in the organisation of IJCAR. Have a look at the Chairs and the Committees  site to learn more about these, and email the local organisers if you have any questions regarding local arrangements.