XVII Meeting on Computer Algebra and Applications. EACA 2022

Presentation Organizing Committee Scientific Committee Schedule Previous Editions Submissions Important Dates Sponsors Topics Posters Plenary Speakers Fees Financial Support Place Registration Preliminary Proceedings

PRESENTATION

Communications submissions' deadline extended!

EACA stands for “Encuentros de Álgebra Computacional y Aplicaciones” (Meetings on Computer Algebra and Applications). These meetings are organized by the Spanish “Red Temática de Cálculo Simbólico, Álgebra Computacional y Aplicaciones” (EACA Network on Symbolic Computation, Computer Algebra and Applications). Their purpose is two-fold: first, to provide an appropriate meeting point both for researchers specialized in developing these areas and for those who use them in their own research activities; and second, to support and encourage participation by young researchers.

This activity of the Spanish network Red-EACA, is part of the Dynamisation Actions "Redes de Investigación" RED2018-102583-T, partially supported by MCIN/AEI/10.13039/501100011033/

This is the 17th edition (biennial since 2002) and it is the natural successor of those organized in Santander (1995), Sevilla (1996), Granada (1997), Sigüenza (1998), Tenerife (1999), Barcelona (2000), Ezcaray (2001), Valladolid (2002), Santander (2004), Sevilla (2006), Granada (2008), Santiago de Compostela (2010), Alcalá de Henares (2012), Barcelona (2014), Logroño (2016) and Zaragoza (2018). The edition corresponding to 2020 was postposed because of the COVID-19.

The EACA network emphasizes the participation of young researchers.

ORGANIZING COMMITTEE

Carlos Galindo Pastor, Universitat Jaume I

Philippe Gimenez, Universidad de Valladolid

Fernando Hernando Carrillo, Universitat Jaume I

Francisco J. Monserrat Delpalillo, Universitat Politècnica de València

Julio José Moyano Fernández, Universitat Jaume I

SCIENTIFIC COMMITTEE

María Emilia Alonso, Universidad Complutense de Madrid

Enrique Artal, Universidad de Zaragoza

Marta Casanellas, Universidad Politécnica de Cataluña

Francisco J. Castro Jiménez, Universidad de Sevilla

Carlos d'Andrea, Universidad de Barcelona

Ignacio García Marco, Universidad de La Laguna

Philippe Gimenez, Universidad de Valladolid

José Gómez Torrecillas, Universidad de Granada

Laureano González-Vega, Universidad de Cantabria

Manuel Ladra González, Universidad de Santiago de Compostela

Francisco José Monserrat Delpalillo, Universidad Politécnica de Valencia

Sonia Pérez, Universidad de Alcalá

Ana Romero, Universidad de La Rioja

schedule

Monday, June 20th

09:15: Registration

09:30: Opening

10:00 – 11:00: Plenary talk. Pierre Lairez: Monodromy in computer algebra. Salón de Actos FF0008CC.

11:00 – 11:30: Coffee Break

11:30 – 13:00: Parallel Sessions

Room 1 FF0008CC:

11:30 – 12:00: J.J. Moyano-Fernández, On the generators of the value semigroup at infinity associated to a curve with only one place at infinity.

12:00 – 12:30: A. Fdez. Boix, The level of a polynomial, and some reasons to care about it.

12:30 – 13:00: M. Morán Cañón, Effective computation of the general component of the jet scheme.

Room 2 FF0103AA:

11:30 – 12:00: J. Sendra, Bohemian matrices: a source of challenges.

12:00 – 12:30: A. Sáez Schwedt, Computation of canonical forms for single input linear systems over Hermite rings.

12:30 – 13:00: M. Mora, A Laplacian decompose algorithm for square matrices.

13:00 – 15:30: Lunch

15:30 – 16:30: Plenary talk. Rocío González Díaz: Partial functions induced by maps of persistence modules. Salón de Actos FF0008CC.

16:30 – 17:00: Coffee Break

17:00 – 18:30: Parallel Sessions

Room 1 FF0008CC:

17:00 – 17:30: M. Fioravanti, Computing the relative position of a parabola and an ellipse without intersecting them.

