Program
Monday 6th July 2015
Registration opens at 09:00
Time  Tutorials  Room CB1.11  

09:00 – 10:00  Coffee  
10:00 – 12:00  Clement Pernet  Exact Linear Algebra Algorithmic: Theory and Practice  
12:00 – 13:00  Lunch  
13:00 – 15:00  Ankur Moitra  Nonnegative Matrix Factorization: Algorithms, Complexity and Applications  
15:00 – 15:30  Coffee  
15:30 – 17:30  Veronika Pillwein  An Introduction to Finite Element Methods  
17:30 
Welcome Reception Chancellors Building Foyer 

Tuesday 7th July 2015
Registration opens at 08:00
Time  Room CB1.11  

8:45 – 9:00  Opening Remarks  
09:00 – 10:00 
Erika Ábrahám  Building Bridges between Symbolic Computation and Satisfiability Checking Chair: Kazuhiro Yokoyama 

10:00 – 10:30  Software Demo Snippets 1  
10:30 – 11:00  Coffee  
Room CB1.11  Room CB1.12  
Groebner Basis I  Group Theory and NonCommutative Structures  
Chair: Agnes Szanto  Chair: Steve Linton  
11:00 – 11:30  C. Fuerst and G. Landsmann  Computation of Dimension in Filtered Free Modules by Gröbner Reduction  A. Hulpke  Constructing All Composition Series of a Finite Group 
11:30 – 12:00  J.A. De Loera, S. Margulies, M. Pernpeintner, E. Riedl, D. Rolnick, G. Spencer, D. Stasi and J. Swenson  Graphcoloring ideals: Nullstellensatz Certificates, Groebner Bases for Chordal Graphs, and Hardness of Groebner Bases  V. Diekert, A. Miasnikov and A. Weiss  Amenability of Schreier Graphs and Strongly Generic Algorithms for the Conjugacy Problem 
12:00 – 12:30  F. Mora  De Nugis Groebnerialium 4:Zacharias, Spears, Möller  V. Chien Bui, G.H.E. Duchamp and V. Hoang Ngoc Minh  Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras 
12:30 – 13:30  Lunch  
Real Root Finding  Differential Systems  
Chair: Gregoire Lecerf  Chair: Agnes Szanto  
13:30 – 14:00  T. Sturm  Subtropical Real Root Finding  A. Bostan, X. Caruso and E. Schost  A Fast Algorithm for Computing the pcurvature 
14:00 – 14:30  D. Henrion, S. Naldi and M. Safey El Din  Real Root Finding for Rank Defects in Linear Hankel Matrices  M. Rosenkranz and N. Serwa  Green's Functions for Stieltjes Boundary Problems 
14:30 – 15:00  V. Sharma and P. Batra  Near Optimal Subdivision Algorithms for Real Root Isolation  M. Kauers and C. Koutschan  Integral Dfinite Functions 
15:00 – 15:30  Coffee  
padic Computation and Root Finding  CAD and QE  
Chair: Eric Schost  Chair: Thomas Sturm  
15:30 – 16:00  X. Caruso, D. Roe and T. Vaccon  padic Stability in Linear Algebra  C. Brown  Open Nonuniform Cylindrical Algebraic Decompositions 
16:00 – 16:30  H.H. Chen and M.D. Huang  On padic Expansions of Algebraic Integers  M. England, R. Bradford and J.H. Davenport  Improving the use of Equational Constraints in Cylindrical Algebraic Decomposition. 
16:30 – 17:00  B. Grenet, J. van der Hoeven and G. Lecerf  Randomized Root Finding over Finite FFTfields using Tangent Graeffe Transforms  R. Fukasaku, H. Iwane and Y.Sato  Real Quantifier Elimination by Computation of Comprehensive Gröbner Systems 
Room CB1.11  
17:00  ISSAC Business Meeting SIGSAM Business Meeting 

Wednesday 8th July 2015
Time  Room CB1.11  

09:00 – 10:00 
Lihong Zhi  Optimization Problems over Noncompact Semialgebraic Sets Chair: Steve Linton 

