About the ECPR

About the ECPR

About the ECPR

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

The conference is organized by Serge Autexier (DFKI) and Michael Kohlhase (Jacobs University), 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)