17:30 – 18:00: M.P. Vélez, Dealing with degeneracies in automated theorem proving in geometry: a zero dimensional approach.

18:00 – 18:30: T. del Río, The benefits of clustering in cylindrical algebraic decomposition.

Room 2 FF0103AA:

17:00 – 17:30: I. García-Marco, Sensitivity in Cayley graphs.

17:30 – 18:00: E. Pérez-Callejo, Pruning algorithm of Taylor's resolution, an implementation.

Tuesday, June 21st

10:00 – 11:00: Plenary talk. Gregor Kemper: Distance geometry, algebra and drones. Salón de Actos FF0008CC.

11:00 – 11:30: Coffee Break

11:30 – 13:00: Parallel Sessions

Room 1 FF0008CC:

11:30 – 12:00: E. Campo-Montalvo, Cálculo de asíntotas generalizadas de curvas algebraicas.

12:00 – 12:30: L. González Vega, Multiple (real) roots through subresultants

12:30 – 13:00: D. Rochera, Curves of constant width and Zindler curves: duality and algebraic equations.

Room 2 FF0103AA:

11:30 – 12:00: F. Coltraro, Morse cell decomposition and parametrization of surfaces from point clouds.

12:00 – 12:30: A. Grosdos, Third-order moment varieties of linear non-gaussian graphical models.

12:30 – 13:00: A. Inés: Semi-supervised machine learning: a homological approach.

13:00 – 15:00: Lunch

15:00 - 15:30: Posters session

Gioia Failla (with C. Cisto), Computing the intersection degree in squarefree Veronese subrings.
Víctor M. Gómez-Sousa (with D. Fernández-Ternero and J. Núñez-Valdés), Nuevos avances en el estudio de las álgebras de evolución.
Mario González (with P. Gimenez), Connections between Commutative Algebra and Additive Combinatorics.
Álvaro Torras-Casas, Spectral Sequences for computing Persistent Homology.

15:30 – 16:30: Plenary talk. Sonia Pérez Díaz: On the problem of polynomial and proper reparametrizations of algebraic surfaces. Salón de Actos FF0008CC.

16:30 – 17:00: Coffee Break

17:00 – 18:00: Parallel Sessions

Room 1 FF0008CC:

17:00 – 17:30: R. Iglesias, Algebraic analysis of stable coherent systems.

17:30 – 18:00: F. Dachs-Cadefau, Jumping walks and topological type of plane curves.

Room 2 FF0103AA:

17:00 – 17:30: C. Flavi, On the rank of powers of a nondegenerate quadratic form.

17:30 – 18:00: M. A. Zurro, Computing centralisers of third order operators.

18:15: Meeting of EACA’s network

Wednesday, June 22nd

10:00 – 11:00: Plenary talk. Diego Ruano: Algebraic coding theory and some of its applications. Salón de Actos FF0008CC.

11:00 – 11:30: Coffee Break

11:30 – 13:00: Parallel Sessions

Room 1 FF0008CC:

11:30 – 12:00: R. San-José, Saturation and vanishing ideals.

12:00 – 12:30: H. Martín-Cruz, Some optimal (r, delta)-locally recoverable codes.

12:30 – 13:00: U. Martínez-Peñas, Doubly extended codes for general metrics.

Room 2 FF0103AA:

11:30 – 12:00: M. Marco Buzunáriz, The minimal model of a simplicial set: algorithm and implementation.

12:00 – 12:30: D. Miguel, A generalization of effective Serre spectral systems for m-multicomplexes.

12:30 – 13:00: A. Romero, Faster Kenzo computations via Sagemath, and vice versa.

13:00 – 13:10: Closing ceremony

Previous editions

Zaragoza (2018)

Logroño (2016)

Barcelona (2014)

Alcalá de Henares (2012)

Santiago de Compostela (2010)

Sigüenza (1998)

Granada (1997)

Sevilla (1996)

Santander (1995)

SUBMISSIONS

