Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
CICM2014 - Conferences on Intelligent Computer Mathematics: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
| [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 | ||
Aktuelle Version vom 8. Oktober 2017, 10:49 Uhr
Konferenz: Conferences on Intelligent Computer Mathematics 2014 (CICM2014).
Coimbra, Portugal.
Internet: Conferences on Intelligent Computer Mathematics 2014
Termin: 07. - 11. Juli 2014
Kurzbeschreibung
Objectives
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The conference is organized by Pedro Quaresma, takes place at University of Coimbra and consists of four tracks
- Track A: Calculemus (chair: James Davenport)
- Track B: Digital Mathematical Libraries (DML) (chair: Petr Sojka)
- Track C: Mathematical Knowledge Management (MKM) (chair: Josef Urban)
- Track D: Systems & Projects (chair: Alan Sexton)
The overall programme is organized by the General Program Chair Stephen Watt. The publicity chair is Serge Autexier.
Workshops & Doctoral Programme
In addition to the four main tracks, CICM 2014 will host a doctoral programme organised by David Wilson and the following workshops:
- CCA'14: Workshop on Compact Computer Algebra (organiser: Elena Smirnova)
- MathUI'14: Workshop on Mathematical User Interfaces (organisers: Andrea Kohlhase, Paul Libbrecht)
- OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)
- Workshop on The Notion of Proof (organisers: Jesse Alama, Reinhard Kahle)
- ThEdu'14: Workshop on Theorem Provers Components for Educational Software (organisers: Walther Neuper, Pedro Quaresma)
- CICM 2014 will also be co-located with the non-CICM workshop on Automated Deduction on Geometry, ADG'2014, 9-11 July 2014.
Themen
- Track A: Calculemus (chair: James Davenport)
- Track B: Digital Mathematical Libraries (DML) (chair: Petr Sojka)
- Track C: Mathematical Knowledge Management (MKM) (chair: Josef Urban)
- Track D: Systems & Projects (chair: Alan Sexton)
Programmkomitee
General chair
- Stephen Watt (University of Western Ontario, Canada)
Calculemus track
- James Davenport, University of Bath, UK (Chair)
- Matthew England, University Of Bath, UK
- Dejan Jovanović, SRI, USA
- Laura Kovács, Chalmers University of Technology, Sweden
- Assia Mahboubi, INRIA, France
- Adam Naumowicz, Institute of Informatics, U. Bialystok, Poland
- Grant Passmore, U. Cambridge and U. Edinburgh, UK
- Florian Rabe, Universität Bremen. Germany
- Claudio Sacerdoti Coen, University of Bologna, Italy
- Freek Wiedijk, Radboud University Nijmegen, Netherlands
DML track
- Petr Sojka, Masaryk University, Brno, CZ (Chair)
- Akiko Aizawa, NII, University of Tokyo, Japan
- Łukasz Bolikowski, ICM, University of Warsaw, Poland
- Thierry Bouche, Université Joseph Fourier, Grenoble, France
- Yannis Haralambous, Inst Mines-Télécom - Télécom Bretagne, France
- Janka Chlebíková, School of Computing, University of Portsmouth, UK
- Michael Kohlhase, Universität Bremen, Germany
- Jiří Rákosník, Institute of Mathematics AS CR, CZ
- David Ruddy, Cornell University, USA
- Volker Sorge, University of Birmingham, UK
- Frank Tompa, University of Waterloo, Canada
- Richard Zanibbi, Rochester Institute of Technology, USA
MKM track
- Josef Urban, Radboud University Nijmegen, The Netherlands (Chair)
- Rob Arthan, Queen Mary University of London, UK
- David Aspinall, Univerity of Edinburgh, UK
- Michael Beeson, San Jose State University, USA
- Claudio Sacerdoti Coen, University of Bologna, Italy
- Thomas Hales, University of Pittsburgh, USA
- Johan Jeuring, Open Universiteit Nederland and Universiteit Utrecht, NL
- Peter Jipsen, Chapman University, USA
- Cezary Kaliszyk, Leopold-Franzens-Universität Innsbruck, Austria
- Michael Kohlhase, Universität Bremen, Germany
- Christoph Lange, University of Birmingham, UK
- Paul Libbrecht, Pädagogische Hochschule Weingarten, Germany
- Ursula Martin, Queen Mary University of London, UK
- Bruce Miller, NIST, USA
- Adam Naumowicz, University of Bialystok, Poland
- Florian Rabe, Universität Bremen, Germany
- Alan Sexton, University of Birmingham, UK
- Enrico Tassi, INRIA, France
- Stephen Watt, University of Western Ontario, Canada
- Makarius Wenzel, Université Paris-Sud 11, France
- Freek Wiedijk, Radboud University Nijmegen, The Netherlands
Systems & Projects track
- Alan Sexton, University of Birmingham, UK (Chair)
- Christoph Lange, Rheinische-Friedrich-Wilhelms Universität Bonn, Germany
- Jesse Alama, Technical University of Vienna, Austria
- Rob Arthan, Queen Mary University of London, UK
- Deyan Ginev, Jacobs University Bremen, Germany
- Jónathan Heras, University of Dundee, Scotland
- Mateja Jamnik, University of Cambridge, UK
- Predrag Janičić, University of Belgrade, Serbia
- Christoph Lüth, DFKI und Universität Bremen, Germany
- Bruce Miller, NIST, Gaithersburg, Maryland, USA
- Hendrik Tews, Technische Universität Dresden, Germany