Conferences on Intelligent Computer Mathematics - Birmingham 2008

Skip past menu to page content

CICM

AISC

MKM

Calculemus

Doctoral Programme

Workshops

Programme Committee

Behzad Akbarpour
Johann Belinfante
Nikolaj Bjørner
Chad Brown
Simon Colton
Anatoli Degtyarev
Jeremy Gow

Peter Höfner
Joe Hurd
Michael Kinyon
Alexander Lyaletski
Roy McCasland
William McCune
Jan Otop

Dominique Pastre
Larry Paulson
J.D. Phillips
Florina Piroi
Stephan Schulz
Volker Sorge
David Stanovsky

Geoff Sutcliffe
Josef Urban
Konstantin Verchinine
Robert Veroff
Uwe Waldmann

The workshop organizers are Geoff Sutcliffe, Simon Colton and Stephan Schulz. If you have any questions about the workshop, please email the organizers.