University of Birmingham
Conferences on Intelligent Computer Mathematics - Birmingham 2008
15th Symposium on the Integration of
Symbolic Computation and Mechanised Reasoning

Calculemus 2008

Birmingham, UK, 30 July-1 August 2008

Skip past menu to page content

CICM
AISC
MKM
Calculemus
Doctoral Programme
Workshops

Important Dates

Submission deadline: 7 March 2008 14 March 2008

Notification: 11 April 2008

Camera Ready Version: 25 April 2008

Conference: 30 July - 1 August 2008

Page maintained by: Calculemus'08 Conference Organisers
Content last updated: June 18 2008