Conferences on Intelligent Computer Mathematics (CICM 2012) (talks listing)
From the “general information” page:
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 Serge Autexier (DFKI) and Michael Kohlhase (JUB), takes place at Jacobs University in Bremen and consists of five tracks
- Track A: Artificial Intelligence and Symbolic Computation (AISC) (co-chairs: John A. Campbell, Jacques Carette)
- Track B: Calculemus (chair: Gabriel Dos Reis)
- Track C: Digital Mathematical Libraries (DML) (chair: Petr Sojka)
- Track D: Mathematical Knowledge Management (MKM) (chair: Makarius Wenzel)
- Track E:Systems & Projects (chair: Volker Sorge)
The overall programme is organized by the General Program Chair Johan Jeuring.
Which I located by following the conference reference in: An XML-Format for Conjectures in Geometry (Work-in-Progress)
A real treasure trove of research on searching, semantics, integration, focused on computers and mathematics.
Expect to see citations to work reported here and in other CICM proceedings.
[…] Another Word For It Patrick Durusau on Topic Maps and Semantic Diversity « Conferences on Intelligent Computer Mathematics (CICM 2012) […]
Pingback by Text Mining Methods Applied to Mathematical Texts « Another Word For It — July 14, 2012 @ 10:49 am