Participation at EACA 2022 can be done through an oral presentation.
Everyone doing research and/or applications around the topics of the meeting are welcome to participate.
Contributions should present recent and original research work.
Authors willing to submit a proposal for an oral communication at EACA2022 should send an extended abstract of their contribution, with no more than 4 pages, by ~~February 28th, 2022~~ March 7th, 2022.
The extended abstract may be written in English or Spanish.
The LaTeX file templateEACA2022_Apellidos.tex contains the template that should be used to prepare an extended abstract. The LaTeX file and pdf files must be sent to mail eaca2022@fue.uji.es with the subject Submission EACA.

imporTANT DATES

Submissions' deadline: ~~February 28th, 2022~~. March 7th, 2022.
Acceptance notification: April 8th, 2022.
Final version of accepted extended abstracts: April 22nd, 2022.
Early registration deadline: May 6th, 2022.
Standard registration: From May 7th to June 6th, 2022.
Conference: June 20th, 21st, 22nd, 2022.

Sponsors

This activity of the Spanish network Red-EACA "Red Temática de Cálculo Simbólico, Álgebra Computacional y Aplicaciones", is part of the Dynamisation Actions "Redes de Investigación" RED2018-102583-T, partially supported by MCIN/AEI/10.13039/501100011033/

TOPICS

Effective Methods in Algebra, Analysis, Geometry and Topology.
Algorithmic Complexity.
Scientific Computation by means of Symbolic-Numerical Methods.
Symbolic-Numeric Software Development Analysis
Specification, Design and Implementation of
Symbolic Computational Systems.
Applications to Science and Technology.

Posters

There will be a poster session during the meeting. Those interested in presenting a poster must contact with the organization by email (eaca2022@fue.uji.es) and make the proposal by mentioning: author(s)' name(s), filiation, title and abstract.

The posters must be printed in size DIN A0 or DIN A1 (there is no pattern beyond the poster size).

Deadline for sending proposals: May, 22nd.

Plenary Speakers

Rocío González Díaz (Universidad de Sevilla)
Gregor Kemper (Technische Universität München)
Pierre Lairez (INRIA Saclay Île-de-France)
Sonia Pérez Díaz (Universidad de Alcalá)
Diego Ruano (Universidad de Valladolid)

fees

Reduced fee: 150 € until May 6th

Standard fee: 200 € from May 7th to May 31st

financial support

The network EACA will offer financial support for those youngest participants with no financial support. This will cover e.g. accommodation expenses.

The candidates must just mail to Manuel Ladra (manuel.ladra@usc.es) and write a short motivation letter.

The deadline is: April, 20th.

The congress will take place at the Fundación Universitat Jaume I-Empresa de la Comunidad Valenciana M.P (FUE-UJI), Campus Riu Sec. Edif Escuela de Doctorado y Consejo Social, s/n 12071 Castellón de la Plana Spain.

Ver mapa más grande

ReGISTRATION

Registration

Sala 1:

11:30 – 12:00: F. Dachs-Cadefau, Jumping walks and topological type of plane curves.

12:00 – 12:30: A. Fdez. Boix, The level of a polynomial, and some reasons to care about it.

12:30 – 13:00: M. Morán Cañón, Effective computation of the general component of the jet scheme.

Sala 2:

11:30 – 12:00: TBA, Bohemian matrices: a source of challenges.

12:00 – 12:30: A. Sáez Schwedt, Computation of canonical forms for single input linear systems over Hermite rings.

12:30 – 13:00: M. Mora, A Laplacian decompose algorithm for square matrices.

12:00 – 12:30 Sesiones paralelas

12:30 – 13:00 Sesiones paralelas

Sala 1:

11:30 – 12:00: R. San-José, Saturation and vanishing ideals.

12:00 – 12:30: H. Martín-Cruz, Some optimal (r, delta)-locally recoverable codes.

12:30 – 13:00: U. Martínez-Peñas, Doubly extended codes for general metrics.

Sala 2:

11:30 – 12:00: C. Alquézar-Baeta, The minimal model of a simplicial set: algorithm and implementation.

12:00 – 12:30: D. Miguel, A generalization of effective Serre spectral systems for m-multicomplexes.

12:30 – 13:00: TBA, Faster Kenzo computations via Sagemath, and vice versa.

Preliminary Proceedings

Preliminary version of the EACA 2022 proceedings

Blanca Vicente