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 programa
 

 

Plenary Session

 

There will be six invited Plenary Speakers

       
Faculdade de Ciéncias, Universidade de Lisboa Antónia Lopes A Component Algebra for Heterogeneous Networks of Timed Systems Thursday 6th,
16:00 - 16:55
IST, Universidade de Lisboa Ana Leonor Silvestre Navier-Stokes flows around moving obstacles Friday 7th,
9:00 - 9:55
Universitat Politècnica de València Salvador Lucas From Logic to Computers. From Programs to Logic Friday 7th,
10:00 - 10:55
Universidad da Alcalá Rafael Sendra The Challenge of Developing Applicable Parametrization Algorithms for Algebraic Curves and Surfaces Friday 7th,
15:30 - 16:25
Universidad de Castilla-La Mancha Pablo Pedregal Variational methods for non-variational problems Saturday 8th,
11:30 - 12:25
Universidade do Porto Pedro V. Silva Algorithms in Finite Simplicial Complexes Saturday 8th,
12:30 - 13:25

 

 

Special Sessions

 

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.

  • Click on the barr with the name of the session for the details.

 

Open all

Close all

Algebra and Combinatorics

Session's full program and abstracts programa
 

 

Organizers

 

Presentation

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.

 

Invited sectional speakers

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

 

Contributed talks

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

Applied Partial Differential Equations in Fluids and Materials

Session's full program and abstracts programa
 

 

Organizers

 

Presentation

 

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.

 

Invited sectional speakers

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

 

Contributed talks

 

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

Theoretical Informatics/Computer Science

Session's full program and abstracts programa

 

Organizers

 

Presentation

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.

 

Invited sectional speakers

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

 

Contributed talks

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

 

Posters

Poster's abstracts programa
 

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

 

Participants

List of participants

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