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:05 Uhr
, 13. Juli 2017keine Bearbeitungszusammenfassung
| [gesichtete Version] | [gesichtete Version] |
KKeine Bearbeitungszusammenfassung |
KKeine 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) | ||