Click here for a pdf version

Tuesday 2
18:00 - 20:30
REGISTRATION (Málaga Palacio Hotel)
Welcome reception and cocktail in Town Hall

(Time could be slightly different due to Mayor's availability)
Wednesday 3
8:00 - 8:30
08:30 - 09:00
Opening (Room I)
09:00 - 10:00
Eugenio Roanes Lozano
Some ideas about the research in computational mathematics:
a perspective from the middle of the life and the academic life
Plenary Lecture. Room I
10:00 - 10:30
03. Algebraic and Algorithmic Aspects of Differential and Integral Operators (Room I)
09. Computer algebra, quantum computing and quantum information processing (Room II)
10. Computer algebra in algebraic topology and its applications (Room III)
Darboux theory of integrability in the sparse case
G. Chèze
On the inequalities defining the entanglement space of 2-qubits
V. P. Gerdt, A. M. Khvedelidze and Y. G. Palii
Spectral Sequences for computing persistent homology of digital images
A. Romero, G. Mata, J. Rubio, J. Heras and F. Sergeraert
10:30 - 11:00
Isomorphisms and Serre's reduction of multidimensional linear systems
T. Cluzeau and A. Quadrat
Mathematica Package Quantum Circuit for Simulation of Quantum Computation
V. P. Gerdt and A. N. Prokopenya
A chain contraction approach to the computation of cubical homology and cohomology
P. Pilarczyk and P. Real
11:00 - 11:30
11:30 - 12:00

Qualitative Study of Polynomial Differential Systems
D. Dali and A. Turqui


Simulating quantum computers with Mathematica: QDENSITY et al.
B. Julia-Diaz and F. Tabakin
Discrete Morse Theory and Computational Homology
P. Dlotko
12:00 - 12:30
Periodic and Mean-Periodic Solutions of LODEs with Constant Coefficients
I. Dimovski and M. Spiridonova
Functional framework for representing and transforming quantum channels
J. A. Miszczak
Some Advanced in G-invariant topology and homology
P. Frosini
12:30 - 13:00
Looking for invariant algebraic curves
A. Ferragut and A. Gasull
Ultimate limits to squeezing of quantum fluctuations
A. Orlowski
Computational Homological Algebra for Advanced Topological Analysis of 4D Digital Images
P. Real
13:00 - 13:30
Moving Frames and Noether's Conservation Laws - the General Case
T. M. N. Gonçalves and E. L. Mansfield
Geometry and Dynamics of Algorithms on the Quantum Information Space
Y. Uwano
A-infinity persistence
Kiko Belchí, Aniceto Murillo Mas
13:30 - 15:00
15:00 - 15:30
Interpolation with integral and Stieltjes conditions
A. Korporal and G. Regensburger
05. Nonstandard Applications of Computer Algebra (Room II)
On Higher Dimensional Cocyclic Hadamard Matrices
V. Álvarez Solano, J. A. Armario, M. D. Frau and P. Real
Simulating Car Traffic with Smart Signals using a CAS
J. L. Galán, G. Aguilera, J. C. Campos and P. Rodríguez
15:30 - 16:00
On Completely Integrable Pfaffian Systems with Normal Crossings
S. Maddah
Population–based anamorphosis maps for railway radial networks
E. Roanes–Lozano, A. García-Álvarez, J. L. Galán-García and L. Mesa
Boundary and Acyclicity Operators of Primal and Dual Elementary Cell Complexes
A. M. Pacheco and P. Real
16:00 - 16:30
Linear Boundary Problems for Partial Differential Equations: Algebraic Setup and First Steps for Constant Coefficients
N. Phisanbut and M. Rosenkranz
An algebraic approach to geometric proof using a Computer Algebra System
M. Xue
00. General Session on Computer Algebra (Room III)
A New Criterion for the Existence of Real Zeros of Polynomial Systems.
J. S. Cheng
16:30 - 17:00
17:00 - 17:30
On the arithmetic of d'Alembertian functions
C. Raab
Designing Hamiltonian Cycles
F. de Arriba, E. Corbacho and R. Vidal
Planar arrangements and singular algebraic surfaces.
J. García Escudero
17:30 - 18:00
Applying Thomas decomposition and algebraic analysis to certain nonlinear PDE systems
D. Robertz
Envelope computation in dynamic geometry systems
F. Botana and T. Recio
Computations of Gröbner-Shirshov Basis and Reduced Words for Affine Weyl Group Ãn using Mathematica.
E. Yilmaz, Cenap Özel and Ugur Ustaoglu
18:00 - 18:30
Sparse differential resultant formulas: between the linear and the nonlinear case
S. L. Rueda
Obtaining combinatorial structures associated with low-dimensional Leibniz algebras
M. Ceballos, J. Núñez and Á. F. Tenorio
18:30 - 19:00
Excursion Malaga city centre
dinner in Restaurant "El Pimpi"
Thursday 4
09:00 - 10:00
Ilias Kotsireas
10 years of sequence autocorrelation
Plenary Lecture (Room I)
10:00 - 10:30
03. Algebraic and Algorithmic Aspects of Differential and Integral Operators (Room I)
05. Nonstandard Applications of Computer Algebra (Room II)
06. Arithmetic of Algebraic Curves (Room III)
Seeking recursion operators - an universal hierarchy example in dimension (2 + 1)
H. Baran
A hybrid expert system for classic car recognition and originality evaluation
E. Roanes-Lozano and J. Bonilla
On the automorphisms groups of Hassett moduli spaces
A. Massarenti
10:30 - 11:00
The algebra of polynomial integro-differential operators and its group of automorphisms
V. V. Bavula
Designing rotating schedules by using Gröbner bases
R. Falcón, D. Canca and E. Barrena

Weierstrass points and dihedral invariants of superelliptic curves
C. Shor and T. Shaska


11:00 - 11:30
11:30 - 12:00
04. Computer Algebra in Coding Theory and Cryptography (Room I)
Flexibility of Structures via Computer Algebra
R. H. Lewis and E. Coutsias
On the Approximate Parametrization Problem of Algebraic Curves
S. L. Rueda, J. R. Sendra and J. Sendra
A characterization of cyclic codes whose minimum distance equals their maximum BCH bound
J. J. Bernal, D. H. Bueno and J. J. Simon
12:00 - 12:30
Gröbner Bases and Linear Codes over Prime Fields
N. Dück and K. H. Zimmermann
Modeling reliability in propositions using computer algebra techniques
A. Hernando
Radical parametrization of algebraic curves and surfaces
D. Sevilla and J. R. Sendra
12:30 - 13:00
A Class of Binary Sequences with Large Linear Complexity
A. Fúster Sabater
Similarity Detection for Rational Curves
J. G. Alcázar, C. Hermoso and G. Muntingh

On superelliptic curves and their Jacobians
T. Shaska and L. Beshaj


13:00 - 13:30
Further Improvements on the Feng-Rao Bound for Dual Codes
O. Geil and S. Martin
Padovan-like sequences and Bell polynomials
N. Gogin and A. Mylläri
Hyperbolic uniformizations through computations on ternary quadratic forms
M. Alsina
13:30 - 15:00
Excursion to the Alhambra of Granada with dinner
Friday 5
9:30 - 10:00
04. Computer Algebra in Coding Theory and Cryptography (Room I)
01. Computer Algebra in Education (Room II)
06. Arithmetic of Algebraic Curves (Room III)
Some Optimal Codes as Tanner Codes with BCH Component Codes
T. Høholdt, F. Piñero and P. Zeng
Computer Algebra - the engine of transition to activity-based approach in mathematics education
E. Varbanova and E. Shoikova
From relations in the moduli spaces of curves, to recursions in Gromov-Witten theory
N. Pagani
10:00 - 10:30
A secret sharing scheme using Gröbner basis
H. Kai and M. Yamada
Assessing Mathematical Content in a Technology Environment

Discussion Panel

A. Homero Flores
Symplectic representations for finite group actions on Riemann surfaces
A. Behn, A. Rojas and R. Rodríguez
10:30 - 11:00
Error-correcting pairs and arrays from algebraic geometry codes
I. Márquez-Corbella and R. Pellikaan
11. Symbolic and Numerical Methods: Practical Applications (Room III)
Kinematical analysis of mechanisms with computer algebra
S. Piipponen, T. Arponen and J. Tuomela
11:00 - 11:30
11:30 - 12:00
Additive multivariable codes over F4
E. Martínez-Moro, A. P. Nicolás and I. F. Rua
CAS: A Tool for Improving Autonomous Work
A. García, F. García, Á. Martín, G. Rodríguez and A. de la Villa
08. Computer Algebra in Algebraic Statistics (Room III)
Goodness-of-fit testing in Ising Models
A. Martín del Campo and C. Uhler
12:00 - 12:30
On Generalized Lee Weigth Codes over Dihedral Groups
E. Martínez-Moro, A. P. Nicolás and E. Suárez-Canedo
Investigating Magic Squares in a Linear Algebra Course
K. Schmidt
Algebraic geometry in causal inference
C. Uhler
12:30 - 13:00
Decoding of codes for applications to steganography
C. Munuera and W. Olaya León
Polynomial Systems Solving with Nspire CAS
(Part I, Part II)

M. Beaudin, G. Picard and G. Savard
Computing real log canonical thresholds in algebraic statistics
H. Ahmadinezhad, J. Schicho and C. Uhler
13:00 - 13:30
On LDPC codes corresponding to new families of regular expanding graphs of large girth
M. Polak and V. Ustimenko
Error evaluation for algebraic interpolatory cubature formulae: notable examples
C. Fassino and E. Riccomagno
13:30 - 15:00
15:00 - 15:30
Representation, constructions and minimum distance computation of binary nonlinear codes
J. Pujol, M. Villanueva and F. Zeng
In praise of rectangular systems
D. Jeffrey
Connectivity on two-way tables under certain models
R. Yoshida
15:30 - 16:00
On regular forests given in terms of algebraic geometry, new families of expanding graphs with large girth and new multivariate cryptographical algorithms
U. Romanczuk and V. Ustymenko
Omega - a free online Computer Algebra System Explorer
M. Xue
Monomial ideal methods for hierarchical statistical models
H. Maruri-Aguilar, E. Sáenz-de-Cabezón and H. P. Wynn
16:00 - 16:30

Some remarks for codes and lattices over imaginary quadratic fields
T. Shaska and C. Shor


Some maths problems for the average citizen
E. Roanes-Lozano and J. Cabezas-Corchero
A Gröbner Bases Method for Complementary Sequences
C. Koukouvinos, D. E. Simos and Z. Zafeirakopoulos
16:30 - 17:00
17:00 - 17:30
An Efficient Algorithm for Computing Branch Groebner Systems and Its Applications in Algebraic Cryptanalysis
Y. Sun, Z. Huang, D. Lin and D. Wang
Using Computer Algebra in Mathematics for Engineers
T. Westermann
02. Computer Algebra for Dynamical Systems and Celestial Mechanics (Room III)
The Study of Isochronicity and Critical Period Bifurcations on Center Manifolds of 3-dim Polynomials Systems Using Computer Algebra
M. Mencinger and B. Fercec
17:30 - 18:00
On some algebraic aspects of data security in cloud computing
V. Ustymenko and A. Wroblewska
Global application of CAS tools for teaching in Computer Engineering degrees
S. Cárdenas, I. Fortes, I. Pérez de Guzmán, S. Sánchez and A. Valverde
On using computer algebra systems for analysis of rigid body dynamics
L. Burlakova and V. Irtegov
18:00 - 19:30
ACA-WG Meeting (Room II)
19:30 - 21:00
Gala Dinner in Málaga Palacio Hotel
Saturday 6
9:30 - 10:00
07. Applications and Libraries development in DERIVE and TI-NSPIRE (Room I)
11. Symbolic and Numerical Methods: Practical Applications (Room II)
02. Computer Algebra for Dynamical Systems and Celestial Mechanics (Room III)
A Dynamic Unity of Tradition and Technology in Undergraduate Mathematics - a Bulgarian Experience
E. A. Varbanova
Using CUDA for better harnessing of symbolic and numerical methods
S. Ortega, J.M. González, M.L. Muñoz, C. Sánchez and T. Morales
Formal Integral and Caustics in Henon-Heiles model
T. Myllari and A. Myllari
10:00 - 10:30
A Toolbox with DERIVE: Calculus on Several Variables
A. García, F. García, Á. Martín, G. Rodríguez and A. de la Villa
Resolution of solar cells equivalent electrical model by reverse decomposition
S. Merino, F. J. Sánchez, P. Rodríguez and C. Sánchez
On necessary conditions of integrability of degenerated planar ODE systems in the parameter space
A. Bruno and V. Edneral
10:30 - 11:00
DERIVE and Linear Algebra
A. García, F. García, Á. Martín, G. Rodríguez and A. de la Villa
Statistical Quality Control in the Construction Industry
J. A. Vera, S. Merino, J. L. Galán
Tree structures in Poisson series processors
J. F. Navarro
11:00 - 11:30
11:30 - 12:00
Integration of Piecewise Continuous Functions (Part I, Part II)
M. Beaudin, F. Henri and G. Savard
Optimization and design of bicycles lines
R. J. Liñan, S. Merino and J. Martínez
Orbital Reversibility of Dynamical Systems
A. Algaba, I. Checa, C. García and E. Gamero
12:00 - 12:30
Numerical algorithm solves for a new positioning system inside buildings
A. B. Pabón, S. Merino and P. Rodríguez
Normal Forms of Singular Plane Quartics
T. Takahashi
12:30 - 13:00
FOPDE.mth: Solving First-Order Partial Differential Equations with DERIVE 6 step by step
G. Aguilera, J. L. Galán, M. Á. Galán, Y. Padilla, P. Rodríguez and R. Rodríguez
CAS software for teaching numerical methods in engineering.Practical applications
C. Sánchez, J.M. González, T. Morales, M.L. Muñoz and S. Ortega
Random walks on the three dimensional Young tree
N. Vassiliev
13:00 - 13:30
Closing Ceremony