This volume collects papers associated with lectures that were presented at the BAIL 2016 conference, which was held from 14 to 19 August 2016 at Beijing Computational Science Research Center and Tsinghua University in Beijing, China. It showcases the variety and quality of current research into numerical and asymptotic methods for theoretical and practical problems whose solutions involve layer phenomena. The BAIL (Boundary And Interior Layers) conferences, held usually in even-numbered years, bring together mathematicians and engineers/physicists whose research involves layer phenomena, with the aim of promoting interaction between these often-separate disciplines. These layers appear as solutions of singularly perturbed differential equations of various types, and are common in physical problems, most notably in fluid dynamics. This book is of interest for current researchers from mathematics, engineering and physics whose work involves the accurate app roximation of solutions of singularly perturbed differential equations; that is, problems whose solutions exhibit boundary and/or interior layers.

The analysis of singular perturbed di?erential equations began early in the twentieth century, when approximate solutions were constructed from asy- totic expansions. (Preliminary attempts appear in the nineteenth century - see[vD94].)Thistechniquehas?ourishedsincethemid-1960sanditsprincipal ideas and methods are described in several textbooks; nevertheless, asy- totic expansions may be impossible to construct or may fail to simplify the given problem and then numerical approximations are often the only option. Thesystematicstudyofnumericalmethodsforsingularperturbationpr- lems started somewhat later - in the 1970s. From this time onwards the - search frontier has steadily expanded, but the exposition of new developments in the analysis of these numerical methods has not received its due attention. The ?rst textbook that concentrated on this analysis was [DMS80], which collected various results for ordinary di?erential equations. But after 1980 no further textbook appeared until 1996, when three books were published: Miller et al. [MOS96], which specializes in upwind ?nite di?erence methods on Shishkin meshes, Morton's book [Mor96], which is a general introduction to numerical methods for convection-di? usion problems with an emphasis on the cell-vertex ?nite volume method, and [RST96], the ?rst edition of the present book. Nevertheless many methods and techniques that are important today, especially for partial di?erential equations, were developed after 1996.

The analysis of singular perturbed di?erential equations began early in the twentieth century, when approximate solutions were constructed from asy- totic expansions. (Preliminary attempts appear in the nineteenth century - see[vD94].)Thistechniquehas?ourishedsincethemid-1960sanditsprincipal ideas and methods are described in several textbooks; nevertheless, asy- totic expansions may be impossible to construct or may fail to simplify the given problem and then numerical approximations are often the only option. Thesystematicstudyofnumericalmethodsforsingularperturbationpr- lems started somewhat later - in the 1970s. From this time onwards the - search frontier has steadily expanded, but the exposition of new developments in the analysis of these numerical methods has not received its due attention. The ?rst textbook that concentrated on this analysis was [DMS80], which collected various results for ordinary di?erential equations. But after 1980 no further textbook appeared until 1996, when three books were published: Miller et al. [MOS96], which specializes in upwind ?nite di?erence methods on Shishkin meshes, Morton's book [Mor96], which is a general introduction to numerical methods for convection-di? usion problems with an emphasis on the cell-vertex ?nite volume method, and [RST96], the ?rst edition of the present book. Nevertheless many methods and techniques that are important today, especially for partial di?erential equations, were developed after 1996.

This book deals with discretization techniques for partial differential equations of elliptic, parabolic and hyperbolic type. It provides an introduction to the main principles of discretization and gives a presentation of the ideas and analysis of advanced numerical methods in the area. The book is mainly dedicated to finite element methods, but it also discusses difference methods and finite volume techniques.

Coverage offers analytical tools, properties of discretization techniques and hints to algorithmic aspects. It also guides readers to current developments in research.

These Proceedings contain a selection of the lectures given at the conference BAIL 2008: Boundary and Interior Layers - Computational and Asymptotic Methods, which was held from 28th July to 1st August 2008 at the University of Limerick, Ireland. The ?rst three BAIL conferences (1980, 1982, 1984) were organised by Professor John Miller in Trinity College Dublin, Ireland. The next seven were held in Novosibirsk (1986), Shanghai (1988), Colorado (1992), Beijing (1994), Perth (2002), Toulouse(2004), and Got ] tingen(2006).With BAIL 2008the series returned to Ireland. BAIL 2010 is planned for Zaragoza. The BAIL conferences strive to bring together mathematicians and engineers whose research involves layer phenomena, as these two groups often pursue largely independent paths. BAIL 2008, at which both communities were well represented, succeeded in this regard. The lectures given were evenly divided between app- cations and theory, exposing all conference participants to a broad spectrum of research into problems exhibiting solutions with layers. The Proceedings give a good overview of current research into the theory, app- cation and solution (by both numerical and asymptotic methods) of problems that involve boundaryand interior layers. In addition to invited and contributed lectures, the conference included four mini-symposia devoted to stabilized ?nite element methods, asymptotic scaling of wall-bounded ?ows, systems of singularly p- turbed differential equations, and problems with industrial applications (supported by MACSI, the Mathematics Applications Consortium for Science and Industry). These titles exemplify the mix of interests among the participants

Many physical problems involve diffusive and convective (transport) processes. When diffusion dominates convection, standard numerical methods work satisfactorily. But when convection dominates diffusion, the standard methods become unstable, and special techniques are needed to compute accurate numerical approximations of the unknown solution. This convection-dominated regime is the focus of the book. After discussing at length the nature of solutions to convection-dominated convection-diffusion problems, the authors motivate and design numerical methods that are particularly suited to this class of problems. At first they examine finite-difference methods for two-point boundary value problems, as their analysis requires little theoretical background. Upwinding, artificial diffusion, uniformly convergent methods, and Shishkin meshes are some of the topics presented. Throughout, the authors are concerned with the accuracy of solutions when the diffusion coefficient is close to zero. Later in the book they concentrate on finite element methods for problems posed in one and two dimensions. This lucid yet thorough account of convection-dominated convection-diffusion problems and how to solve them numerically is meant for beginning graduate students, and it includes a large number of exercises. An up-to-date bibliography provides the reader with further reading. This book is published in cooperation with Atlantic Association for Research in the Mathematical Sciences.