Register to attend at THIS FORM so that we know you are coming. Deadline for registration for in-person attendance is 31st of March and for online attendance is 16th of April.

Honey Truffle Cafe: Locate on map

Bread 41: Locate on map

Cafe di Napoli: Locate on map

Sprout: Locate on map

Tesco Express (Locate on map on Pearse St. to get a prepared dish, like pasta along with some crisps and a drink, for a decent price.

Centra (Locate on map convenience store on Westland Row has nice sandwiches, both hot and cold.

Cloud Picker Cafe: Locate on map

Camilla Thai: Locate on map

Plenary Talks

Reidun Twarock - University of York

Julian Hall - University of Edinburgh

Miguel Bustamante - University College Dublin

Sergiy Zhuk - IBM Dublin

Student Talks

Niall Donlon - University of Limerick

Umberto Zerbinati - Oxford University

India Marsden - Oxford University

Nikolaos Chatzarakis - Trinity College Dublin

Josh Fogg - Maxwell Institute Graduate School

Aaron Baier-Reinio - Oxford University

Ireland is not a member of the Schengen Area and a Schengen visa is not valid for travel to Ireland. A passport is required for travel to Ireland from any other state (including the United Kingdom where it is not an immigration requirement, but airlines require identification documents and many will only accept a passport).

Please see this advice from the Irish government on whether or not you need to apply for a visa in advance of travel to Ireland to attend an academic conference, according to your nationality as shown on your passport or travel document. Participants who do need a visa can find advice there on the online application process and the likely duration of the wait for approval.

Dublin Airport is the main arrival point for international visitors to Ireland and has daily direct flights to many locations worldwide, particularly in Europe and North America. It is connected by multiple daily flights to the major European hubs such as Frankfurt, Heathrow, Amsterdam and Charles de Gaulle.

Dublin Airport provides assistance for travellers with constrained mobility, which can be arranged in advance.

Travellers from Dublin Airport to the United States clear US Immigration and Customs in Dublin, which requires a little extra time in Dublin Airport before scheduled departure.

There are frequent buses which depart from Dublin airport to the center of the city. More information about the different bus services available from the airport can be found at the airport website. One can also catch a taxi from the taxi ranks. Please follow signs in the airport to an official taxi rank booth.

The entire meeting will take place in the Hamilton Building, which is located on the far east side of Trinity's main campus. Although the Hamilton Buiding has an address on Westland Row, it cannot be entered by the public from this side. Rather, one should enter campus either at the Pearse Street entrance or the Lincoln Gate entrance. From either entrance, one can enter the Hamilton Building at one of two points (here or here).

All talks will take place in the Maxwell lecture theater. Maxwell is on the First Floor. It can be accessed from either entrance, but it is more convenient to ascend the external stairs located here and enter the building. Maxwell is located just to the right of the entrance.

Stable reconstruction of anisotropic conductivity in magneto-acoustic tomography with magnetic induction

We study the issues of stability and reconstruction of the anisotropic conductivity $\sigma$ of a biological medium $\Omega\subset\mathbb{R}^3$ by the hybrid inverse problem of Magneto-Acoustic Tomography with Magnetic Induction (MAT-MI). More specifically, we consider a class of anisotropic conductivities given by the symmetric and uniformly positive definite matrix-valued functions $A(x,\gamma(x))$, $x\in\Omega$, where the one-parameter family $t\mapsto A(x, t)$, $t\in[\lambda^{-1}, \lambda]$, is assumed to be \textit{a-priori} known. Under suitable conditions that include $A(\cdot, \gamma(\cdot))\inC^{1,\beta}(\Omega)$, with $0<\beta\leq 1$, we obtain a Lipschitz type stability estimate of the scalar function $\gamma$ in the $L^2(\Omega)$ norm in terms of an internal functional that can be physically measured in the MAT-MI experiment. We demonstrate the effectiveness of our theoretical framework in several numerical experiments, where $\gamma$ is reconstructed in terms of the internal functional. Our result extends previous results in MAT-MI where the conductivity $\sigma$ was either isotropic or of the simpler anisotropic form $\gamma D$, with $D$ an \textit{a-priori} known matrix-valued function in $\Omega$. In particular, the more general type of anisotropic conductivity considered here allows for the anisotropic structure to depend non-linearly on the unknown scalar parameter $\gamma$ to be reconstructed.

On divergence free discretizations for the Stokes eigenvalue problems

"Since its introduction by Franco Brezzi, the inf-sup condition has been the key instrument to analyse the stability of any saddle point discretisation. This is because the inf-sup is the necessary and sufficient condition for the well-posedness of a saddle point discretisation. Or is there? In the case of the source problem, there is no hope that one might escape the inf-sup condition but eigenvalue problems are a very different beast. Indeed now a day it is well known that the inf-sup condition is neither necessary nor sufficient when considering certain types of eigenvalue problems arising from saddle point discretisation. We explore the implication of a lack of inf-sup stability for finite element discretisation of the Stokes eigenvalue problem."

Dual Spaces in UFL and Firedrake

The finite element method is based on finding approximate weak solutions to variational problems. These solutions live in finite element spaces. In the process of solving these problems, operators are created which map to and from the spaces dual to these finite element spaces. Assembled UFL forms are an example of such objects. Here, we present the extension of UFL and Firedrake to accommodate first class objects in the dual spaces to finite element spaces. We will show how this makes UFL a more capable language for finite element problems, and how explicit support for dual spaces facilitates further expansions into external operators and interpolation

Homogeneous Spacetimes with Bianchi homotheties

In the standard treatment, a group acts by isometries on a space-time, hence the corresponding solution to Einstein's equations bears these physical symmetries. This treatment has produced a number of results with particular interest (e.g. the spatially homogeneous cosmological models, some inhomogeneous cosmological models, but also several solutions of gravitational radiation). In this work, we attempt to generalise these solutions by assuming that the Bianchi group is acting by homotheties and the quotient is any transversal vector fi eld. We propose that such a space-time can be constructed, proposing that the transversal vector eld (1) commutes with the Bianchi group generators, and (2) is tangent to a geodesic at any point of the homogeneous hypersurface. Consequently, such a space-time may indeed be a solution of the Einstein equations.

From Finance to Genetics: Using Portfolio Optimization Techniques in a New Context

"Developed in the 1950s, Markowitz' Critical Line Algorithm has been employed to explore portfolio optimization problems in finance for decades, and remains a cornerstone of contemporary theory. It traces out the Pareto frontier of a bi-objective optimization problem, min x'μ, max x'Σx subject to x ≥ 0, x'e = 1, l ≤ x ≤ u" helping investors balance risk and return. In this talk we demonstrate how the algorithm can be adapted to solve a similar problem that arises in genetics in the context of selective breeding. There we seek to maximize genetic merit through the selection of desirable traits, while also minimizing inbreeding and its associated risks. We also discuss adapting to the particularities of that context and improving the algorithm more broadly.

High-Order Finite Element Schemes for Multicomponent Flow Problems

The Stokes–Onsager–Stefan–Maxwell (SOSM) equations model the flow of concentrated mixtures of distinct chemical species in a common thermodynamic phase. We derive a novel variational formulation of these nonlinear equations in which the species mass fluxes are treated as unknowns. This new formulation leads to a large class of high-order finite element schemes with desirable linear-algebraic properties. The schemes are provably convergent when applied to a linearization of the SOSM problem.

Viral geometry as a key to understanding viral infections

Insights into the geometric principles underpinning viral particles provide a key to uncovering the mechanisms by which viruses replicate and infect their hosts. Using novel geometric and topological descriptors of virus architecture in combination with stochastic simulations, I will demonstrate how viral geometry impacts on different aspects of a viral life cycle, including virus assembly and genome release. These results pave the way to innovation in antiviral therapy and virus nanotechnology.

Turning gradware into software and impact

HiGHS is open-source optimization software for linear programming (LP), mixed-integer programming (MIP) and quadratic programming (QP). This talk will give an insight into the state-of-the-art techniques underlying its solvers, most of which were originally written as “gradware” by PhD students. Independent benchmark results will be given to justify the claim that HiGHS is the world’s best open-source linear optimization software, in particular when solving LPs by interior point. However, the interior point solver can still be uncompetitive with commercial solvers. This has been noticed particularly in the context of energy systems, and led to major funding for the development of a new interior point solver. This talk will discuss our work in this area, as well as providing an update on more general advances in HiGHS. The team developing HiGHS was responsible for a 2021 REF Impact Case Study, and has the potential to generate further Impact for the next REF, so observations on the creation of Impact via software development will be given.

A survey of the open problems of turbulence and finite-time singularities in fluid mechanics, and their relation with phase synchronization and integrable systems

In this talk I will present a survey of my research on the dynamics of nonlinear systems, in the context of the open problems of turbulence and finite-time singularities in fluid mechanics. I will show the connections of this research with the phenomenon of phase synchronization in networks and with the theory of integrable systems. Also, time permitting, I will explain how my work was impacted by areas of "pure" mathematics, such as number theory (e.g. the search for exact resonances in nonlinear wave systems) and non-associative algebras (e.g. the search for evolution laws of genetics).

Reversing irreversible: super-resolution and filtering for PDEs from noisy data

A super-resolution problem, arising in many applications, can be formulated as follows: given noisy data, which is known to be generated by a non-linear PDE, one needs to reconstruct PDE’s solution on a high-resolution grid, and reduce the impact of the noise. We introduce a class of linear possibly irreversible operations such that applying an operator from this class to data reduces noise at the price of loosing information (e.g. averaging or smoothing) but the lost information can be efficiently recovered by a state estimation algorithm, which provides a continuos reconstruction of PDE’s solution hence allowing to “super-resolve” the solution on any grid. The algorithm is based on minimax estimation. We illustrate the efficacy of the algorithm on a super-resolution problem for Navier-Stokes equations in two spatial dimensions.