2.341
Bearbeitungen
Änderungen
Zur Navigation springen
Zur Suche springen
K
CICM2014 - Conferences on Intelligent Computer Mathematics (Quelltext anzeigen)
Version vom 13. Juli 2017, 22:05 Uhr
, 22:05, 13. Jul. 2017keine Bearbeitungszusammenfassung
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)