### Applications of Computer
Algebra 2015

Computational Differential and Difference Algebra

Kalamata, Greece, July 20-23, 2015

### Organization

### Topics

Differential and difference Galois theories of linear differential
and difference equations (with parameters)
Applications to differential and difference
algebraic dependencies
among solutions of differential and difference equations
Differential and difference elimination
Interactions with computational aspects of differential and difference equations
Interactions with traditional areas of symbolic computation
Applications of differential and difference algebra
### Submissions

Please use the following LaTeX template to submit your abstract (here is what it looks like in PDF).

Deadline for talk submission: ~~May 15, 2015.~~ **Extended deadline: June 5, 2015.**

Notification of acceptance/rejection: June 1, 2015.

Post-conference publication with Springer: http://www.singacom.uva.es/ACA2015/pub.html

Call for papers: http://www.singacom.uva.es/ACA2015/cfp/

### Speakers

### Schedule

Monday 20 |

16:00 - 16:30 |
M. Seiss: Root parameterized differential equations for the classical groups |

16:30 - 17:00 |
A. Bostan: Quasi-optimal computation of the p-curvature |

17:00 - 17:30 |
Break |

17:30 - 18:00 |
M. Kauers: The positive part of multivariate series |

18:00 - 18:30 |
F. Heiderich: Prolongation spaces and generalized differentials |

18:30 - 19:00 |
M. Barakat: Unitary groups of group algebras in characteristic 2 |

Thursday 23 |

09:00 - 09:30 |
C. Arreche: On the computation of the difference-differential Galois group for a second-order linear difference equation |

09:30 - 10:00 |
A. Maurischat: Differential Galois theory over differentially simple rings |

10:00 - 10:30 |
T. Dreyfus: Malher equations, differential Galois theory, and transcendence |

10:30 - 11:00 |
I. Tomasic: Primitive recursive quantifier elimination for existentially closed difference fields |

11:00 - 11:30 |
Break |

11:30 - 12:00 |
D. Robertz: Lagrangian constraints and differential Thomas decomposition |

12:00 - 12:30 |
W. Seiler: Geometric singularities of algebraic differential equations |

12:30 - 13:00 |
F. Winkler: Symbolic solution of first-order autonomous algebraic partial differential equations |

13:00 - 14:00 |
Lunch |

Here is a full schedule for the ACA conference.

**
**Last
modified August 4, 2015.