2.341
Bearbeitungen
Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
CICM2014 - Conferences on Intelligent Computer Mathematics: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
K
CICM2014 - Conferences on Intelligent Computer Mathematics (Quelltext anzeigen)
Version vom 13. Juli 2017, 22:05 Uhr
, 13. Juli 2017keine Bearbeitungszusammenfassung
| [gesichtete Version] | [gesichtete Version] |
(Die Seite wurde neu angelegt: „<!-- Bitte für alle Konferenzen die Vorlage "conf" verwenden --> <!-- Weitere Ergänzungen können im Freitext vorgenommen werden --> {{ conf | name = Confer…“) |
KKeine 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 == | ||