University of Birmingham
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

Skip past menu to page content

CICM
AISC
MKM
Calculemus
Doctoral Programme
Workshops

Important Dates

Submission of 2-page abstract: 13 June 2008

Notification of acceptance: 20 June 2008

Workshop: 30 - 31 July 2008

Page maintained by: ARW Workshop Organisers
Content last updated: May 08 2008