2.341
Bearbeitungen
CICM2014 - Conferences on Intelligent Computer Mathematics: Unterschied zwischen den Versionen
CICM2014 - Conferences on Intelligent Computer Mathematics (Quelltext anzeigen)
Version vom 13. Juli 2017, 22:06 Uhr
, 13. Juli 2017keine Bearbeitungszusammenfassung
| [gesichtete Version] | [gesichtete Version] |
KKeine Bearbeitungszusammenfassung |
KKeine Bearbeitungszusammenfassung |
||
| Zeile 79: | 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 89: | 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) | ||