Änderungen

===Workshops & Doctoral Programme===

===Workshops & Doctoral Programme===

In addition to the four main tracks, CICM 2014 will host a doctoral programme organised by David Wilson and the following workshops

In addition to the four main tracks, CICM 2014 will host a doctoral programme organised by David Wilson and the following workshops:

CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova)

*CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova)

MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht)

*MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, [[Paul Libbrecht]])

OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)

*OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)

Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle)

*Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle)

ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma)

*ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma)

CICM 2014 will also be co-located with the non-CICM workshop on Automated Deduction on Geometry, ADG'2014, 9-11 July 2014.

*CICM 2014 will also be co-located with the non-CICM workshop on Automated Deduction on Geometry, ADG'2014, 9-11 July 2014.

== Themen ==

== Themen ==