1.571
Bearbeitungen
CICM2014 - Conferences on Intelligent Computer Mathematics: Unterschied zwischen den Versionen
CICM2014 - Conferences on Intelligent Computer Mathematics (Quelltext anzeigen)
Version vom 8. Oktober 2017, 10:49 Uhr
, 8. Oktober 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…“) |
Uhlig (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (4 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 10: | Zeile 10: | ||
| jahr = 2014 <!-- Jahr, in dem die Konferenz stattfand/stattfindet --> | | jahr = 2014 <!-- Jahr, in dem die Konferenz stattfand/stattfindet --> | ||
| monat = Juli <!-- Monat, in dem die Konferenz beginnend stattfand/stattfindet, z.B. "Juli" --> | | monat = Juli <!-- Monat, in dem die Konferenz beginnend stattfand/stattfindet, z.B. "Juli" --> | ||
| beginn = 07. | | beginn = 07. <!-- Erster Tag der Konferenz, z.B. 13.8.2009 --> | ||
| ende = 11. | | ende = 11. <!-- Letzter Tag der Konferenz, z.B. 15.8.2009 --> | ||
}} | }} | ||
| 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 == | ||
| Zeile 44: | Zeile 44: | ||
===Calculemus track=== | ===Calculemus track=== | ||
* James Davenport, University of Bath, UK (Chair) | * James Davenport, University of Bath, UK (Chair) | ||
* Matthew England, University Of Bath, UK | * Matthew England, University Of Bath, UK | ||
* Dejan Jovanović, SRI, USA | * Dejan Jovanović, SRI, USA | ||
* Laura Kovács, Chalmers University of Technology, Sweden | * Laura Kovács, Chalmers University of Technology, Sweden | ||
| Zeile 53: | Zeile 53: | ||
* Claudio Sacerdoti Coen, University of Bologna, Italy | * Claudio Sacerdoti Coen, University of Bologna, Italy | ||
* Freek Wiedijk, Radboud University Nijmegen, Netherlands | * Freek Wiedijk, Radboud University Nijmegen, Netherlands | ||
===DML track=== | ===DML track=== | ||
* Petr Sojka, Masaryk University, Brno, CZ (Chair) | * Petr Sojka, Masaryk University, Brno, CZ (Chair) | ||
| Zeile 78: | Zeile 79: | ||
* [[Michael Kohlhase]], [[Universität Bremen]], Germany | * [[Michael Kohlhase]], [[Universität Bremen]], Germany | ||
* [[Christoph Lange]], University of Birmingham, UK | * [[Christoph Lange]], University of Birmingham, UK | ||
* | * Paul Libbrecht, [[Pädagogische Hochschule Weingarten]], Germany | ||
* Ursula Martin, Queen Mary University of London, UK | * Ursula Martin, Queen Mary University of London, UK | ||
* Bruce Miller, NIST, USA | * Bruce Miller, NIST, USA | ||
| Zeile 88: | Zeile 89: | ||
* Makarius Wenzel, Université Paris-Sud 11, France | * Makarius Wenzel, Université Paris-Sud 11, France | ||
* Freek Wiedijk, Radboud University Nijmegen, The Netherlands | * Freek Wiedijk, Radboud University Nijmegen, The Netherlands | ||
===Systems & Projects track=== | ===Systems & Projects track=== | ||
* Alan Sexton, University of Birmingham, UK (Chair) | * Alan Sexton, University of Birmingham, UK (Chair) | ||
* [[Christoph Lange]], [[Rheinische-Friedrich-Wilhelms Universität Bonn]], Germany | * [[Christoph Lange]], [[Rheinische-Friedrich-Wilhelms Universität Bonn]], Germany | ||
* Jesse Alama, Technical University of Vienna, Austria | * Jesse Alama, [[Technische Universität Wien|Technical University of Vienna]], Austria | ||
* Rob Arthan, Queen Mary University of London, UK | * Rob Arthan, Queen Mary University of London, UK | ||
* Deyan Ginev, Jacobs University Bremen, Germany | * Deyan Ginev, Jacobs University Bremen, Germany | ||