Conferences on Intelligent Computer Mathematics - Birmingham 2008
Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

ARW

Birmingham, UK, 30-31 July 2008

Important Dates

Submission of 2-page abstract: 13 June 2008

Notification of acceptance: 20 June 2008

Workshop: 30 - 31 July 2008