Speakers
In addition to the presentation of technical papers and system descriptions, we are looking forward to the presentations given by four invited speakers and three guest speakers.
IJCAR – The 6th International Joint Conference on Automated Reasoning |
||||
| CADE | FroCoS | FTP | Tableaux | |
| The International Joint Conference on Automated Reasoning | ||||
In addition to the presentation of technical papers and system descriptions, we are looking forward to the presentations given by four invited speakers and three guest speakers.
