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] |
KKeine Bearbeitungszusammenfassung |
Uhlig (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (3 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 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 | ||