22nd International Conference on Automated Deduction
|Contact Name||Brigitte Pientka|
|Add event to calendar||
vCal (Windows, Linux)
iCal (Mac OS X)
The 22nd International Conference on Automated Deduction will take place at McGill University between 2 Aug and 7 Aug in the Trottier building. This is the major forum for the presentation of research in all aspects of automated deduction.
In addition to the main conference, there will be 5 workshops and 2 system competitions as well as 4 tutorials.