Änderungen

K
keine Bearbeitungszusammenfassung
Zeile 24: Zeile 24:     
===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 ==