10:00 – 10:30  Software Demo Snippets 2  
10:30 – 11:00  Coffee  
Room CB1.11  Room CB1.12  
Real Algebraic Geometry  Series Computation  
Chair: Jan Verschelde  Chair: David Saunders  
11:00 – 11:30  F. Guo, M. Safey El Din, C. Wang and L. Zhi  Optimizing a Parameteric Linear Function over a Noncompact Real Algebraic Variety  A. Poteaux and M. Rybowicz  Improving Complexity Bounds for the Computation of Puiseux Series over Finite Fields 
11:30 – 12:00  I. Bannwarth and M. Safey El Din  Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets  A. Bostan, L. Dumont and B. Salvy  Algebraic Diagonals and Walks 
12:00 – 12:30  J. Rodriguez and X. Tang  DataDiscriminants of Likelihood Equations  S. Maulat and B. Salvy  Formulas for Continued Fractions: An Automated Guess and Prove Approach 
12:30 – 13:30  Lunch  
Groebner Basis II  Linear Differential Equations  
Chair: Bernard Mourrain  Chair: Lihong Zhi  
13:30 – 14:00  T. Vaccon  MatrixF5 Algorithms and Tropical Gröbner Base Computation  E. Imamoglu and M. van Hoeij  Computing Hypergeometric Solutions of Second Order Linear Differential Equations using Quotients of Formal Solutions 
14:00 – 14:30  J. Berthomieu, B.Boyer and J.C. Faugere  Linear Algebra for Computing Gröbner Bases of Linear Recursive Multidimensional Sequences  M. Barkatou. T. Cluzeau and A. Jalouli  Formal Solutions of Linear Differential Systems with Essential Singularities in their Coefficients 
14:30 – 15:00  D. Kapur and Y. Yang  An Algorithm to Check Whether a Basis of a Parametric Polynomial System is a Comprehensive Gröbner Basis and the Associated Completion Algorithm  M. Barkatou and S. Maddah  Removing Apparent Singularities of Systems of Linear Differential Equations with Rational Function Coefficients 
15:00 – 15:30  Coffee  
Algebraic Structure Related to Polynomial Systems  Interpolation and FFT  
Chair: Mohab Safey El Din  Chair: John Abbott  
15:30 – 16:00  J.D. Hauestein, B. Mourrain and A. Szanto  Certifying Isolated Singular Points and their Multiplicity Structure  A. Arnold and E. Kaltofen  ErrorCorrecting Sparse Interpolation in the Chebyshev Basis 
16:00 – 16:30  D. Clamond, D. Dutykh and A. Galligo  Computer Algebra Applied to a Solitary Waves Study  A. Arnold and D.Roche  Outputsensitive Algorithms for Sumset and Sparse Polynomial Multiplication 
16:30 – 17:00  I.Z. Emiris, C. Konaxis and Z. Zafeirakopoulos  Minkowski Decomposition and Geometric Predicates in Sparse Implicitization  C. Lueders  Implementation of the DKSS Algorithm for Multiplication of Large Numbers 
17:00 – 18:30  Poster Session Software Demonstrations Chancellors Building Foyer 

Leave campus by 18:30  CONFERENCE SOCIAL  
19:00  Reception Bath Guildhall  
20:15  Banquet The Pump Rooms  
22:00  Coffee The Roman Baths 
Thursday 9th July 2015
Time  Room CB1.11  

09:00 – 10:00 
Éric Schost  Algorithms for finite fields arithmetic Chair: James Davenport 

10:00 – 10:30  Poster Snippets  
10:30 – 11:00  Coffee  
Room CB1.11  CB Foyer  
11:00 – 11:30  SWMath Talk  Poster Session Software Demonstrations 
11:30 – 12:30  Maplesoft Presentation  
12:30 – 13:30  Lunch  
Room CB1.11  Room CB1.12  
Matrix Computations  Operation on Algebraic Structures  
Chair: Gregoire Lecerf  Chair: Kazuhiro Yokoyama  
13:30 – 14:00  J. GomezTorrecillas, F.J. Lobillo and G. Navarro  Separable Automorphisms on Matrix Algebras over Finite Field Extensions. Applications to Ideal Codes  K. Nabeshima and S. Tajima  Computing Logarithmic Vector Fields associated with Parametric semiquasihomogeneous Hypersurface isolated Singularities 
14:00 – 14:30  B.D. Saunders  Matrices with Two Nonzero Entries per Row  S. Chen, H. Huang, M. Kauers and Z. Li  A Modified AbramovPetkovsek Reduction and Creative Telescoping for Hypergeometric Terms 
14:30 – 15:00  A. Storjohann and S.Yang  A Relaxed Algorithm for Online Matrix Inversion  P.V. Koseleff, F. Rouillier and C. Tran  On the Sign of a Trigonometric Expression 
Room CB1.11  
15:00 – 15:30 
ISSAC 2015 Best Paper Winner! J.G. Dumas, C. Pernet and Z. Sultan  Computing the Rank Profile Matrix 

15:30 – 16:00  Coffee  
16:00 – 16:15  Closing Remarks 