FoCM 2017

This workshop is part of the triennial FoCM conference series, organized by the Society for Foundations of Computational Mathematics. The next edition will be held in Barcelona, July 10th-19th, 2017.

The workshop explores algebraic and geometric foundations as well as symbolic algorithms for questions related to differential and difference equations. Favorite topics have included Lie symmetry, differential invariants, moving frames, differential Galois theory, local and closed form solution, normal form algorithms, operator algebras and combinatorics.
We wish this workshop to be a forum for ideas, techniques and applications. We thus would like to encourage the speakers to contextualize their contribution for a diverse audience.
The conference as a whole should provide several other areas of interest for participants of the Symbolic Analysis workshop.

Irina Kogan, North Carolina State University, Raleigh, U.S.A.

Bruno Salvy, INRIA & École Normale Supérieure de Lyon, France

Jacques-Arthur Weil, XLIM, Université de Limoges, France

Boris Adamczewski, CNRS & Université de Lyon 1, France

Jeanne Nielsen Clelland, University of Colorado, Boulder, U.S.A

Primitivo Acosta-Humanez, Universidad Simón Bolívar, Barranquilla, Colombia

Moulay Barkatou, XLIM, Université de Limoges, France

Alin Bostan, INRIA Saclay, France

Thomas Cluzeau, XLIM, Université de Limoges, France

Thomas Dreyfus, Université de Lyon 1, France

Didier Henrion, CNRS & Université de Toulouse, France

Rafael Hernández-Heredero, Universidad Politécnica de Madrid, Spain

Evelyne Hubert, INRIA Méditérranée, France

Gianluca Frasca-Caccia, University of Kent, United Kingdom

Irina Kogan, North Carolina State University, Raleigh, U.S.A.

Elisabeth Mansfield, University of Kent, United Kingdom

Marc Moreno Maza, University of Western Ontario, Canada

Emilio Musso, Politecnico di Torino, Italy

Juan J. Juan Morales-Ruiz, Universidad Politécnica de Madrid, Spain

Chara Pantazi (or Juan Morales), Universitat Politècnica de Catalunya, Spain

Sonia Rueda, Universidad Politecnica de Madrid, Spain

Werner Seiler, Universität Kassel, Germany

Michael Singer, North Carolina State University, U.S.A

Jacques-Arthur Weil, XLIM, Université de Limoges, France

On Strongly Consistent Finite Difference Approximations to the Navier-Stokes Equations
Dmitry Lyakhov, KAUST, KSA

Symbolic computation for operators with matrix coefficients
Clemens Raab, Johannes Kepler University Linz, Austria

Discrete Moving Frames and Noether’s Finite Difference Conservation Laws. Euler’s Elastica.
Ana Rojo-Echeburúa, University of Kent, United Kingdom

Schedule and talk abstracts: Symbolic Analysis Session B3

Related plenary talks: Mireille Bousquet-Mélou, CNRS & Université de Bordeaux, France. Bruno Salvy, INRIA & École Normale Supérieure de Lyon, France. Pierre Lairez,  INRIA Saclay, France

Related workshops of FoCM'17: Computational Algebraic Geometry, Geometric Integration and Computation Mechanics, Computational Dynamics, Real-Number Complexity, Special Functions and Orthogonal Polynomials

Previous workshops: FoCM'14, FoCM'11, FoCM'08, FoCM'05, FoCM'02, FoCM'99.

Email: symbolic.analysis2017@gmail.com