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.
