2.341
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
KZeile 79:
Zeile 79: − + Zeile 89:
Zeile 89: +
CICM2014 - Conferences on Intelligent Computer Mathematics (Quelltext anzeigen)
Version vom 13. Juli 2017, 22:06 Uhr
, 22:06, 13. Jul. 2017keine Bearbeitungszusammenfassung
* [[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
* 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
* 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)