Skip to content. Skip to navigation
McGill Home SOCS Home
Personal tools
 

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.

More information about this event…