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.