22nd International Conference on Automated Deduction
| What | Convention |
|---|---|
| When |
2009-08-02 00:00
to 2009-08-07 00:00 |
| Where | Trottier Building |
| Contact Name | Brigitte Pientka |
| Contact Email | bpientka@cs.mcgill.ca |
| 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.