The sessions will be at Facultade de Matemáticas, Avda. Lope Gómez de Marzoa s/n, Campus Vida (see map).
The meeting schedule at a glance | ![]() |
There will be six invited Plenary Speakers
![]() |
A Component Algebra for Heterogeneous Networks of Timed Systems |
![]() |
Thursday 6th, 16:00 - 16:55 |
![]() |
Navier-Stokes flows around moving obstacles |
![]() |
Friday 7th, 9:00 - 9:55 |
![]() |
From Logic to Computers. From Programs to Logic |
![]() |
Friday 7th, 10:00 - 10:55 |
![]() |
The Challenge of Developing Applicable Parametrization Algorithms for Algebraic Curves and Surfaces |
![]() |
Friday 7th, 15:30 - 16:25 |
![]() |
Variational methods for non-variational problems |
![]() |
Saturday 8th, 11:30 - 12:25 |
![]() |
Algorithms in Finite Simplicial Complexes |
![]() |
Saturday 8th, 12:30 - 13:25 |
Following the tradition of the previous meetings, the 6th Iberian Mathematical Meeting is concentrated on three main areas and, appart from the plenary sessions, there will be three concurrent special sessions.
In each of the sessions there will be invited speakers and contributed talks. If you plan to give a talk in a special session, please contact with one of the session organizers or visit the abstract submission page.
Session's full program and abstracts | ![]() |
Algebra is one the formal pillars of mathematics, and is very ancient. Modern algebra has its roots in the mathematics of the ancient world, arising out of the basic problem of solving equations. It is now a vibrant, multi-faceted and wide-ranging branch of mathematics, having ties with almost every field of mathematics and computer science. Fundamentally the purpose of algebra always was to produce a formula that one could put into a machine, turn a handle and get the answer. The main interest of the algebra are algebraic number theory - study of algebraic structures to algebraic integers, algebraic topology – study of topological spaces, algebraic geometry – study of algebra and geometry combined
The entire modern world relies on combinatorial algorithms. Combinatorics turns out to be pretty relevant for group theory, probability, graph theory, topology, analysis, etc. Another important application of combinatorics is in representation theory, symmetric functions, and the study of varieties with lots of symmetries. A particular strength of the Algebra and Combinatorics is the computational and algorithmic aspects of groups and graphs.
Speaker | Talk | Schedule |
Samuel Lópes | Hochschild cohomology of rings of differential operators in one variable | Thu 6th, Aula 7 17:00 - 17:25 |
Carlos D'Andrea | Ill-posed points for the Rational Interpolation Problem | Thu 6th, Aula 7 18:00 - 18:25 |
Alan Cain | Combinatorial and computational properties of the sylvester monoid | Thu 6th, Aula 7 18:30 - 18:55 |
Mercedes Rosas | On the growth of the Kronecker coefficients | Fri 7th, Aula 7 11:30 - 11:55 |
João Araújo | Combinatorics, Number Theory and Groups: the other Name of Semigroups | Fri 7th, Aula 7 12:00 - 12:25 |
Antonio Fernández | Jordan techniques in Lie theory | Fri 7th, Aula 7 12:30 - 12:55 |
Francisco Botana | Automated proof and discovery in dynamic geometry | Fri 7th, Aula 7 16:30 - 16:55 |
Eduardo Sáenz de Cabezón | Combinatorial computer algebra for network analysis and percolation | Fri 7th, Aula 7 17:30 - 17:55 |
Ricardo Mamede | Gray codes for noncrossing and nonnesting partitions of classical types | Fri 7th, Aula 7 18:00 - 18:25 |
António J. Breda d'Azevedo | Regular pseudo-oriented maps | Sat 8th, Aula 7 9:30 - 9:55 |
Miguel A. Marco Buzunariz | Combinatorial conditions for linear systems of projective hypersurfaces | Sat 8th, Aula 7 10:00 - 10:25 |
Jose Carlos Costa | On omega-identities over finite aperiodic semigroups with commuting idempotents | Sat 8th, Aula 7 10:30 - 10:55 |
Speaker | Talk | Schedule |
Rui Duarte | The number of parking functions with center of a given length | Thu 6th, Aula 5 19:00 - 19:25 |
Carlos Gamas | Spherical functions and latin squares | Thu 6th, Aula 7 19:00 - 19:25 |
Xabier García | The non-abelian tensor product of different structures | Thu 6th, Aula 5 19:30 - 19:55 |
Daniel de la Concepción | On the classification of nilpotent quadratic Lie algebras | Thu 6th, Aula 7 19:30 - 19:55 |
Vicente Pérez Calabuig | Reduction theorems on generalised kernels of finite | Fri 7th, Aula 5 13:00 - 13:25 |
Yolanda Cabrera | Evolution algebras of arbitrary dimension and their decompositions | Fri 7th, Aula 7 13:00 - 13:25 |
Natália Rego | Universal alpha-central extensions of Hom-Leibniz n-algebras | Fri 7th, Aula 7 18:30 - 18:55 |
Session's full program and abstracts | ![]() |
Partial differential equations are a essential tool in the modelling of phenomena in nature and industrial processes. An important part of these applications corresponds to fluids and materials. Both fields, equations and applications, need to be connected in order to advance in knowledge. The session brings together different aspects, theory, numerics, and applications to fluids and materials with this purpose.
Speaker | Talk | Schedule |
Damián Castaño | Effects of ambient rotation and temperature gradients on the development of a single or double-celled vortex and multiple vortices | Thu 6th, Aula 8 17:00 - 17:25 |
José Durany | Thermodynamical behaviour of polythermal ice sheets by using temperature and enthalpy formulations | Thu 6th, Aula 8 18:00 - 18:25 |
Jose Ferreira | Drug release from viscoelastic polymeric platforms: non-Fickian solvent absorption and Fickian drug desorption | Thu 6th, Aula 8 18:30 - 18:55 |
Elena Vázquez Cendón | A local ADER FV/FE projection method for Navier-Stokes equations with turbulence | Fri 7th, Aula 8 11:30 - 11:55 |
Paula de Oliveira | Viscoelastic biodegradable materials: modelling, mathematical analysis and medical applications | Fri 7th, Aula 8 12:00 - 12:25 |
Marta Net | Continuation of periodic orbits in domains heated by the side | Fri 7th, Aula 8 12:30 - 12:55 |
Ana Cristina Barroso | Second-order structured deformations: relaxation, integral representation and applications | Fri 7th, Aula 8 16:30 - 16:55 |
José Matias | Optimal Design of Fractured Media with Prescribed Macroscopic Strain | Fri 7th, Aula 8 17:30 - 17:55 |
Jorge Tiago | Modeling the physiopathology of the vascular system | Fri 7th, Aula 8 18:00 - 18:25 |
José Luis Ferrín | Simulación numérica en la U.P.T. de As Pontes | Sat 8th, Aula 8 9:30 - 9:55 |
Magda Rebelo | A numerical method for the space distributed order Riesz fractional diffusion equation | Sat 8th, Aula 8 10:00 - 10:25 |
Óscar López Pouso | Numerical solution of some Fokker-Planck kinetic equations | Sat 8th, Aula 8 10:30 - 10:55 |
Speaker | Talk | Schedule |
Henar Herreo | Evolution of secondary whirls in dust devil-like vortices in a route to chaos | Thu 6th, Aula 8 19:00 - 19:25 |
Francisco Guerrero | An IMEX-WENO scheme for the equilibrium dispersive model of chromatography | Thu 6th, Aula 9 19:00 - 19:25 |
Rafael López | Stability and bifurcation of a capillary fluid on an infinite cylinder | Thu 6th, Aula 8 19:30 - 19:55 |
Rafael Muñoz | Analysis of a parabolic-elliptic problem with moving parabolic subdomain through a lagrangian approach | Thu 6th, Aula 9 19:30 - 19:55 |
Luís Bandeira | Quasiconvexity, Rank-One Convexity and the Non-Negativeness of Polynomials | Fri 7th, Aula 8 13:00 - 13:25 |
Lino Álvarez | On the minimization of the urban heat island effect in metropolitan areas | Fri 7th, Aula 9 13:00 - 13:25 |
Rosana Rodríguez | Differential equations subject to uncertainty: some connections between different approaches | Fri 7th, Aula 8 18:30 - 18:55 |
Carmen Rodríguez | First results on the modelling of heavy metals phytoremediation | Fri 7th, Aula 9 18:30 - 18:55 |
Daniel Cao | Two fractional differential equations in mechanics | Fri 7th, Aula 8 19:00 - 19:25 |
Miguel E. Vázquez | Modelling air pollution due to traffic flow in urban networks | Fri 7th, Aula 9 19:00 - 19:25 |
Session's full program and abstracts | ![]() |
In our daily life we often interact with computing devices in an explicit form (as on using a telephone or a cash dispenser) or inadvertently (for example, with the embedded processors in a car); we live this way surrounded by devices that manage our environment and even decide for us. Though normally it remains hidden for the usual user, the functioning of these devices is based on numerous concepts developed and studied by the theoretical computer science, in which mathematical and computational aspects converge.
According to SIGACT (Special Interest Group on Algorithms and Computation Theory of the ACM), the field of the computation sciences (or theoretical computer science) includes the study of algorithms, data structures, theory of the computational complexity, distributed computation, parallel computation, VLSI, automatic learning, computational biology, computational geometry, information theory, cryptography, quantum computation, algorithmic theory of numbers, symbolic computation, program semantics and verification, formal methods, automata theory, and randomness. Such list requires frequent revisions because the computer science is in continuous development and new models of calculation are defined at a frenzied pace, as the ubiquitous computation or the computation in the cloud.
The series of conferences provides a sample of the research realized in this field in the Iberian Peninsula.
Speaker | Talk | Schedule |
Josep Silva | Algorithmic Debugging: A Road Map | Thu 6th, Aula 10 17:00 - 17:25 |
Paqui Lucio | Software Development with Automatic Deductive Verifiers | Thu 6th, Aula 10 18:00 - 18:25 |
Ginés Moreno | Fuzzy Logic Programming and the FLOPER Environment | Fri 7th, Aula 10 11:30 - 11:55 |
César Sánchez | A Gentle Introduction to Linear Temporal Logic and How To Increase its Expressive Power | Fri 7th, Aula 10 12:00 - 12:25 |
Xosé Antón Vila | Analysis of heart rate variability with RHRV | Fri 7th, Aula 10 12:30 - 12:55 |
María del Mar Gallardo | Model Checking: A Formal Verification Technique with Industrial Applications | Fri 7th, Aula 10 16:30 - 16:55 |
Elvira Mayordomo | Efficient Computation of Absolutely Normal Numbers | Fri 7th, Aula 10 17:30 - 17:55 |
Carlos Gómez | On the NP-Hardness of Optimizing Binarizations of Context-Free Grammars | Fri 7th, Aula 10 18:00 - 18:25 |
David Losada | Multi-Armed Bandits for Information Retrieval | Sat 8th, Aula 10 10:00 - 10:25 |
Speaker | Talk | Schedule |
Antonio Sodre | Asymptotic Efficiency of systems under RESTART and CHECKPOINTING regimes when the sequence of tasks is of random size |
Thu 6th, Aula 10 18:30 - 18:55 |
Pedro Real | Toward a mathematical model for parallel topological computation within 3D digital image context |
Thu 6th, Aula 10 19:00 - 19:25 |
Avelino Insua | A refined algorithm for testing the Leibniz n-algebra structure |
Fri 7th, Aula 10 18:30 - 18:55 |
Ana Pereira do Vale | The Geometry of Musical Chords according to D. Tymoczko | Sat 8th, Aula 10 9:30 - 9:55 |
Pilar Páez | Non-degeneracy conditions in automated proving and discovery | Sat 8th, Aula 10 10:30 - 10:55 |
Poster's abstracts | ![]() |
Title | Presented by |
Symbolic Computation of Drazin Inverses | Juana Sendra |
The Mathematical Legacy of Ramón María Aller Ulloa | José Ángel Docobo |
Implementing generating functions to obtain power indices with coalition configuration | Guido Novoa Flores |
Classical genetic algorithms versus genetics algorithms with varying population size over the Wilson functions | Teresa Iglesias Otero |
Name | Institution |
Almeida, Jorge | Universidade do Porto |
Alonso, Leovigildo | Universidade de Santiago de Compostela |
Alvarez Vazquez, Lino | Universidade de Vigo |
Araújo, Adérito | Sociedade Portuguesa de Matemática |
Araújo, João | Universidade Aberta |
Bandeira, Luís | Universidade de Évora |
Barroso, Ana Cristina | Universidade de Lisboa |
Botana, Francisco | Universidade de Vigo |
Breda d'Azevedo, António | Universidade de Aveiro |
Buedo, Sebastián | Universidade de Santiago de Compostela |
Cabrera Casado, Yolanda | Universidad de Málaga |
Cain, Alan | Universidade Nova de Lisboa |
Cao Labora, Daniel | Universidade de Santiago de Compostela |
Carballo, Luis | UNED/USC |
Carrero, Jose Maria | RSME |
Casas Fontán, Ángela | Universidade de Santiago de Compostela |
Casas Mirás, José Manuel | Universidade de Vigo |
Castaño, Damián | Universidad de Castilla-la Mancha |
Costa, José Carlos | Universidade do Minho |
D'Andrea, Carlos | Universitat de Barcelona |
de la Concepción, Daniel | Universidad de la Rioja |
de Oliveira, Paula | Universidade de Coimbra |
Docobo Durántez, José Ángel | Universidade de Santiago de Compostela |
Duarte, Rui | Universidade de Aveiro |
Durany, José | Universidade de Vigo |
Fernández Fariña, Alejandro | Universidade de Santiago de Compostela |
Fernández López, Antonio | Universidad de Málaga |
Ferreira, José | CMUC, Universidade de Coimbra |
Ferrín, José Luis | Universidad de Santiago de Compostela |
Gago, Felipe | Universidade de Santiago de Compostela |
Gallardo, María del Mar | Universidad de Málaga |
Gamas, Carlos | Universidade de Coimbra |
García Martínez, Xabier | Universidade de Santiago de Compostela |
Gómez Rodríguez, Carlos | Universidade da Coruña |
Guerrero, Francisco | Universitat de València |
Herrero, Henar | Universidad de Castilla-la Mancha |
Iglesias Otero, María Teresa | Universidade da Coruña |
Insua Hermo, Manuel Avelino | Universidade de Vigo |
Jeremías, Ana | Universidade de Santiago de Compostela |
Ladra González, Manuel | Universidad de Santiago de Compostela |
Legaspi Juanatey, Xabier | Universidade de Santiago de Compostela |
Lopes, Antónia | Universidade de Lisboa |
Lopes, Samuel | Universidade do Porto |
López Pouso, Óscar | Universidad de Santiago de Compostela |
López, Rafael | Universidad de Granada |
Losada, David | Universidade de Santiago de Compostela |
Lucas, Salvador | Universitat Politècnica de València |
Lucio, Paqui | Universidad del País Vasco |
Mamede, Ricardo | Universidade de Coimbra |
Marcellán, Francisco | Real Sociedad Matemática Española |
Marco Buzunariz, Miguel Angel | Universidad de Zaragoza |
Martí Oliet, Narciso | Universidad Complutense de Madrid |
Martinez Varela, Aurea | Universidade de Vigo |
Matias, José | IST, Universidade de Lisboa |
Mayordomo, Elvira | Universidad de Zaragoza |
Moreno Valverde, Ginés | Universidad de Castilla-la Mancha |
Mosquera Lois, David | Universidade de Santiago de Compostela |
Muñoz Sola, Rafael | Universidade de Santiago de Compostela |
Net, Marta | Universitat Politècnica de Catalunya |
Novoa Flores, Guido Ignacio | Universidade de Santiago de Compostela |
Otero Espinar, Victoria | Universidade de Santiago de Compostela |
Páez, Pilar | Universidade de Santiago de Compostela |
Pedregal, Pablo | Universidad de Castilla-la Mancha |
Pereira do Vale, Ana | Universidade do Minho |
Pérez Calabuig, Vicente | Univèrsitat de Valencia |
Pérez, Marta | Universidade de Vigo |
Real Jurado, Pedro | Universidad de Sevilla |
Rebelo, Magda | Universidade Nova de Lisboa |
Recio, Tomás | Universidad de Cantabria |
Rego, Natália Maria | IPCA, Universidade do Minho |
Rodríguez Iglesias, Carmen | Universidade de Santiago de Compostela |
Rodríguez López, Rosana | Universidad de Santiago de Compostela |
Rosas, Mercedes | Universidad de Sevilla |
Saavedra López, Lorena | Universidad de Santiago de Compostela |
Sáenz de Cabezón, Eduardo | Universidad de La Rioja |
Sánchez, César | Imdea Software Institute |
Sendra, Juan Rafael | Universidad de Alcalá |
Sendra, Juana | ETSIST, Universidad Politécnica Madrid |
Sequeira, Adélia | IST, Universidade de Lisboa |
Silva, Josep | Universitat Politècnica de València |
Silva, Pedro | Universidade do Porto |
Silvestre, Ana | IST, Universidade de Lisboa |
Tiago, Jorge | CEMAT, IST, Universidade de Lisboa |
Vale, María Jesús | Universidade de Santiago de Compostela |
Váquez Abal, María Elena | Universidade de Santiago de Compostela |
Vázquez Cendón, Elena | Universidade de Santiago de Compostela |
Vazquez Mendez, Miguel E. | Universidade de Santiago de Compostela |
Vidal Castiñeira, Cristina | Universidade de Santiago de Compostela |
Vila, Xosé A. | Universidade de Vigo |